CompiledAutomaton

constructor(automaton: Automaton, finite: Boolean, simplify: Boolean, isBinary: Boolean)


constructor(automaton: Automaton)

Create this, passing simplify=true, so that we try to simplify the automaton.


constructor(automaton: Automaton, finite: Boolean, simplify: Boolean)

Create this. If simplify is true, we run possibly expensive operations to determine if the automaton is one the cases in AUTOMATON_TYPE. Set finite to true if the automaton is finite, otherwise set to false if infinite or you don't know.