|
TuringSim
C++ framework to simulate abstract computing models
|
The namespace of machine runners. More...
Classes | |
| class | AlternatingTree |
| Represent a tree of properties with alternating quantifiers. More... | |
| class | DeterministicMachineRunner |
| A class to run a simulate the execution of a deterministic Machine. More... | |
| class | DeterministicMachineRunner< MachineType_, ListenerType_, std::tuple< Args... > > |
| A class to run a simulate the execution of a deterministic Machine. More... | |
| class | MachineRunner |
| A class to run a simulate the execution of a Machine. More... | |
| class | MachineRunner< MachineType_, void > |
| The specialization of TuringSim::Runner::MachineRunner that does not use a listener. More... | |
| class | MachineRunner_accepting_impl |
| Internal class to add a "void accept()" member for accepting machines. More... | |
| class | MachineRunner_accepting_impl< MachineType_, std::enable_if_t< MachineType_::IsAccepting::value > > |
| Specialization for accepting machines. More... | |
| class | MachineRunner_accepting_impl< MachineType_, std::enable_if_t<!MachineType_::IsAccepting::value > > |
| Specialization for non-accepting machines. More... | |
| class | MachineRunnerArgs |
| Provides types to use in constructors for generic versions. More... | |
| struct | MachineRunnerArgs< MachineType, void > |
| Provides types to use in constructors for generic versions. More... | |
| class | MaybeEpsilonFiniteStateMachineRunner |
| A class to run a simulate the execution of a MaybeEpsilonFiniteStateMachine. More... | |
| class | MaybeEpsilonFiniteStateMachineRunner< MachineType_, ListenerType_, std::tuple< ListenerConstructorArgs... > > |
| A class to run a simulate the execution of a MaybeEpsilonFiniteStateMachine. More... | |
| class | NonDeterministicMachineRunner |
| A class to run a simulate the execution of a non-deterministic Machine. More... | |
| class | NonDeterministicMachineRunner< MachineType_, ListenerType_, std::tuple< ListenerConstructorArgs... > > |
| A class to run a simulate the execution of a non-deterministic Machine. More... | |
| class | NonDeterministicSimpleFiniteStateMachineRunner |
| A class to run a simulate the execution of a NonDeterministicSimpleFiniteStateMachine. More... | |
| class | NonDeterministicSimpleFiniteStateMachineRunner< MachineType_, ListenerType_, std::tuple< ListenerConstructorArgs... > > |
| A class to run a simulate the execution of a NonDeterministicSimpleFiniteStateMachine. More... | |
The namespace of machine runners.