This is the complete list of members for
Clasp::Asp::PrgHead, including all inherited members.
| addSupport(PrgEdge r) | Clasp::Asp::PrgHead | [inline] |
| addSupport(PrgEdge r, Simplify s) | Clasp::Asp::PrgHead | |
| assignValue(ValueRep v) | Clasp::Asp::PrgHead | [inline] |
| assignValueImpl(ValueRep v, bool noWeak) | Clasp::Asp::PrgNode | [inline] |
| assignVar(LogicProgram &prg, PrgEdge it) | Clasp::Asp::PrgHead | |
| assumption() const | Clasp::Asp::PrgHead | [inline] |
| backpropagate(LogicProgram &prg, ValueRep val, bool bpFull) | Clasp::Asp::PrgHead | [protected] |
| clearLiteral(bool clVal) | Clasp::Asp::PrgNode | [inline] |
| clearSupports() | Clasp::Asp::PrgHead | |
| clearSupports(EdgeVec &to) | Clasp::Asp::PrgHead | [inline] |
| data_ | Clasp::Asp::PrgHead | [protected] |
| dirty_ | Clasp::Asp::PrgHead | [protected] |
| eq() const | Clasp::Asp::PrgNode | [inline] |
| eq_ | Clasp::Asp::PrgNode | [protected] |
| force_simplify enum value | Clasp::Asp::PrgHead | |
| frozen() const | Clasp::Asp::PrgHead | [inline] |
| hasVar() const | Clasp::Asp::PrgNode | [inline] |
| id() const | Clasp::Asp::PrgNode | [inline] |
| id_ | Clasp::Asp::PrgNode | [protected] |
| ignoreScc() const | Clasp::Asp::PrgNode | [inline] |
| inFlux() const | Clasp::Asp::PrgHead | [inline] |
| inUpper() const | Clasp::Asp::PrgHead | [inline] |
| isAtom() const | Clasp::Asp::PrgHead | [inline] |
| isAtom_ | Clasp::Asp::PrgHead | [protected] |
| literal() const | Clasp::Asp::PrgNode | [inline] |
| litIdx_ | Clasp::Asp::PrgNode | [protected] |
| markDirty() | Clasp::Asp::PrgHead | [inline] |
| markRemoved() | Clasp::Asp::PrgNode | [inline] |
| markSeen(bool b) | Clasp::Asp::PrgNode | [inline] |
| maxVertex | Clasp::Asp::PrgNode | [static] |
| no_simplify enum value | Clasp::Asp::PrgHead | |
| noIdx | Clasp::Asp::PrgNode | [static] |
| noScc | Clasp::Asp::PrgNode | [static] |
| noScc_ | Clasp::Asp::PrgNode | [protected] |
| PrgHead(uint32 id, NodeType t, uint32 data=0, bool checkScc=true) | Clasp::Asp::PrgHead | [explicit, protected] |
| PrgNode(uint32 id, bool checkScc=true) | Clasp::Asp::PrgNode | [explicit] |
| relevant() const | Clasp::Asp::PrgNode | [inline] |
| removed() const | Clasp::Asp::PrgNode | [inline] |
| removeSupport(PrgEdge r) | Clasp::Asp::PrgHead | |
| resetId(uint32 id, bool seen) | Clasp::Asp::PrgNode | [inline] |
| 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] |
| setInUpper(bool b) | Clasp::Asp::PrgHead | [inline] |
| setLiteral(Literal x) | Clasp::Asp::PrgNode | [inline] |
| setValue(ValueRep v) | Clasp::Asp::PrgNode | [inline] |
| Simplify enum name | Clasp::Asp::PrgHead | |
| simplifySupports(LogicProgram &prg, bool strong, uint32 *numDiffSupps=0) | Clasp::Asp::PrgHead | |
| State enum name | Clasp::Asp::PrgHead | |
| state() const | Clasp::Asp::PrgHead | [inline] |
| state_ | Clasp::Asp::PrgHead | [protected] |
| state_freeze enum value | Clasp::Asp::PrgHead | |
| state_freeze_true enum value | Clasp::Asp::PrgHead | |
| state_in_flux enum value | Clasp::Asp::PrgHead | |
| state_normal enum value | Clasp::Asp::PrgHead | |
| sup_iterator typedef | Clasp::Asp::PrgHead | |
| supports() const | Clasp::Asp::PrgHead | [inline] |
| supports_ | Clasp::Asp::PrgHead | [protected] |
| supps_begin() const | Clasp::Asp::PrgHead | [inline] |
| supps_end() const | Clasp::Asp::PrgHead | [inline] |
| trueLit() const | Clasp::Asp::PrgNode | [inline] |
| upper_ | Clasp::Asp::PrgHead | [protected] |
| val_ | Clasp::Asp::PrgNode | [protected] |
| value() const | Clasp::Asp::PrgNode | [inline] |
| var() const | Clasp::Asp::PrgNode | [inline] |