Searched refs:symbolic_predicate (Results 1 – 1 of 1) sorted by relevance
853 Predicate* symbolic_predicate, in DeduceStepPredicate() argument855 CHECK(dynamic_cast<SymbolPredicate*>(symbolic_predicate)); in DeduceStepPredicate()868 if (and_op == symbolic_predicate) { in DeduceStepPredicate()878 if (p == symbolic_predicate) { in DeduceStepPredicate()