Preprocesses (i.e. simplifies) a logic program. More...

Collaboration diagram for Clasp::Asp::Preprocessor:

Public Types
enum	EqType { no_eq, full_eq }
	Possible eq-preprocessing types. More...

Public Member Functions
	Preprocessor ()

const LogicProgram *	program () const

LogicProgram *	program ()

bool	preprocess (LogicProgram &prg, EqType t, uint32 maxIters, bool dfs=true)
	Starts preprocessing of the logic program. More...

bool	eq () const

Var	getRootAtom (Literal p) const

void	setRootAtom (Literal p, uint32 atomId)

Detailed Description

Preprocesses (i.e. simplifies) a logic program.

Preprocesses (i.e. simplifies) a logic program and associates variables with the nodes of the simplified logic program.

Member Enumeration Documentation

Possible eq-preprocessing types.

Enumerator
no_eq	no eq-preprocessing, associate a new var with each supported atom and body
full_eq	check for all kinds of equivalences between atoms and bodies

Clasp::Asp::Preprocessor::Preprocessor ( )

inline

bool Clasp::Asp::Preprocessor::eq ( ) const

inline

Var Clasp::Asp::Preprocessor::getRootAtom ( Literal p ) const

inline

Here is the call graph for this function:

bool Clasp::Asp::Preprocessor::preprocess	(	LogicProgram &	prg,
		EqType	t,
		uint32	maxIters,
		bool	dfs = `true`
	)

inline

Starts preprocessing of the logic program.

Computes the maximum consequences of prg and associates a variable with each supported atom and body.

Parameters

prg	The logic program to preprocess.
t	Type of eq-preprocessing.
maxIters	If t == full_eq, maximal number of iterations during eq preprocessing.
dfs	If t == full_eq, classify in df-order (true) or bf-order (false).

const LogicProgram* Clasp::Asp::Preprocessor::program ( ) const

inline

LogicProgram* Clasp::Asp::Preprocessor::program ( )

inline

void Clasp::Asp::Preprocessor::setRootAtom	(	Literal	p,
		uint32	atomId
	)

inline

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/asp_preprocessor.h
/Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libclasp/src/asp_preprocessor.cpp