Searched defs:childPol (Results 1 – 6 of 6) sorted by relevance
363 FocusTraversalPolicy childPol = cont.getFocusTraversalPolicy(); in getFirstComponent() local
431 std::map<Node, bool>& childPol ) { in clauseToNode()494 std::map<Node, bool> childPol; in printCnfProofForClause() local