otawa::concept Namespace Reference

Classes
class	AbstractDomain
	Concept used to implements AbsIntLite domain. More...
class	BiDiGraph
	Concept of directed graph with predecessor available. More...
class	DiGraph
	This concept attempts to provide a representation of a digraph that may only be traversed in the edge direction. More...
class	DiGraphWithEdgeMap
	Concept of directed graph providing an edge map. More...
class	DiGraphWithEntry
	Directed graph with a unique entry point. More...
class	DiGraphWithExit
	Directed graph with a unique entry and exit points. More...
class	DiGraphWithIndexedVertex
	This kind of digraph contain indexed graph. More...
class	DiGraphWithLoop
	A digraph that supports loop identification. More...
class	DiGraphWithVertexMap
	Concept of directed graph providing a vertex map. More...
class	InstBlock
	An iterable block of instruction. More...
class	IterativeDFAProblem
	Concept used to implements IterativeDFA problems. More...