Searched refs:lbl_to_assertions (Results 1 – 2 of 2) sorted by relevance
| /dports/math/cvc4/CVC4-1.7/src/theory/sep/ |
| H A D | theory_sep.cpp | 549 std::map< Node, std::vector< Node > > lbl_to_assertions; in check() local
557 lbl_to_assertions[s_lbl].push_back( fact ); in check()
590 setInactiveAssertionRec( fact, lbl_to_assertions, assert_active ); in check()
1464 …tiveAssertionRec( Node fact, std::map< Node, std::vector< Node > >& lbl_to_assertions, std::map< N… in setInactiveAssertionRec() argument
1474 for( unsigned k=0; k<lbl_to_assertions[lblc].size(); k++ ){ in setInactiveAssertionRec()
1475 setInactiveAssertionRec( lbl_to_assertions[lblc][k], lbl_to_assertions, assert_active ); in setInactiveAssertionRec()
|
| H A D | theory_sep.h | 309 …void setInactiveAssertionRec( Node fact, std::map< Node, std::vector< Node > >& lbl_to_assertions,…
|