Constructor RunAutomaton
RunAutomaton(Automaton, Int32, Boolean)
Constructs a new RunAutomaton from a deterministic Automaton.
Declaration
public RunAutomaton(Automaton a, int maxInterval, bool tableize)Parameters
| Type | Name | Description |
|---|---|---|
| Automaton | a | An automaton. |
| System.Int32 | maxInterval | |
| System.Boolean | tableize |
