HoaPrintable
public final class MasterAutomaton extends Automaton<MasterAutomaton.MasterState,AllAcceptance>
Modifier and Type | Class | Description |
---|---|---|
static class |
MasterAutomaton.MasterState |
HoaPrintable.HoaOption
acceptance, factories, initialStates, transitions, variables, vsFactory
Constructor | Description |
---|---|
MasterAutomaton(Formula formula,
Factories factories,
java.util.Collection<Optimisation> optimisations) |
Modifier and Type | Method | Description |
---|---|---|
protected void |
toHoaBodyEdge(MasterAutomaton.MasterState state,
HoaConsumerExtended hoa) |
Override this method, if you want output additional edges for
state not present in
Automaton.transitions . |
generate, getAcceptance, getInitialState, getInitialStates, getStates, getSuccessors, getVariables, setInitialState, size, toHoa, toHoaBody, toString
getName, toHoa
public MasterAutomaton(Formula formula, Factories factories, java.util.Collection<Optimisation> optimisations)
protected void toHoaBodyEdge(MasterAutomaton.MasterState state, HoaConsumerExtended hoa)
Automaton
state
not present in
Automaton.transitions
.toHoaBodyEdge
in class Automaton<MasterAutomaton.MasterState,AllAcceptance>