Searched refs:setInactiveAssertionRec (Results 1 – 2 of 2) sorted by relevance
309 …void setInactiveAssertionRec( Node fact, std::map< Node, std::vector< Node > >& lbl_to_assertions,…
590 setInactiveAssertionRec( fact, lbl_to_assertions, assert_active ); in check()1464 void TheorySep::setInactiveAssertionRec( Node fact, std::map< Node, std::vector< Node > >& lbl_to_a… in setInactiveAssertionRec() function in CVC4::theory::sep::TheorySep1475 setInactiveAssertionRec( lbl_to_assertions[lblc][k], lbl_to_assertions, assert_active ); in setInactiveAssertionRec()