Searched refs:facts_begin (Results 1 – 8 of 8) sorted by relevance
107 for(assertions_iterator i = facts_begin(); i != facts_end(); ++i) { in collectModelInfo()
934 …context::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()
708 assertions_iterator facts_begin() const { in facts_begin() function
443 …context::CDList<Assertion>::const_iterator it = theory->facts_begin(), it_end = theory->facts_end(… in printAssertions()487 …context::CDList<Assertion>::const_iterator it = theory->facts_begin(), it_end = theory->facts_end(… in dumpAssertions()2177 for(context::CDList<Assertion>::const_iterator it = theory->facts_begin(), in checkTheoryAssertionsWithModel()
1311 …for( context::CDList<Assertion>::const_iterator it = theory->facts_begin(); it != theory->facts_en… in processAssertions()
805 … for( context::CDList<Assertion>::const_iterator it = facts_begin(); it != facts_end(); ++ it) { in check()
716 for (Theory::assertions_iterator it = d_containing.facts_begin(); in getAssertions()