Classes | |
| struct | BodyInfo |
| class | LogicProgram |
| A class for defining a logic program. More... | |
| class | LpStats |
| Program statistics for *one* incremental step. More... | |
| struct | NonHcfSet |
| class | Preprocessor |
| Preprocesses (i.e. simplifies) a logic program. More... | |
| class | PrgAtom |
| An atom in a logic program. More... | |
| class | PrgBody |
| A (rule) body in a logic program. More... | |
| class | PrgDisj |
| The head of a disjunctive rule. More... | |
| struct | PrgEdge |
| Supported edge types. More... | |
| class | PrgHead |
| A head node of a program-dependency graph. More... | |
| class | PrgNode |
| class | RedefinitionError |
| Exception type for signaling an invalid incremental program update. More... | |
| class | Rule |
| A rule of a logic program. More... | |
| class | RuleState |
| Used during rule simplification. More... | |
| class | RuleTransform |
| class | SccChecker |
Typedefs | |
| typedef PodVector< PrgAtom * > ::type | AtomList |
| typedef PodVector< PrgBody * > ::type | BodyList |
| typedef PodVector< PrgDisj * > ::type | DisjList |
| typedef const PrgEdge * | EdgeIterator |
| typedef PrgEdge::EdgeType | EdgeType |
| typedef bk_lib::pod_vector < PrgEdge > | EdgeVec |
| typedef PrgEdge::NodeType | NodeType |
Enumerations | |
| enum | RuleType { ENDRULE = 0, BASICRULE = 1, CONSTRAINTRULE = 2, CHOICERULE = 3, WEIGHTRULE = 5, OPTIMIZERULE = 6, DISJUNCTIVERULE = 8, NUM_RULE_TYPES = 6 } |
| Supported rule-types. More... | |
Functions | |
| template<class NT > | |
| bool | mergeValue (NT *lhs, NT *rhs) |
| RuleType & | operator++ (RuleType &x) |
| uint32 | ruleIndex (RuleType x) |
Variables | |
| const ValueRep | value_weak_true = 3 |
| typedef PodVector<PrgAtom*>::type Clasp::Asp::AtomList |
Definition at line 34 of file logic_program_types.h.
| typedef PodVector<PrgBody*>::type Clasp::Asp::BodyList |
Definition at line 35 of file logic_program_types.h.
| typedef PodVector<PrgDisj*>::type Clasp::Asp::DisjList |
Definition at line 36 of file logic_program_types.h.
| typedef const PrgEdge* Clasp::Asp::EdgeIterator |
Definition at line 126 of file logic_program_types.h.
Definition at line 124 of file logic_program_types.h.
| typedef bk_lib::pod_vector<PrgEdge> Clasp::Asp::EdgeVec |
Definition at line 127 of file logic_program_types.h.
Definition at line 125 of file logic_program_types.h.
| bool Clasp::Asp::mergeValue | ( | NT * | lhs, |
| NT * | rhs | ||
| ) |
Definition at line 664 of file logic_program_types.h.
| RuleType& Clasp::Asp::operator++ | ( | RuleType & | x | ) | [inline] |
Definition at line 64 of file logic_program_types.h.
| uint32 Clasp::Asp::ruleIndex | ( | RuleType | x | ) | [inline] |
Definition at line 53 of file logic_program_types.h.
| const ValueRep Clasp::Asp::value_weak_true = 3 |
true but no proof
Definition at line 37 of file logic_program_types.h.