Labelled directed acyclic graphs. More...

Classes
class	halcheck::lib::dag< T >
	Directed acyclic graphs with labelled nodes. More...

Detailed Description

Labelled directed acyclic graphs.

Classes