, including all inherited members.
| accu | Clasp::Asp::LogicProgram | |
| activeBody_ | Clasp::Asp::LogicProgram | [private] |
| activeHead_ | Clasp::Asp::LogicProgram | [private] |
| addConstraints() | Clasp::Asp::LogicProgram | [private] |
| addHead(Var atomId) | Clasp::Asp::LogicProgram | [inline] |
| addMinimize() | Clasp::Asp::LogicProgram | |
| addMinLit(WeightLiteral x) | Clasp::ProgramBuilder | [protected] |
| addMinRule(const WeightLitVec &lits) | Clasp::ProgramBuilder | [protected] |
| addRule(const Rule &r) | Clasp::Asp::LogicProgram | |
| addRuleImpl(RuleType t, const VarVec &head, BodyInfo &body) | Clasp::Asp::LogicProgram | [private] |
| addToBody(Var atomId, bool pos, weight_t weight=1) | Clasp::Asp::LogicProgram | [inline] |
| assignBodyFor(BodyInfo &body, EdgeType x, bool strongSimp) | Clasp::Asp::LogicProgram | [private] |
| assignValue(PrgAtom *a, ValueRep v) | Clasp::Asp::LogicProgram | |
| assignValue(PrgHead *h, ValueRep v) | Clasp::Asp::LogicProgram | |
| atom_begin() const | Clasp::Asp::LogicProgram | [inline] |
| atom_end() const | Clasp::Asp::LogicProgram | [inline] |
| atoms_ | Clasp::Asp::LogicProgram | [private] |
| bodies_ | Clasp::Asp::LogicProgram | [private] |
| bodyIndex_ | Clasp::Asp::LogicProgram | [private] |
| clone(SharedContext &ctx, bool shareSymbols=false) | Clasp::Asp::LogicProgram | |
| ctx() const | Clasp::ProgramBuilder | [inline] |
| disj_begin() const | Clasp::Asp::LogicProgram | [inline] |
| disj_end() const | Clasp::Asp::LogicProgram | [inline] |
| disjIndex_ | Clasp::Asp::LogicProgram | [private] |
| disjunctions_ | Clasp::Asp::LogicProgram | [private] |
| dispose(bool forceFullDispose) | Clasp::Asp::LogicProgram | |
| disposeMin() | Clasp::ProgramBuilder | [protected] |
| disposeMinimizeConstraint() | Clasp::ProgramBuilder | |
| doEndProgram() | Clasp::Asp::LogicProgram | [private, virtual] |
| doGetAssumptions(LitVec &out) const | Clasp::Asp::LogicProgram | [private] |
| doParse(StreamSource &prg) | Clasp::Asp::LogicProgram | [private, virtual] |
| doStartProgram() | Clasp::Asp::LogicProgram | [private, virtual] |
| doType() const | Clasp::Asp::LogicProgram | [inline, private, virtual] |
| doUpdateProgram() | Clasp::Asp::LogicProgram | [private, virtual] |
| EdgeRange typedef | Clasp::Asp::LogicProgram | |
| end() | Clasp::Asp::LogicProgram | [inline] |
| endProgram() | Clasp::ProgramBuilder | |
| endRule() | Clasp::Asp::LogicProgram | [inline] |
| equalBody(const IndexRange &range, BodyInfo &info) const | Clasp::Asp::LogicProgram | [private] |
| extended_ | Clasp::Asp::LogicProgram | [private] |
| ExtendedRuleMode enum name | Clasp::Asp::LogicProgram | |
| finalizeDisjunctions(Preprocessor &p, uint32 numSccs) | Clasp::Asp::LogicProgram | [private] |
| findEqBody(PrgBody *b, uint32 hash) | Clasp::Asp::LogicProgram | [private] |
| findLpFalseAtom() const | Clasp::Asp::LogicProgram | [private] |
| freeze(Var atomId, ValueRep value=value_false) | Clasp::Asp::LogicProgram | |
| frozen() const | Clasp::ProgramBuilder | [inline] |
| getAssumptions(LitVec &out) const | Clasp::ProgramBuilder | |
| getAtom(Var atomId) const | Clasp::Asp::LogicProgram | [inline] |
| getAtomName(Var id) const | Clasp::Asp::LogicProgram | |
| getBody(Var bodyId) const | Clasp::Asp::LogicProgram | [inline] |
| getBodyFor(BodyInfo &body, bool addDeps=true) | Clasp::Asp::LogicProgram | [private] |
| getDisj(Var disjId) const | Clasp::Asp::LogicProgram | [inline] |
| getDisjFor(const VarVec &heads, uint32 headHash) | Clasp::Asp::LogicProgram | [private] |
| getEqAtom(Var a) const | Clasp::Asp::LogicProgram | [inline] |
| getEqAtomLit(Literal lit, const BodyList &supports, Preprocessor &p, const SccMap &x) | Clasp::Asp::LogicProgram | [private] |
| getEqBody(Var b) const | Clasp::Asp::LogicProgram | [inline] |
| getEqNode(C &vec, Var id) const | Clasp::Asp::LogicProgram | [inline, private] |
| getFalseAtom() const | Clasp::Asp::LogicProgram | [inline, private] |
| getFalseId() const | Clasp::Asp::LogicProgram | [inline, private] |
| getHead(PrgEdge it) const | Clasp::Asp::LogicProgram | [inline] |
| getLiteral(Var atomId) const | Clasp::Asp::LogicProgram | |
| getMinimizeConstraint(SumVec *softBound=0) const | Clasp::ProgramBuilder | |
| getSupp(PrgEdge it) const | Clasp::Asp::LogicProgram | [inline] |
| getSupportedBodies(bool sorted) | Clasp::Asp::LogicProgram | |
| handleNatively(RuleType t, const BodyInfo &i) const | Clasp::Asp::LogicProgram | [private] |
| hasConflict() const | Clasp::Asp::LogicProgram | [inline] |
| hasMinimize() const | Clasp::Asp::LogicProgram | [inline] |
| HeadIter typedef | Clasp::Asp::LogicProgram | |
| HeadRange typedef | Clasp::Asp::LogicProgram | |
| incData_ | Clasp::Asp::LogicProgram | [private] |
| incEqs(VarType t) | Clasp::Asp::LogicProgram | [inline] |
| incTr(RuleType r, uint32 n) | Clasp::Asp::LogicProgram | [inline] |
| incTrAux(uint32 n) | Clasp::Asp::LogicProgram | [inline] |
| IndexIter typedef | Clasp::Asp::LogicProgram | [private] |
| IndexMap typedef | Clasp::Asp::LogicProgram | [private] |
| IndexRange typedef | Clasp::Asp::LogicProgram | [private] |
| initialSupp_ | Clasp::Asp::LogicProgram | [private] |
| isFact(PrgAtom *a) const | Clasp::Asp::LogicProgram | [inline] |
| LogicProgram() | Clasp::Asp::LogicProgram | |
| LogicProgram(const LogicProgram &) | Clasp::Asp::LogicProgram | [private] |
| mergeEqAtoms(PrgAtom *a, Var rootAtom) | Clasp::Asp::LogicProgram | |
| mergeEqBodies(PrgBody *b, Var rootBody, bool hashEq, bool atomsAssigned) | Clasp::Asp::LogicProgram | |
| minimize_ | Clasp::Asp::LogicProgram | [private] |
| MinPtr typedef | Clasp::ProgramBuilder | |
| mode_native enum value | Clasp::Asp::LogicProgram | |
| mode_transform enum value | Clasp::Asp::LogicProgram | |
| mode_transform_card enum value | Clasp::Asp::LogicProgram | |
| mode_transform_choice enum value | Clasp::Asp::LogicProgram | |
| mode_transform_dynamic enum value | Clasp::Asp::LogicProgram | |
| mode_transform_integ enum value | Clasp::Asp::LogicProgram | |
| mode_transform_nhcf enum value | Clasp::Asp::LogicProgram | |
| mode_transform_scc enum value | Clasp::Asp::LogicProgram | |
| mode_transform_weight enum value | Clasp::Asp::LogicProgram | |
| newAtom() | Clasp::Asp::LogicProgram | |
| nonHcfCfg_ | Clasp::Asp::LogicProgram | [private] |
| nonHcfs_ | Clasp::Asp::LogicProgram | [private] |
| normalize() | Clasp::Asp::LogicProgram | [private] |
| numAtoms() const | Clasp::Asp::LogicProgram | [inline] |
| numBodies() const | Clasp::Asp::LogicProgram | [inline] |
| numDisjunctions() const | Clasp::Asp::LogicProgram | [inline] |
| ok() const | Clasp::Asp::LogicProgram | [inline, virtual] |
| operator=(const LogicProgram &) | Clasp::Asp::LogicProgram | [private] |
| options() const | Clasp::Asp::LogicProgram | [inline] |
| opts_ | Clasp::Asp::LogicProgram | [private] |
| parseProgram(StreamSource &prg) | Clasp::ProgramBuilder | |
| parseProgram(std::istream &prg) | Clasp::ProgramBuilder | |
| positiveLoopSafe(PrgBody *b, PrgBody *root) const | Clasp::Asp::LogicProgram | [private] |
| prepareComponents() | Clasp::Asp::LogicProgram | [private] |
| prepareProgram(bool checkSccs) | Clasp::Asp::LogicProgram | [private] |
| ProgramBuilder() | Clasp::ProgramBuilder | |
| propagate(bool backprop) | Clasp::Asp::LogicProgram | |
| propagate() | Clasp::Asp::LogicProgram | [inline] |
| propQ_ | Clasp::Asp::LogicProgram | [private] |
| removeBody(PrgBody *b, uint32 oldHash) | Clasp::Asp::LogicProgram | [private] |
| resize(Var atomId) | Clasp::Asp::LogicProgram | [private] |
| rule_ | Clasp::Asp::LogicProgram | [private] |
| RuleList typedef | Clasp::Asp::LogicProgram | [private] |
| ruleState() | Clasp::Asp::LogicProgram | [inline] |
| ruleState_ | Clasp::Asp::LogicProgram | [private] |
| sccAtoms_ | Clasp::Asp::LogicProgram | [private] |
| SccMap typedef | Clasp::Asp::LogicProgram | [private] |
| setAtomName(Var atomId, const char *name) | Clasp::Asp::LogicProgram | |
| setBound(weight_t bound) | Clasp::Asp::LogicProgram | [inline] |
| setCompute(Var atomId, bool value) | Clasp::Asp::LogicProgram | |
| setConflict() | Clasp::Asp::LogicProgram | [inline] |
| setCtx(SharedContext *x) | Clasp::ProgramBuilder | [inline, protected] |
| setExtendedRuleMode(ExtendedRuleMode m) | Clasp::Asp::LogicProgram | [inline] |
| setFrozen(bool frozen) | Clasp::ProgramBuilder | [inline, protected] |
| setNonHcfConfiguration(Configuration *c) | Clasp::Asp::LogicProgram | [inline] |
| setOptions(const AspOptions &opts) | Clasp::Asp::LogicProgram | |
| SharedMinimize typedef | Clasp::ProgramBuilder | |
| simplifyBody(const Rule &r, BodyInfo &info) | Clasp::Asp::LogicProgram | [private] |
| simplifyMinimize() | Clasp::Asp::LogicProgram | [private] |
| simplifyRule(const Rule &r, VarVec &head, BodyInfo &info) | Clasp::Asp::LogicProgram | |
| start(SharedContext &ctx, const AspOptions &opts=AspOptions()) | Clasp::Asp::LogicProgram | [inline] |
| startAtom() const | Clasp::Asp::LogicProgram | [inline] |
| startProgram(SharedContext &ctx) | Clasp::ProgramBuilder | |
| startRule(RuleType t=BASICRULE, weight_t bound=-1) | Clasp::Asp::LogicProgram | [inline] |
| stats | Clasp::Asp::LogicProgram | |
| transform(const PrgBody &body, BodyInfo &out) const | Clasp::Asp::LogicProgram | [private] |
| transform(const MinimizeRule &, BodyInfo &out) const | Clasp::Asp::LogicProgram | [private] |
| transformExtended() | Clasp::Asp::LogicProgram | [private] |
| transformIntegrity(uint32 maxAux) | Clasp::Asp::LogicProgram | [private] |
| transformNoAux(RuleType t, const BodyInfo &i) const | Clasp::Asp::LogicProgram | [private] |
| type() const | Clasp::ProgramBuilder | [inline] |
| unfreeze(Var atomId) | Clasp::Asp::LogicProgram | |
| unfreeze_begin() const | Clasp::Asp::LogicProgram | [inline] |
| unfreeze_end() const | Clasp::Asp::LogicProgram | [inline] |
| update() | Clasp::Asp::LogicProgram | [inline] |
| update(PrgBody *b, uint32 oldHash, uint32 newHash) | Clasp::Asp::LogicProgram | |
| updateFrozenAtoms() | Clasp::Asp::LogicProgram | [private] |
| updateProgram() | Clasp::ProgramBuilder | |
| upRules(RuleType r, int i) | Clasp::Asp::LogicProgram | [inline] |
| VarIter typedef | Clasp::Asp::LogicProgram | |
| write(std::ostream &os) | Clasp::Asp::LogicProgram | |
| writeBody(const BodyInfo &body, std::ostream &) const | Clasp::Asp::LogicProgram | [private] |
| ~LogicProgram() | Clasp::Asp::LogicProgram | |
| ~ProgramBuilder() | Clasp::ProgramBuilder | [virtual] |