Here are the classes, structs, unions and interfaces with brief descriptions:

[detail level 123]

▼NLimi	The main namespace of the library
▼Ninternal	Namespace for internal classes and functions
Cantichain	An Antichain of minimal elements
Cmeta_automaton	This automaton presents an automaton up to an independence relation
Cmeta_state	A state in the meta-automaton
Cantichain_algo	The classic antichain algorithm compares two automata for language inclusion (no independence relation)
Cantichain_algo_ind	The antichain algorithm compares two automata for language inclusion module an independence relation
Cautomaton	Automata need to inherit from this class and implement certain methods
Ccounterexample_chain	Represents a list of symbols
Cdot_printer	Prints automata in dot format
Cinclusion_result	The result of the language inclusion test
Cindependence	The template for the independence relation
Clist_automaton	This automaton represents accepts exactly one word
Cno_independence	This class simply states that no symbols are independent
Cprinter	The default implementation of Limi::printer_base
Cprinter_base	The printer base is what custom printers need to inherit from
Ctimbuk_printer	Prints automata in timbuk format