Automaton<S,A>
, Game<S,A>
, LimitDeterministicAutomaton<S,T,U,V>
, MutableAutomaton<S,A>
Automaton
, CutDeterministicAutomaton
, FrequencySelfProductSlave
, LimitDeterministicAutomatonImpl
, MasterAutomaton
, ProductControllerSynthesis
, StreamingAutomaton
, Views.ForwardingAutomaton
, Views.ForwardingMutableAutomaton
public interface HoaPrintable
Modifier and Type | Interface | Description |
---|---|---|
static class |
HoaPrintable.HoaOption |
Modifier and Type | Method | Description |
---|---|---|
default java.lang.String |
getName() |
|
java.util.List<java.lang.String> |
getVariables() |
|
default void |
toHoa(jhoafparser.consumer.HOAConsumer consumer) |
|
void |
toHoa(jhoafparser.consumer.HOAConsumer consumer,
java.util.EnumSet<HoaPrintable.HoaOption> options) |
@Nullable default java.lang.String getName()
java.util.List<java.lang.String> getVariables()
default void toHoa(jhoafparser.consumer.HOAConsumer consumer)
void toHoa(jhoafparser.consumer.HOAConsumer consumer, java.util.EnumSet<HoaPrintable.HoaOption> options)