Searched refs:symbolic_predicate (Results 1 – 1 of 1) sorted by relevance
1016 Predicate* symbolic_predicate, in DeduceStepPredicate() argument1018 CHECK(dynamic_cast<SymbolPredicate*>(symbolic_predicate)); in DeduceStepPredicate()1031 if (and_op == symbolic_predicate) { in DeduceStepPredicate()1041 if (p == symbolic_predicate) { in DeduceStepPredicate()