The main namespace of the library. More...

Namespaces
	internal
	Namespace for internal classes and functions.

Classes
class	antichain_algo
	The classic antichain algorithm compares two automata for language inclusion (no independence relation) More...

class	antichain_algo_ind
	The antichain algorithm compares two automata for language inclusion module an independence relation. More...

class	automaton
	Automata need to inherit from this class and implement certain methods. More...

struct	counterexample_chain
	Represents a list of symbols. More...

class	dot_printer
	Prints automata in dot format. More...

struct	inclusion_result
	The result of the language inclusion test. More...

struct	independence
	The template for the independence relation. More...

class	list_automaton
	This automaton represents accepts exactly one word. More...

struct	no_independence
	This class simply states that no symbols are independent. More...

struct	printer
	The default implementation of Limi::printer_base. More...

struct	printer< std::shared_ptr< Limi::internal::meta_state< InnerStateB, Symbol, Independence > > >

struct	printer_base
	The printer base is what custom printers need to inherit from. More...

class	timbuk_printer
	Prints automata in timbuk format. More...

Functions
template<class State , class Symbol , class Implementation >
std::unordered_set< State >	explore (const automaton< State, Symbol, Implementation > &automaton)
	This function fully explores an automaton and returns a set of all reachable states. More...

Detailed Description

The main namespace of the library.

Function Documentation

template<class State , class Symbol , class Implementation >

std::unordered_set<State> Limi::explore ( const automaton< State, Symbol, Implementation > & automaton )

This function fully explores an automaton and returns a set of all reachable states.

Template Parameters

State	The type of states
Symbol	The type of symbols
Implementation	The implementation type of the automaton

Parameters

automaton The object of the automaton to explore.