Classes | Typedefs | Enumerations | Functions | Variables
Clasp::Asp Namespace Reference

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 PrgEdgeEdgeIterator
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)
RuleTypeoperator++ (RuleType &x)
uint32 ruleIndex (RuleType x)

Variables

const ValueRep value_weak_true = 3

Typedef Documentation

Definition at line 34 of file logic_program_types.h.

Definition at line 35 of file logic_program_types.h.

Definition at line 36 of file logic_program_types.h.

Definition at line 126 of file logic_program_types.h.

Definition at line 124 of file logic_program_types.h.

Definition at line 127 of file logic_program_types.h.

Definition at line 125 of file logic_program_types.h.


Function Documentation

template<class NT >
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.


Variable Documentation

true but no proof

Definition at line 37 of file logic_program_types.h.



clasp
Author(s): Benjamin Kaufmann
autogenerated on Thu Aug 27 2015 12:41:41