Transcend reasoning implementation. More...

Detailed Description

Transcend reasoning implementation.

Classes
class	IAnalysisReport
	Supplies TranscendLayer with results of an analysis. More...

class	IQuery
	Transcend solutions querying interface. More...

class	TranscendLayer
	Logic reasoning implementation. Internally, it's a proxy to the external ASP solver Clasp More...

Namespaces
	xreate::dfa
	The DFA(Data Flow Analysis) related functionality.

	xreate::cfa
	The CFA(Control Flow Analysis) related functionality.

Classes