analysis Directory Reference

Data structures and providers for analysis step. Everything that depends on Clasp reasoner's API.

More...

Detailed Description

Data structures and providers for analysis step. Everything that depends on Clasp reasoner's API.

Files
file	cfagraph.h
	Control Flow Analysis(CFA) graph representation.
file	dfagraph.h
	Data Flow Analysis(DFA) graph representation.
file	interpretation.h
	Interpretation related functions.
file	temporalseqgraph.h
	Execution Order Graph representation.
file	typeinference.h
	Type inference analysis.
file	utils.h
	Various reasoning related utilities.