Package owl.game
Interface Game<S,A extends EmersonLeiAcceptance>
-
- All Superinterfaces:
AigPrintable,Automaton<S,A>
- All Known Implementing Classes:
SimulationGame
public interface Game<S,A extends EmersonLeiAcceptance> 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.Property
-
-
Method Summary
All Methods Instance Methods Abstract Methods Default Methods Modifier and Type Method Description BitSetchoice(S state, Game.Owner owner)default voidfeedTo(AigConsumer consumer)default Set<S>getAttractor(Collection<S> states, Game.Owner owner)default Set<S>getAttractorFixpoint(Collection<S> states, Game.Owner owner)Game.Ownerowner(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
acceptance, atomicPropositions, edge, edgeMap, edges, edges, edgeTree, factory, initialState, initialStates, is, predecessors, 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:
feedToin 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)
-
-