Searched refs:SubformulaIterator (Results 1 – 12 of 12) sorted by relevance
38 class SubformulaIterator::Element {80 CLASS_NAME(SubformulaIterator::Element);81 USE_ALLOCATOR(SubformulaIterator::Element);89 SubformulaIterator::SubformulaIterator (Formula* f) in SubformulaIterator() function in Kernel::SubformulaIterator101 SubformulaIterator::SubformulaIterator (FormulaList* ts) in SubformulaIterator() function in Kernel::SubformulaIterator115 bool SubformulaIterator::hasNext () in hasNext()239 Formula* SubformulaIterator::next () in next()255 Formula* SubformulaIterator::next (int& resultPolarity) in next()327 SubformulaIterator::~SubformulaIterator () in ~SubformulaIterator()
39 class SubformulaIterator class43 SubformulaIterator (Formula*);44 SubformulaIterator (FormulaList*);45 ~SubformulaIterator ();
581 SubformulaIterator sfit(const_cast<Formula*>(this)); in boundVariables()603 SubformulaIterator sfit(this); in collectAtoms()620 SubformulaIterator sfit(this); in collectPredicates()698 SubformulaIterator fs(const_cast<Formula*>(this)); in weight()740 SubformulaIterator si(this); in getColor()762 SubformulaIterator si(this); in getSkip()
228 SubformulaIterator sfit(f); in tryGetVariableSort()426 SubformulaIterator sfit(f); in collectVariableSortsIter()
232 SubformulaIterator sf1(fm1); in compare()233 SubformulaIterator sf2(fm2); in compare()
126 SubformulaIterator sfit(fu->formula()); in apply()
85 SubformulaIterator sfi(unit->formula()); in needsElimination()
947 SubformulaIterator sfit(rhs); in tryGetDef()
1102 SubformulaIterator sfit(f); in canBeInDefinition()
171 SubformulaIterator sfit(fu->formula()); in isLocal()
139 SubformulaIterator sfit(fu->formula()); in getColor()227 SubformulaIterator sfit(form); in collectColoredTerms()
233 Kernel/SubformulaIterator.o\482 Kernel/SubformulaIterator.o\