Interpretation support. More...

Classes
class	InterpretationFunction
	Encapsulates interpretation of a single function. More...

class	InterpretationPass
	Provides the interpretation analysis. Determines parts of a program eligible for Interpretation by xreate::interpretation::TargetInterpretation. More...

class	InterpretationScope
	Encapsulates interpretation of a single code scope. More...

class	InterpretationScopeDecorator
	Interpretation-aware Code Scope decorator. More...

class	IntrinsicQueryInstruction
	`intrinsic query` statement More...

struct	PIFSignature
	Signature of a partially interpreted function. More...

class	PIFunction
	Encapsulates partially interpreted function. More...

class	TargetInterpretation
	Encapsulates interpretation process based on analysis results from InterpretationPass. More...

Functions
ExpandedType	dereferenceSlaveType (ExpandedType t, const TranscendLayer *transcend)
	Expands slave type. More...

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...

Detailed Description

Interpretation support.

Function Documentation

ExpandedType dereferenceSlaveType	(	ExpandedType	t,
		const TranscendLayer *	transcend
	)

Expands slave type.

Parameters

t	Slave type
transcend	Instance of Transcend

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.

Parameters

atom	Transcend's fact
schemaT	Type of the resulting expression
transcend	Transcend's instance