Limi
Namespaces | Classes | Functions
Limi Namespace Reference

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
StateThe type of states
SymbolThe type of symbols
ImplementationThe implementation type of the automaton
Parameters
automatonThe object of the automaton to explore.
Returns
A set of all reachable states.