Searched defs:itcic (Results 1 – 1 of 1) sorted by relevance
580 std::map< Node, unsigned >::iterator itcic = childIndex.find( child_base ); in printCnfProofForClause() local620 std::map< Node, unsigned >::iterator itcic = childIndex.find( child_base ); in printCnfProofForClause() local652 std::map< Node, unsigned >::iterator itcic = childIndex.find( e_base ); in printCnfProofForClause() local722 std::map< Node, unsigned >::iterator itcic = childIndex.find( child_base ); in printCnfProofForClause() local787 std::map< Node, unsigned >::iterator itcic = childIndex.find( child_base ); in printCnfProofForClause() local