Clasp::Asp::RuleTransform::Impl Class Reference

List of all members.

Classes
struct	TodoItem
Public Member Functions
	Impl (ProgramAdapter &prg, Rule &r)
uint32	transform ()
	~Impl ()
Private Types
typedef std::deque< TodoItem >	TodoList
Private Member Functions
uint32	addRule (Var head, bool addLit, const TodoItem &aux)
void	createRule (Var head, Literal *bodyFirst, Literal *bodyEnd)
Var	getAuxVar (const TodoItem &i)
	Impl (const Impl &)
bool	isBogusRule () const
bool	isFact () const
Impl &	operator= (const Impl &)
Private Attributes
Var *	aux_
Rule	out_
ProgramAdapter &	prg_
Rule &	rule_
weight_t *	sumW_
TodoList	todo_

---

Detailed Description

Definition at line 95 of file logic_program_types.cpp.

---

Member Typedef Documentation

typedef std::deque<TodoItem> Clasp::Asp::RuleTransform::Impl::TodoList [private]

Definition at line 109 of file logic_program_types.cpp.

---

Constructor & Destructor Documentation

Clasp::Asp::RuleTransform::Impl::Impl	(	ProgramAdapter &	prg,
		Rule &	r
	)

Definition at line 144 of file logic_program_types.cpp.

Clasp::Asp::RuleTransform::Impl::~Impl

(

)

Definition at line 152 of file logic_program_types.cpp.

Clasp::Asp::RuleTransform::Impl::Impl

(

const Impl &

)

[private]

---

Member Function Documentation

uint32 Clasp::Asp::RuleTransform::Impl::addRule	(	Var	head,
		bool	addLit,
		const TodoItem &	aux
	)		[private]

Definition at line 199 of file logic_program_types.cpp.

void Clasp::Asp::RuleTransform::Impl::createRule	(	Var	head,
		Literal *	bodyFirst,
		Literal *	bodyEnd
	)		[private]

Definition at line 232 of file logic_program_types.cpp.

Var Clasp::Asp::RuleTransform::Impl::getAuxVar

(

const TodoItem &

i

)

[inline, private]

Definition at line 114 of file logic_program_types.cpp.

bool Clasp::Asp::RuleTransform::Impl::isBogusRule

(

)

const [inline, private]

Definition at line 110 of file logic_program_types.cpp.

bool Clasp::Asp::RuleTransform::Impl::isFact

(

)

const [inline, private]

Definition at line 111 of file logic_program_types.cpp.

Impl& Clasp::Asp::RuleTransform::Impl::operator=

(

const Impl &

)

[private]

uint32 Clasp::Asp::RuleTransform::Impl::transform

(

)

Definition at line 168 of file logic_program_types.cpp.

---

Member Data Documentation

Var* Clasp::Asp::RuleTransform::Impl::aux_ [private]

Definition at line 128 of file logic_program_types.cpp.

Rule Clasp::Asp::RuleTransform::Impl::out_ [private]

Definition at line 127 of file logic_program_types.cpp.

ProgramAdapter& Clasp::Asp::RuleTransform::Impl::prg_ [private]

Definition at line 125 of file logic_program_types.cpp.

Rule& Clasp::Asp::RuleTransform::Impl::rule_ [private]

Definition at line 126 of file logic_program_types.cpp.

weight_t* Clasp::Asp::RuleTransform::Impl::sumW_ [private]

Definition at line 129 of file logic_program_types.cpp.

TodoList Clasp::Asp::RuleTransform::Impl::todo_ [private]

Definition at line 124 of file logic_program_types.cpp.

---

The documentation for this class was generated from the following file:

• logic_program_types.cpp