Searched defs:SubtermIterator (Results 1 – 2 of 2) sorted by relevance
161 struct InjectivityGIE::SubtermIterator struct in Inferences::InjectivityGIE163 SubtermIterator(Clause *clause, Literal *lit) in SubtermIterator() argument178 bool hasNext() { return _index < _length; } in hasNext()179 OWN_ELEMENT_TYPE next() in next()197 unsigned int _length; // this is the arity n of the constructor f202 unsigned int _index; // between 0 and _length203 Literal* _lit;204 Clause* _clause;205 OperatorType* _type; // type of f
148 class SubtermIterator class152 SubtermIterator(const Term* term) : _used(false) in SubtermIterator() function in Kernel::SubtermIterator180 SubtermIterator() : _used(false) in SubtermIterator() function in Kernel::SubtermIterator