HoaPrintable
FrequencySelfProductSlave
, MasterAutomaton
, ProductControllerSynthesis
public abstract class Automaton<S extends AutomatonState<S>,Acc extends OmegaAcceptance> extends java.lang.Object implements HoaPrintable
HoaPrintable.HoaOption
Modifier and Type | Field | Description |
---|---|---|
protected Acc |
acceptance |
|
protected Factories |
factories |
|
protected java.util.Set<S> |
initialStates |
|
protected java.util.Map<S,java.util.Map<Edge<S>,ValuationSet>> |
transitions |
|
protected com.google.common.collect.ImmutableList<java.lang.String> |
variables |
|
protected ValuationSetFactory |
vsFactory |
Modifier | Constructor | Description |
---|---|---|
protected |
Automaton(Acc acceptance,
Factories factories) |
|
protected |
Automaton(Acc acceptance,
Factories factories,
java.util.concurrent.atomic.AtomicInteger integer) |
|
protected |
Automaton(Factories factories,
java.util.Map<S,java.util.Map<Edge<S>,ValuationSet>> transitions,
Acc acceptance) |
Modifier and Type | Method | Description |
---|---|---|
void |
generate() |
|
Acc |
getAcceptance() |
|
S |
getInitialState() |
Returns the initial state if there is a unique one.
|
com.google.common.collect.ImmutableSet<S> |
getInitialStates() |
Returns an immutable copy of the current initial state set.
|
java.util.Set<S> |
getStates() |
|
java.util.Map<Edge<S>,ValuationSet> |
getSuccessors(S state) |
|
com.google.common.collect.ImmutableList<java.lang.String> |
getVariables() |
|
void |
setInitialState(S state) |
Sets the unique initial state set.
|
int |
size() |
|
void |
toHoa(jhoafparser.consumer.HOAConsumer consumer,
java.util.EnumSet<HoaPrintable.HoaOption> options) |
|
void |
toHoaBody(HoaConsumerExtended hoa) |
|
protected abstract void |
toHoaBodyEdge(S state,
HoaConsumerExtended hoa) |
Override this method, if you want output additional edges for
state not present in
transitions . |
java.lang.String |
toString() |
getName, toHoa
protected final Factories factories
protected final java.util.Map<S extends AutomatonState<S>,java.util.Map<Edge<S extends AutomatonState<S>>,ValuationSet>> transitions
protected final ValuationSetFactory vsFactory
protected Acc extends OmegaAcceptance acceptance
protected com.google.common.collect.ImmutableList<java.lang.String> variables
protected java.util.Set<S extends AutomatonState<S>> initialStates
protected Automaton(Acc acceptance, Factories factories, java.util.concurrent.atomic.AtomicInteger integer)
public void generate()
public Acc getAcceptance()
public com.google.common.collect.ImmutableList<java.lang.String> getVariables()
getVariables
in interface HoaPrintable
@Nonnull public S getInitialState()
IllegalStateException
is thrown.java.lang.IllegalStateException
- If there are zero or multiple initial states.@Nonnull public com.google.common.collect.ImmutableSet<S> getInitialStates()
@Nonnull public java.util.Set<S> getStates()
public java.util.Map<Edge<S>,ValuationSet> getSuccessors(S state)
public void setInitialState(S state)
state
- The new initial state.public int size()
public void toHoa(jhoafparser.consumer.HOAConsumer consumer, java.util.EnumSet<HoaPrintable.HoaOption> options)
toHoa
in interface HoaPrintable
public final void toHoaBody(HoaConsumerExtended hoa)
protected abstract void toHoaBodyEdge(S state, HoaConsumerExtended hoa)
state
not present in
transitions
.public java.lang.String toString()
toString
in class java.lang.Object