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.