Limi::internal Namespace Reference

Namespace for internal classes and functions. More...

Classes
class	antichain
	An Antichain of minimal elements. More...
class	meta_automaton
	This automaton presents an automaton up to an independence relation. More...
struct	meta_state
	A state in the meta-automaton. More...

Detailed Description

Namespace for internal classes and functions.

These functions are generally not relevant to the users of the library.