, including all inherited members.
| addConstraints(const LogicProgram &prg, ClauseCreator &c) | Clasp::Asp::PrgBody | |
| addHead(PrgHead *h, EdgeType t) | Clasp::Asp::PrgBody | |
| addHead(PrgEdge h) | Clasp::Asp::PrgBody | [private] |
| assignValue(ValueRep v) | Clasp::Asp::PrgBody | [inline] |
| assignValueImpl(ValueRep v, bool noWeak) | Clasp::Asp::PrgNode | [inline] |
| assignVar(LogicProgram &prg) | Clasp::Asp::PrgBody | |
| blockedHead(PrgEdge it, const RuleState &rs) const | Clasp::Asp::PrgBody | [private] |
| BodyType typedef | Clasp::Asp::PrgBody | |
| bound() const | Clasp::Asp::PrgBody | [inline] |
| boundImpl() const | Clasp::Asp::PrgBody | [inline, private] |
| clearHeads() | Clasp::Asp::PrgBody | |
| clearLiteral(bool clVal) | Clasp::Asp::PrgNode | [inline] |
| create(LogicProgram &prg, uint32 id, const BodyInfo &info, bool addDeps) | Clasp::Asp::PrgBody | [static] |
| data_ | Clasp::Asp::PrgBody | [private] |
| destroy() | Clasp::Asp::PrgBody | |
| eq() const | Clasp::Asp::PrgNode | [inline] |
| eq_ | Clasp::Asp::PrgNode | [protected] |
| eqLits(WeightLitVec &vec, bool &sorted) const | Clasp::Asp::PrgBody | |
| eraseHead(PrgEdge h) | Clasp::Asp::PrgBody | [private] |
| ext | Clasp::Asp::PrgBody | |
| extHead() const | Clasp::Asp::PrgBody | [inline, private] |
| extHead_ | Clasp::Asp::PrgBody | [private] |
| findLit(const LogicProgram &prg, Literal p) const | Clasp::Asp::PrgBody | [private] |
| goal(uint32 idx) const | Clasp::Asp::PrgBody | [inline] |
| goals_begin() const | Clasp::Asp::PrgBody | [inline, private] |
| goals_begin() | Clasp::Asp::PrgBody | [inline, private] |
| goals_end() const | Clasp::Asp::PrgBody | [inline, private] |
| goals_end() | Clasp::Asp::PrgBody | [inline, private] |
| hasHeads() const | Clasp::Asp::PrgBody | [inline] |
| hasVar() const | Clasp::Asp::PrgNode | [inline] |
| hasWeights() const | Clasp::Asp::PrgBody | [inline, private] |
| head_iterator typedef | Clasp::Asp::PrgBody | |
| heads_ | Clasp::Asp::PrgBody | [private] |
| heads_begin() const | Clasp::Asp::PrgBody | [inline] |
| heads_end() const | Clasp::Asp::PrgBody | [inline] |
| id() const | Clasp::Asp::PrgNode | [inline] |
| id_ | Clasp::Asp::PrgNode | [protected] |
| ignoreScc() const | Clasp::Asp::PrgNode | [inline] |
| isSupported() const | Clasp::Asp::PrgBody | [inline] |
| literal() const | Clasp::Asp::PrgNode | [inline] |
| litIdx_ | Clasp::Asp::PrgNode | [protected] |
| lits | Clasp::Asp::PrgBody | |
| markDirty() | Clasp::Asp::PrgBody | [inline] |
| markHeadsDirty() | Clasp::Asp::PrgBody | [inline] |
| markRemoved() | Clasp::Asp::PrgNode | [inline] |
| markSeen(bool b) | Clasp::Asp::PrgNode | [inline] |
| maxSize | Clasp::Asp::PrgBody | [private, static] |
| maxVertex | Clasp::Asp::PrgNode | [static] |
| mergeHeads(LogicProgram &prg, PrgBody &heads, bool strong, bool simplify=true) | Clasp::Asp::PrgBody | |
| noIdx | Clasp::Asp::PrgNode | [static] |
| normalize(const LogicProgram &prg, weight_t bound, weight_t sumW, weight_t reachW, uint32 &hashOut) | Clasp::Asp::PrgBody | [private] |
| noScc() const | Clasp::Asp::PrgBody | [inline] |
| Clasp::Asp::PrgNode::noScc | Clasp::Asp::PrgNode | [static] |
| noScc_ | Clasp::Asp::PrgNode | [protected] |
| prepareSimplifyHeads(LogicProgram &prg, RuleState &rs) | Clasp::Asp::PrgBody | [private] |
| PrgBody(LogicProgram &prg, uint32 id, const BodyInfo &info, bool addDep) | Clasp::Asp::PrgBody | [explicit, private] |
| PrgNode(uint32 id, bool checkScc=true) | Clasp::Asp::PrgNode | [explicit] |
| propagateAssigned(LogicProgram &prg, Literal p, ValueRep v) | Clasp::Asp::PrgBody | |
| propagateAssigned(LogicProgram &prg, PrgHead *h, EdgeType t) | Clasp::Asp::PrgBody | |
| propagateSupported(Var) | Clasp::Asp::PrgBody | |
| propagateValue(LogicProgram &prg, bool backprop) | Clasp::Asp::PrgBody | |
| relevant() const | Clasp::Asp::PrgNode | [inline] |
| removed() const | Clasp::Asp::PrgNode | [inline] |
| removeHead(PrgHead *h, EdgeType t) | Clasp::Asp::PrgBody | |
| resetId(uint32 id, bool seen) | Clasp::Asp::PrgNode | [inline] |
| resetSupported() | Clasp::Asp::PrgBody | |
| sBody_ | Clasp::Asp::PrgBody | [private] |
| scc(const LogicProgram &prg) const | Clasp::Asp::PrgBody | |
| seen() const | Clasp::Asp::PrgNode | [inline] |
| seen_ | Clasp::Asp::PrgNode | [protected] |
| setEq(uint32 eqId) | Clasp::Asp::PrgNode | [inline] |
| setIgnoreScc(bool b) | Clasp::Asp::PrgNode | [inline] |
| setLiteral(Literal x) | Clasp::Asp::PrgNode | [inline] |
| setValue(ValueRep v) | Clasp::Asp::PrgNode | [inline] |
| sHead_ | Clasp::Asp::PrgBody | [private] |
| simplify(LogicProgram &prg, bool strong, uint32 *eqId=0) | Clasp::Asp::PrgBody | [inline] |
| simplifyBody(LogicProgram &prg, bool strong, uint32 *eqId=0) | Clasp::Asp::PrgBody | |
| simplifyHeads(LogicProgram &prg, bool strong) | Clasp::Asp::PrgBody | |
| simplifyHeadsImpl(LogicProgram &prg, PrgBody &target, RuleState &rs, bool strong) | Clasp::Asp::PrgBody | [private] |
| size() const | Clasp::Asp::PrgBody | [inline] |
| size_ | Clasp::Asp::PrgBody | [private] |
| sumW() const | Clasp::Asp::PrgBody | [inline] |
| superfluousHead(const LogicProgram &prg, const PrgHead *head, PrgEdge it, const RuleState &rs) const | Clasp::Asp::PrgBody | [private] |
| trueLit() const | Clasp::Asp::PrgNode | [inline] |
| type() const | Clasp::Asp::PrgBody | [inline] |
| type_ | Clasp::Asp::PrgBody | [private] |
| unsupp_ | Clasp::Asp::PrgBody | [private] |
| val_ | Clasp::Asp::PrgNode | [protected] |
| value() const | Clasp::Asp::PrgNode | [inline] |
| var() const | Clasp::Asp::PrgNode | [inline] |
| weight(uint32 idx) const | Clasp::Asp::PrgBody | [inline] |
| ~PrgBody() | Clasp::Asp::PrgBody | [private] |