Clasp::Asp::RuleTransform Class Reference

#include <logic_program_types.h>

Collaboration diagram for Clasp::Asp::RuleTransform:

Classes
struct	AdaptBuilder
class	Impl
struct	ProgramAdapter

Public Member Functions
	RuleTransform ()
uint32	transform (LogicProgram &prg, Rule &rule)
uint32	transformNoAux (LogicProgram &prg, Rule &rule)
uint32	transform (ProgramAdapter &prg, Rule &rule)
uint32	transformNoAux (ProgramAdapter &prg, Rule &rule)

Static Public Member Functions
static weight_t	prepareRule (Rule &rule, weight_t *sumVec)

Constructor & Destructor Documentation

Clasp::Asp::RuleTransform::RuleTransform

(

)

Member Function Documentation

weight_t Clasp::Asp::RuleTransform::prepareRule ( Rule &  rule, weight_t *  sumVec  )

static

Here is the call graph for this function:

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

inline

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

Here is the call graph for this function:

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

inline

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

Here is the call graph for this function:

---

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

• /Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libclasp/clasp/logic_program_types.h
• /Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libclasp/src/logic_program_types.cpp