logic_program_types.h File Reference

#include <clasp/claspfwd.h>
#include <clasp/literal.h>
#include <functional>

Include dependency graph for logic_program_types.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
struct	Clasp::Asp::RuleTransform::AdaptBuilder
struct	Clasp::Asp::BodyInfo
struct	Clasp::Asp::SccChecker::Call
union	Clasp::Asp::PrgBody::Head
struct	Clasp::Asp::PrgEdge::Node
struct	Clasp::Asp::NonHcfSet
class	Clasp::Asp::PrgAtom
	An atom in a logic program. More...
class	Clasp::Asp::PrgBody
	A (rule) body in a logic program. More...
class	Clasp::Asp::PrgDisj
	The head of a disjunctive rule. More...
struct	Clasp::Asp::PrgEdge
	Supported edge types. More...
class	Clasp::Asp::PrgHead
	A head node of a program-dependency graph. More...
class	Clasp::Asp::PrgNode
struct	Clasp::Asp::RuleTransform::ProgramAdapter
class	Clasp::Asp::Rule
	A rule of a logic program. More...
class	Clasp::Asp::RuleState
	Used during rule simplification. More...
class	Clasp::Asp::RuleTransform
class	Clasp::Asp::SccChecker
struct	Clasp::Asp::PrgBody::SumExtra
Namespaces
namespace	Clasp
namespace	Clasp::Asp
Typedefs
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
Enumerations
enum	Clasp::Asp::RuleType {   Clasp::Asp::ENDRULE = 0, Clasp::Asp::BASICRULE = 1, Clasp::Asp::CONSTRAINTRULE = 2, Clasp::Asp::CHOICERULE = 3,   Clasp::Asp::WEIGHTRULE = 5, Clasp::Asp::OPTIMIZERULE = 6, Clasp::Asp::DISJUNCTIVERULE = 8, Clasp::Asp::NUM_RULE_TYPES = 6 }
	Supported rule-types. More...
Functions
template<class NT >
bool	Clasp::Asp::mergeValue (NT *lhs, NT *rhs)
RuleType &	Clasp::Asp::operator++ (RuleType &x)
uint32	Clasp::Asp::ruleIndex (RuleType x)
Variables
const ValueRep	Clasp::Asp::value_weak_true = 3