Package owl.game
Interface Game<S,A extends OmegaAcceptance>
-
- All Superinterfaces:
AigPrintable
,Automaton<S,A>
- All Known Implementing Classes:
SimulationGame
public interface Game<S,A extends OmegaAcceptance> extends Automaton<S,A>, AigPrintable
-
-
Nested Class Summary
Nested Classes Modifier and Type Interface Description static class
Game.Owner
-
Nested classes/interfaces inherited from interface owl.automaton.Automaton
Automaton.EdgeMapVisitor<S>, Automaton.EdgeTreeVisitor<S>, Automaton.EdgeVisitor<S>, Automaton.PreferredEdgeAccess, Automaton.Property, Automaton.Visitor<S>
-
-
Method Summary
All Methods Instance Methods Abstract Methods Default Methods Modifier and Type Method Description BitSet
choice(S state, Game.Owner owner)
default void
feedTo(AigConsumer consumer)
default Set<S>
getAttractor(Collection<S> states, Game.Owner owner)
default Set<S>
getAttractorFixpoint(Collection<S> states, Game.Owner owner)
Game.Owner
owner(S state)
default Set<S>
predecessors(Iterable<S> states)
default Set<S>
predecessors(Iterable<S> state, Game.Owner owner)
default Set<S>
predecessors(S state, Game.Owner owner)
default Set<S>
states(Game.Owner owner)
default Set<S>
successors(Iterable<S> states)
default Set<S>
successors(Iterable<S> states, Game.Owner owner)
default Set<S>
successors(S state, Game.Owner owner)
List<String>
variables(Game.Owner owner)
-
Methods inherited from interface owl.automaton.Automaton
accept, accept, accept, accept, acceptance, edge, edgeMap, edges, edges, edgeTree, factory, initialStates, is, name, onlyInitialState, predecessors, preferredEdgeAccess, 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)
-
owner
Game.Owner owner(S state)
-
states
default Set<S> states(Game.Owner owner)
-
choice
BitSet choice(S state, Game.Owner owner)
-
feedTo
default void feedTo(AigConsumer consumer)
- Specified by:
feedTo
in interfaceAigPrintable
-
predecessors
default Set<S> predecessors(S state, Game.Owner owner)
-
predecessors
default Set<S> predecessors(Iterable<S> state, Game.Owner owner)
-
successors
default Set<S> successors(S state, Game.Owner owner)
-
successors
default Set<S> successors(Iterable<S> states, Game.Owner owner)
-
variables
List<String> variables(Game.Owner owner)
-
-