Searched defs:NonVariableIterator (Results 1 – 1 of 1) sorted by relevance
268 class NonVariableIterator class279 NonVariableIterator(Term* term,bool includeSelf=false) in NonVariableIterator() function in Kernel::NonVariableIterator