utils.h File Reference

Various reasoning related utilities. More...

Detailed Description

Various reasoning related utilities.

Namespaces
	xreate::analysis
	The analysis' internal routines.

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