interpretation.h File Reference

Interpretation related functions. More...

Detailed Description

Interpretation related functions.

Namespaces
	xreate::interpretation
	Interpretation support.

Functions
Expression	representTransExpression (const Gringo::Symbol &atom, ExpandedType schemaT, TranscendLayer *transcend)
	Converts a Transcend's fact to a Xreate's expression that can be interpreted further. Supports query keyword. More...
ExpandedType	dereferenceSlaveType (ExpandedType t, const TranscendLayer *transcend)
	Expands slave type. More...