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
	A node of a program-dependency graph. More...
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 PrgEdge::EdgeType	EdgeType
typedef PrgEdge::NodeType	NodeType
typedef const PrgEdge *	EdgeIterator
typedef bk_lib::pod_vector < PrgEdge >	EdgeVec

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
uint32	ruleIndex (RuleType x)
RuleType &	operator++ (RuleType &x)
template<class NT >
bool	mergeValue (NT *lhs, NT *rhs)

Variables
const ValueRep	value_weak_true = 3

Typedef Documentation

typedef PodVector<PrgAtom*>::type Clasp::Asp::AtomList

typedef PodVector<PrgBody*>::type Clasp::Asp::BodyList

typedef PodVector<PrgDisj*>::type Clasp::Asp::DisjList

typedef const PrgEdge* Clasp::Asp::EdgeIterator

typedef PrgEdge::EdgeType Clasp::Asp::EdgeType

typedef bk_lib::pod_vector<PrgEdge> Clasp::Asp::EdgeVec

typedef PrgEdge::NodeType Clasp::Asp::NodeType

Function Documentation

template<class NT >

bool Clasp::Asp::mergeValue	(	NT *	lhs,
		NT *	rhs
	)

RuleType& Clasp::Asp::operator++ ( RuleType &  x )

inline

uint32 Clasp::Asp::ruleIndex ( RuleType  x )

inline

Variable Documentation

const ValueRep Clasp::Asp::value_weak_true = 3

true but no proof