Class SymbolicAutomaton<A extends EmersonLeiAcceptance>

  • Type Parameters:
    A - the acceptance class

    public abstract class SymbolicAutomaton<A extends EmersonLeiAcceptance>
    extends Object
    An automaton over infinite words.

    This class provides a symbolic automaton representation.