HoaPrintable
public final class FrequencySelfProductSlave extends Automaton<FrequencySelfProductSlave.State,AllAcceptance>
Modifier and Type | Class | Description |
---|---|---|
class |
FrequencySelfProductSlave.State |
HoaPrintable.HoaOption
acceptance, factories, initialStates, transitions, variables, vsFactory
Modifier and Type | Method | Description |
---|---|---|
protected void |
toHoaBodyEdge(FrequencySelfProductSlave.State 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
protected void toHoaBodyEdge(FrequencySelfProductSlave.State state, HoaConsumerExtended hoa)
Automaton
state
not present in
Automaton.transitions
.toHoaBodyEdge
in class Automaton<FrequencySelfProductSlave.State,AllAcceptance>