This is the complete list of members for
Clasp::Lookahead, including all inherited members.
| append(Literal p, bool testBoth) | Clasp::Lookahead | |
| atom_lookahead enum value | Clasp::Lookahead | |
| body_lookahead enum value | Clasp::Lookahead | |
| checkImps(Solver &s, Literal p) | Clasp::Lookahead | [private] |
| clause() | Clasp::Constraint | [virtual] |
| clear() | Clasp::Lookahead | |
| cloneAttach(Solver &) | Clasp::PostPropagator | [inline, protected, virtual] |
| Constraint() | Clasp::Constraint | |
| destroy(Solver *s, bool detach) | Clasp::Lookahead | [virtual] |
| empty() const | Clasp::Lookahead | [inline] |
| estimateComplexity(const Solver &s) const | Clasp::Constraint | [virtual] |
| head() | Clasp::Lookahead | [inline, private] |
| head() const | Clasp::Lookahead | [inline, private] |
| head_id enum value | Clasp::Lookahead | [private] |
| HeuPtr typedef | Clasp::Lookahead | [private] |
| heuristic(Solver &s) | Clasp::Lookahead | |
| hybrid_lookahead enum value | Clasp::Lookahead | |
| imps_ | Clasp::Lookahead | [private] |
| init(Solver &s) | Clasp::Lookahead | [virtual] |
| isModel(Solver &s) | Clasp::PostPropagator | [virtual] |
| isType(uint32 t) | Clasp::Lookahead | [inline, static] |
| last_ | Clasp::Lookahead | [private] |
| limit_ | Clasp::Lookahead | [private] |
| Lookahead(const Params &p) | Clasp::Lookahead | [explicit] |
| LookList typedef | Clasp::Lookahead | [private] |
| minimize(Solver &s, Literal p, CCMinRecursive *rec) | Clasp::Constraint | [virtual] |
| next | Clasp::PostPropagator | |
| no_lookahead enum value | Clasp::Lookahead | |
| node(NodeId n) | Clasp::Lookahead | [inline, private] |
| NodeId typedef | Clasp::Lookahead | [private] |
| nodes_ | Clasp::Lookahead | [private] |
| pos_ | Clasp::Lookahead | [private] |
| PostPropagator() | Clasp::PostPropagator | |
| Priority enum name | Clasp::PostPropagator | |
| priority() const | Clasp::Lookahead | [virtual] |
| priority_class_general enum value | Clasp::PostPropagator | |
| priority_class_simple enum value | Clasp::PostPropagator | |
| priority_reserved_look enum value | Clasp::PostPropagator | |
| priority_reserved_msg enum value | Clasp::PostPropagator | |
| priority_reserved_ufs enum value | Clasp::PostPropagator | |
| propagate(Solver &, Literal, uint32 &) | Clasp::PostPropagator | [protected, virtual] |
| propagateFixpoint(Solver &s, PostPropagator *) | Clasp::Lookahead | [virtual] |
| propagateLevel(Solver &s) | Clasp::Lookahead | [protected] |
| reason(Solver &, Literal, LitVec &) | Clasp::PostPropagator | [protected, virtual] |
| reset() | Clasp::PostPropagator | [virtual] |
| saved_ | Clasp::Lookahead | [private] |
| score | Clasp::Lookahead | |
| setLimit(UnitHeuristic *n) | Clasp::Lookahead | |
| simplify(Solver &s, bool reinit=false) | Clasp::Constraint | [virtual] |
| splice(NodeId n) | Clasp::Lookahead | [private] |
| test(Solver &s, Literal p) | Clasp::Lookahead | [protected] |
| top_ | Clasp::Lookahead | [private] |
| type() const | Clasp::Constraint | [virtual] |
| Type enum name | Clasp::Lookahead | |
| undo() | Clasp::Lookahead | [inline, private] |
| undo_id enum value | Clasp::Lookahead | [private] |
| undoLevel(Solver &s) | Clasp::Lookahead | [protected, virtual] |
| UndoStack typedef | Clasp::Lookahead | [private] |
| valid(Solver &s) | Clasp::Constraint | [virtual] |
| ~Constraint() | Clasp::Constraint | [protected, virtual] |
| ~Lookahead() | Clasp::Lookahead | |
| ~PostPropagator() | Clasp::PostPropagator | [virtual] |