Searched refs:assert_active (Results 1 – 2 of 2) sorted by relevance
547 std::map< Node, bool > assert_active; in check() local559 assert_active[fact] = true; in check()581 assert_active[fact] = value; in check()589 if( !assert_active[fact] ){ in check()600 if( assert_active[fact] ){ in check()610 if( !assert_active[fact] ){ in check()650 Assert( assert_active.find( fact )!=assert_active.end() ); in check()651 if( assert_active[fact] ){ in check()675 Assert( assert_active.find( fact )!=assert_active.end() ); in check()676 if( assert_active[fact] ){ in check()[all …]
309 … std::map< Node, std::vector< Node > >& lbl_to_assertions, std::map< Node, bool >& assert_active );