xreate::analysis Namespace Reference

The analysis' internal routines. More...

Functions
std::list< std::string >	compile (const Expression &e)
	Compiles Xreate expression into ASP format recognizable by an external ASP solver. More...

Detailed Description

The analysis' internal routines.

Function Documentation

compile()

std::list< std::string > compile

(

const Expression &

e

)

Compiles Xreate expression into ASP format recognizable by an external ASP solver.

Parameters

e	expression

Returns

textual expression's representation in an ASP format.