Searched refs:facts_end (Results 1 – 8 of 8) sorted by relevance
107 for(assertions_iterator i = facts_begin(); i != facts_end(); ++i) { in collectModelInfo()
934 …ontext::CDList<Assertion>::const_iterator it = theory->facts_begin(), it_end = theory->facts_end(); in reset()
273 context::CDList<Assertion>::const_iterator assert_it = facts_begin(), assert_it_end = facts_end(); in computeRelevantTerms()
718 assertions_iterator facts_end() const { in facts_end() function
443 …ontext::CDList<Assertion>::const_iterator it = theory->facts_begin(), it_end = theory->facts_end(); in printAssertions()487 …ontext::CDList<Assertion>::const_iterator it = theory->facts_begin(), it_end = theory->facts_end(); in dumpAssertions()2178 it_end = theory->facts_end(); in checkTheoryAssertionsWithModel()
1311 …::CDList<Assertion>::const_iterator it = theory->facts_begin(); it != theory->facts_end(); ++ it) { in processAssertions()
805 … for( context::CDList<Assertion>::const_iterator it = facts_begin(); it != facts_end(); ++ it) { in check()
717 it != d_containing.facts_end(); in getAssertions()