This is the complete list of members for
Clasp::Test::TestingPostProp, including all inherited members.
| clause() | Clasp::Constraint | [virtual] |
| cloneAttach(Solver &) | Clasp::PostPropagator | [inline, protected, virtual] |
| conflict | Clasp::Test::TestingPostProp | |
| Constraint() | Clasp::Constraint | |
| deleteOnProp | Clasp::Test::TestingPostProp | |
| destroy(Solver *s=0, bool detach=false) | Clasp::Constraint | [virtual] |
| estimateComplexity(const Solver &s) const | Clasp::Constraint | [virtual] |
| init(Solver &) | Clasp::Test::TestingPostProp | [inline, virtual] |
| inits | Clasp::Test::TestingPostProp | |
| isModel(Solver &s) | Clasp::PostPropagator | [virtual] |
| minimize(Solver &s, Literal p, CCMinRecursive *rec) | Clasp::Constraint | [virtual] |
| next | Clasp::PostPropagator | |
| PostPropagator() | Clasp::PostPropagator | |
| prio | Clasp::Test::TestingPostProp | |
| priority() const | Clasp::Test::TestingPostProp | [inline, virtual] |
| Priority enum name | Clasp::PostPropagator | |
| 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::Test::TestingPostProp | [inline, virtual] |
| props | Clasp::Test::TestingPostProp | |
| reason(Solver &, Literal, LitVec &) | Clasp::PostPropagator | [protected, virtual] |
| reset() | Clasp::Test::TestingPostProp | [inline, virtual] |
| resets | Clasp::Test::TestingPostProp | |
| simplify(Solver &s, bool reinit=false) | Clasp::Constraint | [virtual] |
| TestingPostProp(bool cfl, uint32 p=PostPropagator::priority_class_simple) | Clasp::Test::TestingPostProp | [inline, explicit] |
| type() const | Clasp::Constraint | [virtual] |
| undoLevel(Solver &s) | Clasp::Constraint | [virtual] |
| valid(Solver &s) | Clasp::Constraint | [virtual] |
| ~Constraint() | Clasp::Constraint | [protected, virtual] |
| ~PostPropagator() | Clasp::PostPropagator | [virtual] |