TuringSim
C++ framework to simulate abstract computing models
Classes
TuringSim::Runner Namespace Reference

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...
 

Detailed Description

The namespace of machine runners.