Classes
struct	AdaptBuilder
class	Impl
struct	ProgramAdapter
Public Member Functions
	RuleTransform ()
uint32	transform (LogicProgram &prg, Rule &rule)
uint32	transform (ProgramAdapter &prg, Rule &rule)
uint32	transformNoAux (LogicProgram &prg, Rule &rule)
uint32	transformNoAux (ProgramAdapter &prg, Rule &rule)
Static Public Member Functions
static weight_t	prepareRule (Rule &rule, weight_t *sumVec)
Private Member Functions
RuleTransform &	operator= (const RuleTransform &)
	RuleTransform (const RuleTransform &)
uint32	transformChoiceRule (ProgramAdapter &prg, Rule &rule) const
uint32	transformDisjunctiveRule (ProgramAdapter &prg, Rule &rule) const

Detailed Description

Definition at line 192 of file logic_program_types.h.

Constructor & Destructor Documentation

Clasp::Asp::RuleTransform::RuleTransform ( )

Definition at line 132 of file logic_program_types.cpp.

Clasp::Asp::RuleTransform::RuleTransform ( const RuleTransform & ) [private]

RuleTransform& Clasp::Asp::RuleTransform::operator= ( const RuleTransform & ) [private]

weight_t Clasp::Asp::RuleTransform::prepareRule	(	Rule &	rule,
		weight_t *	sumVec
	)		`[static]`

Definition at line 243 of file logic_program_types.cpp.

uint32 Clasp::Asp::RuleTransform::transform	(	LogicProgram &	prg,
		Rule &	rule
	)		`[inline]`

Definition at line 206 of file logic_program_types.h.

uint32 Clasp::Asp::RuleTransform::transform	(	ProgramAdapter &	prg,
		Rule &	rule
	)

Definition at line 134 of file logic_program_types.cpp.

uint32 Clasp::Asp::RuleTransform::transformChoiceRule	(	ProgramAdapter &	prg,
		Rule &	rule
	)		const `[private]`

Definition at line 325 of file logic_program_types.cpp.

uint32 Clasp::Asp::RuleTransform::transformDisjunctiveRule	(	ProgramAdapter &	prg,
		Rule &	rule
	)		const `[private]`

Definition at line 362 of file logic_program_types.cpp.

uint32 Clasp::Asp::RuleTransform::transformNoAux	(	LogicProgram &	prg,
		Rule &	rule
	)		`[inline]`

Definition at line 210 of file logic_program_types.h.

uint32 Clasp::Asp::RuleTransform::transformNoAux	(	ProgramAdapter &	prg,
		Rule &	rule
	)

Definition at line 274 of file logic_program_types.cpp.

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