6 class BooleanIterator {
8 BooleanIterator(CSolver *_solver);
15 SetIteratorBooleanEdge *solverit;
16 HashsetBoolean discovered;
17 Vector<Boolean *> boolean;
22 class ElementIterator {
24 ElementIterator(CSolver *_solver);
32 BooleanPredicate *base;
35 HashsetElement discovered;
37 Vector<Element *> element;