Xreate
The Xreate programming language
Namespaces | Functions
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...