, including all inherited members.
| activeClause_ | Clasp::DefaultUnfoundedCheck | [private] |
| addDeltaReason(const BodyPtr &body, uint32 uScc) | Clasp::DefaultUnfoundedCheck | [private] |
| addExtWatch(Literal p, const BodyPtr &n, uint32 data) | Clasp::DefaultUnfoundedCheck | [private] |
| addIfReason(const BodyPtr &, uint32 uScc) | Clasp::DefaultUnfoundedCheck | [private] |
| addReasonLit(Literal) | Clasp::DefaultUnfoundedCheck | [private] |
| addUnsourced(const BodyPtr &) | Clasp::DefaultUnfoundedCheck | [private] |
| addWatch(Literal, uint32 data, WatchType type) | Clasp::DefaultUnfoundedCheck | [private] |
| assertAtom(Literal a, UfsType t) | Clasp::DefaultUnfoundedCheck | [private] |
| AtomNode typedef | Clasp::DefaultUnfoundedCheck | |
| atoms_ | Clasp::DefaultUnfoundedCheck | [private] |
| AtomVec typedef | Clasp::DefaultUnfoundedCheck | [private] |
| bodies_ | Clasp::DefaultUnfoundedCheck | [private] |
| BodyNode typedef | Clasp::DefaultUnfoundedCheck | |
| BodyVec typedef | Clasp::DefaultUnfoundedCheck | [private] |
| clause() | Clasp::Constraint | [virtual] |
| cloneAttach(Solver &) | Clasp::PostPropagator | [inline, protected, virtual] |
| common_reason enum value | Clasp::DefaultUnfoundedCheck | |
| computeReason(UfsType t) | Clasp::DefaultUnfoundedCheck | [private] |
| Constraint() | Clasp::Constraint | |
| createLoopFormula() | Clasp::DefaultUnfoundedCheck | [private] |
| DefaultUnfoundedCheck() | Clasp::DefaultUnfoundedCheck | |
| DefaultUnfoundedCheck(const DefaultUnfoundedCheck &) | Clasp::DefaultUnfoundedCheck | [private] |
| DependencyGraph typedef | Clasp::DefaultUnfoundedCheck | |
| destroy(Solver *s=0, bool detach=false) | Clasp::Constraint | [virtual] |
| distinct_reason enum value | Clasp::DefaultUnfoundedCheck | |
| estimateComplexity(const Solver &s) const | Clasp::Constraint | [virtual] |
| extended_ | Clasp::DefaultUnfoundedCheck | [private] |
| ExtVec typedef | Clasp::DefaultUnfoundedCheck | [private] |
| falsifyUfs(UfsType t) | Clasp::DefaultUnfoundedCheck | [private] |
| findNonHcfUfs(Solver &s) | Clasp::DefaultUnfoundedCheck | [private] |
| findSource(NodeId atom) | Clasp::DefaultUnfoundedCheck | [private] |
| findUfs(Solver &s, bool checkNonHcf) | Clasp::DefaultUnfoundedCheck | [private] |
| forwardSource(const BodyPtr &n) | Clasp::DefaultUnfoundedCheck | [private] |
| forwardUnsource(const BodyPtr &n, bool add) | Clasp::DefaultUnfoundedCheck | [private] |
| getBody(NodeId bId) const | Clasp::DefaultUnfoundedCheck | [inline, private] |
| graph() const | Clasp::DefaultUnfoundedCheck | [inline] |
| graph_ | Clasp::DefaultUnfoundedCheck | [private] |
| IdQueue typedef | Clasp::DefaultUnfoundedCheck | [private] |
| info_ | Clasp::DefaultUnfoundedCheck | [private] |
| init(Solver &) | Clasp::DefaultUnfoundedCheck | [virtual] |
| initBody(const BodyPtr &n) | Clasp::DefaultUnfoundedCheck | [private] |
| initExtBody(const BodyPtr &n) | Clasp::DefaultUnfoundedCheck | [private] |
| initSuccessors(const BodyPtr &n, weight_t lower) | Clasp::DefaultUnfoundedCheck | [private] |
| invalidQ_ | Clasp::DefaultUnfoundedCheck | [private] |
| isModel(Solver &s) | Clasp::DefaultUnfoundedCheck | [virtual] |
| isValidSource(const BodyPtr &) | Clasp::DefaultUnfoundedCheck | [private] |
| loopAtoms_ | Clasp::DefaultUnfoundedCheck | [private] |
| mini_ | Clasp::DefaultUnfoundedCheck | [private] |
| minimize(Solver &s, Literal p, CCMinRecursive *rec) | Clasp::Constraint | [virtual] |
| MiniPtr typedef | Clasp::DefaultUnfoundedCheck | [private] |
| next | Clasp::PostPropagator | |
| no_reason enum value | Clasp::DefaultUnfoundedCheck | |
| NodeId typedef | Clasp::DefaultUnfoundedCheck | |
| nodes() const | Clasp::DefaultUnfoundedCheck | [inline] |
| only_reason enum value | Clasp::DefaultUnfoundedCheck | |
| operator=(const DefaultUnfoundedCheck &) | Clasp::DefaultUnfoundedCheck | [private] |
| pickedExt_ | Clasp::DefaultUnfoundedCheck | [private] |
| PostPropagator() | Clasp::PostPropagator | |
| Priority enum name | Clasp::PostPropagator | |
| priority() const | Clasp::DefaultUnfoundedCheck | [inline, 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 &data) | Clasp::DefaultUnfoundedCheck | [inline, private, virtual] |
| propagateFixpoint(Solver &s, PostPropagator *ctx) | Clasp::DefaultUnfoundedCheck | [virtual] |
| propagateSource() | Clasp::DefaultUnfoundedCheck | [private] |
| pushTodo(NodeId at) | Clasp::DefaultUnfoundedCheck | [inline, private] |
| pushUfs(NodeId at) | Clasp::DefaultUnfoundedCheck | [inline, private] |
| reason(Solver &s, Literal, LitVec &) | Clasp::DefaultUnfoundedCheck | [private, virtual] |
| reasons_ | Clasp::DefaultUnfoundedCheck | [private] |
| ReasonStrategy enum name | Clasp::DefaultUnfoundedCheck | |
| reasonStrategy() const | Clasp::DefaultUnfoundedCheck | [inline] |
| removeSource(NodeId bodyId) | Clasp::DefaultUnfoundedCheck | [private] |
| reset() | Clasp::DefaultUnfoundedCheck | [virtual] |
| resetTodo() | Clasp::DefaultUnfoundedCheck | [inline, private] |
| resetUfs() | Clasp::DefaultUnfoundedCheck | [inline, private] |
| setSource(NodeId atom, const BodyPtr &b) | Clasp::DefaultUnfoundedCheck | [private] |
| shared_reason enum value | Clasp::DefaultUnfoundedCheck | |
| simplify(Solver &s, bool reinit=false) | Clasp::Constraint | [virtual] |
| solver_ | Clasp::DefaultUnfoundedCheck | [private] |
| sourceQ_ | Clasp::DefaultUnfoundedCheck | [private] |
| strategy_ | Clasp::DefaultUnfoundedCheck | [private] |
| todo_ | Clasp::DefaultUnfoundedCheck | [private] |
| type() const | Clasp::Constraint | [virtual] |
| ufs_ | Clasp::DefaultUnfoundedCheck | [private] |
| ufs_non_poly enum value | Clasp::DefaultUnfoundedCheck | [private] |
| ufs_none enum value | Clasp::DefaultUnfoundedCheck | [private] |
| ufs_poly enum value | Clasp::DefaultUnfoundedCheck | [private] |
| UfsType enum name | Clasp::DefaultUnfoundedCheck | [private] |
| undoLevel(Solver &s) | Clasp::Constraint | [virtual] |
| updateAssignment(Solver &s) | Clasp::DefaultUnfoundedCheck | [private] |
| updateSource(AtomData &atom, const BodyPtr &n) | Clasp::DefaultUnfoundedCheck | [private] |
| valid(Solver &s) | Clasp::DefaultUnfoundedCheck | [virtual] |
| watch_head_false enum value | Clasp::DefaultUnfoundedCheck | [private] |
| watch_head_true enum value | Clasp::DefaultUnfoundedCheck | [private] |
| watch_source_false enum value | Clasp::DefaultUnfoundedCheck | [private] |
| watch_subgoal_false enum value | Clasp::DefaultUnfoundedCheck | [private] |
| watches_ | Clasp::DefaultUnfoundedCheck | [private] |
| WatchType enum name | Clasp::DefaultUnfoundedCheck | [private] |
| WatchVec typedef | Clasp::DefaultUnfoundedCheck | [private] |
| ~Constraint() | Clasp::Constraint | [protected, virtual] |
| ~DefaultUnfoundedCheck() | Clasp::DefaultUnfoundedCheck | |
| ~PostPropagator() | Clasp::PostPropagator | [virtual] |