Detailed Description

The class to represent a deterministic amnesic machine.

Template Parameters

StateType	the type of states.
acceptingStyle	whether the machine is alternating, regularly accepting, or not.
AcceptingConstructorArgs	the tuple of parameters related to acceptance.

These template parameters have the same usage as in Machine::AmnesicMachine.

The documentation for this class was generated from the following file: