Searched refs:ArrayishObjectIterator (Results 1 – 7 of 7) sorted by relevance
65 typedef ArrayishObjectIterator<const Clause> Iterator;237 ArrayishObjectIterator<Clause> getSelectedLiteralIterator() in getSelectedLiteralIterator()238 { return ArrayishObjectIterator<Clause>(*this,numSelected()); } in getSelectedLiteralIterator()
317 selectable.loadFromIterator(ArrayishObjectIterator<Clause>(*c, eligible)); in doSelection()
97 class ArrayishObjectIterator class101 ArrayishObjectIterator(Arr& arr) : _arr(arr), in ArrayishObjectIterator() function in Lib::ArrayishObjectIterator103 ArrayishObjectIterator(Arr& arr, size_t size) : _arr(arr), in ArrayishObjectIterator() function in Lib::ArrayishObjectIterator116 ArrayishObjectIterator<Arr> getArrayishObjectIterator(Arr& arr, size_t size) in getArrayishObjectIterator()119 return ArrayishObjectIterator<Arr>(arr, size); in getArrayishObjectIterator()123 ArrayishObjectIterator<Arr> getArrayishObjectIterator(Arr& arr) in getArrayishObjectIterator()126 return ArrayishObjectIterator<Arr>(arr); in getArrayishObjectIterator()
73 template<typename T> class ArrayishObjectIterator;112 template<class Arr> class ArrayishObjectIterator;
59 typedef ArrayishObjectIterator<SATClause> Iterator;
81 ArrayishObjectIterator<Clause> literals = premise->getSelectedLiteralIterator(); in generateClauses()
413 ArrayishObjectIterator<Clause> it = c->getSelectedLiteralIterator(); in handleClause()