Searched refs:and_op (Results 1 – 2 of 2) sorted by relevance
865 for (Predicate* and_op : recurrent_pred_ops) { in DeduceStepPredicate()868 if (and_op == symbolic_predicate) { in DeduceStepPredicate()887 Predicate::Visit(and_op, has_self_as_inner_operand); in DeduceStepPredicate()891 and_ops.push_back(and_op); in DeduceStepPredicate()
54 and_op, or_op, xor_op, nor_op, enumerator