AigPrintable
, Automaton<S,A>
, HoaPrintable
public interface Game<S,A extends OmegaAcceptance> extends Automaton<S,A>, AigPrintable
Modifier and Type | Interface | Description |
---|---|---|
static class |
Game.Owner |
Automaton.Property
HoaPrintable.HoaOption
Modifier and Type | Method | Description |
---|---|---|
default void |
feedTo(AigConsumer consumer) |
|
default java.util.Set<S> |
getAttractor(java.util.Collection<S> states,
Game.Owner owner) |
|
default java.util.Set<S> |
getAttractorFixpoint(java.util.Collection<S> states,
Game.Owner owner) |
|
java.util.BitSet |
getChoice(S state,
Game.Owner owner) |
|
Game.Owner |
getOwner(S state) |
|
default java.util.Set<S> |
getPredecessors(java.lang.Iterable<S> states) |
|
default java.util.Set<S> |
getPredecessors(java.lang.Iterable<S> state,
Game.Owner owner) |
|
default java.util.Set<S> |
getPredecessors(S state,
Game.Owner owner) |
|
default java.util.Set<S> |
getStates(Game.Owner owner) |
|
default java.util.Set<S> |
getSuccessors(java.lang.Iterable<S> states) |
|
default java.util.Set<S> |
getSuccessors(java.lang.Iterable<S> states,
Game.Owner owner) |
|
default java.util.Set<S> |
getSuccessors(S state,
Game.Owner owner) |
|
java.util.List<java.lang.String> |
getVariables(Game.Owner owner) |
containsState, containsStates, forEachEdge, forEachEdge, forEachLabelledEdge, forEachLabelledEdge, forEachState, getAcceptance, getEdge, getEdges, getEdges, getFactory, getInitialState, getInitialStates, getLabelledEdges, getPredecessors, getStates, getSuccessor, getSuccessorMap, getSuccessors, getSuccessors, getVariables, is, size, toHoa
getName, toHoa
default java.util.Set<S> getAttractor(java.util.Collection<S> states, Game.Owner owner)
default java.util.Set<S> getAttractorFixpoint(java.util.Collection<S> states, Game.Owner owner)
Game.Owner getOwner(S state)
default java.util.Set<S> getStates(Game.Owner owner)
java.util.BitSet getChoice(S state, Game.Owner owner)
default void feedTo(AigConsumer consumer)
feedTo
in interface AigPrintable
default java.util.Set<S> getPredecessors(S state, Game.Owner owner)
default java.util.Set<S> getPredecessors(java.lang.Iterable<S> state, Game.Owner owner)
default java.util.Set<S> getSuccessors(S state, Game.Owner owner)
default java.util.Set<S> getSuccessors(java.lang.Iterable<S> states, Game.Owner owner)
java.util.List<java.lang.String> getVariables(Game.Owner owner)