Package owl.game
Interface Game<S,A extends OmegaAcceptance>
-
- All Superinterfaces:
AigPrintable,Automaton<S,A>
public interface Game<S,A extends OmegaAcceptance> extends Automaton<S,A>, AigPrintable
-
-
Nested Class Summary
Nested Classes Modifier and Type Interface Description static classGame.Owner-
Nested classes/interfaces inherited from interface owl.automaton.Automaton
Automaton.EdgeVisitor<S>, Automaton.HybridVisitor<S>, Automaton.LabelledEdgeVisitor<S>, Automaton.Property, Automaton.Visitor<S>
-
-
Method Summary
All Methods Instance Methods Abstract Methods Default Methods Modifier and Type Method Description default voidfeedTo(AigConsumer consumer)default Set<S>getAttractor(Collection<S> states, Game.Owner owner)default Set<S>getAttractorFixpoint(Collection<S> states, Game.Owner owner)BitSetgetChoice(S state, Game.Owner owner)Game.OwnergetOwner(S state)default Set<S>getPredecessors(Iterable<S> states)default Set<S>getPredecessors(Iterable<S> state, Game.Owner owner)default Set<S>getPredecessors(S state, Game.Owner owner)default Set<S>getStates(Game.Owner owner)default Set<S>getSuccessors(Iterable<S> states)default Set<S>getSuccessors(Iterable<S> states, Game.Owner owner)default Set<S>getSuccessors(S state, Game.Owner owner)List<String>getVariables(Game.Owner owner)-
Methods inherited from interface owl.automaton.Automaton
accept, accept, accept, acceptance, edge, edges, edges, factory, forEachEdge, forEachLabelledEdge, initialStates, is, labelledEdges, name, onlyInitialState, predecessors, prefersLabelled, size, states, successor, successors, successors
-
-
-
-
Method Detail
-
getAttractor
default Set<S> getAttractor(Collection<S> states, Game.Owner owner)
-
getAttractorFixpoint
default Set<S> getAttractorFixpoint(Collection<S> states, Game.Owner owner)
-
getOwner
Game.Owner getOwner(S state)
-
getStates
default Set<S> getStates(Game.Owner owner)
-
getChoice
BitSet getChoice(S state, Game.Owner owner)
-
feedTo
default void feedTo(AigConsumer consumer)
- Specified by:
feedToin interfaceAigPrintable
-
getPredecessors
default Set<S> getPredecessors(S state, Game.Owner owner)
-
getPredecessors
default Set<S> getPredecessors(Iterable<S> state, Game.Owner owner)
-
getSuccessors
default Set<S> getSuccessors(S state, Game.Owner owner)
-
getSuccessors
default Set<S> getSuccessors(Iterable<S> states, Game.Owner owner)
-
getVariables
List<String> getVariables(Game.Owner owner)
-
-