Class SimulationGame<S,T extends SimulationType.SimulationState<S>>
- java.lang.Object
-
- owl.automaton.algorithm.simulations.SimulationGame<S,T>
-
- Type Parameters:
S
- Type of state in the underlying automata.T
- Type of simulation state that is used.
- All Implemented Interfaces:
Automaton<T,ParityAcceptance>
,EdgeMapAutomatonMixin<T,ParityAcceptance>
,Game<T,ParityAcceptance>
,AigPrintable
public class SimulationGame<S,T extends SimulationType.SimulationState<S>> extends Object implements Game<T,ParityAcceptance>, EdgeMapAutomatonMixin<T,ParityAcceptance>
Wrapper class that takes a simulationType and constructs the actual game itself based on the state and transition function defined within the concrete simulationType.
-
-
Nested Class Summary
-
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>
-
Nested classes/interfaces inherited from interface owl.game.Game
Game.Owner
-
-
Field Summary
-
Fields inherited from interface owl.automaton.EdgeMapAutomatonMixin
ACCESS_MODES
-
-
Constructor Summary
Constructors Constructor Description SimulationGame(SimulationType<S,T> type)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description ParityAcceptance
acceptance()
Returns the acceptance condition of this automaton.BitSet
choice(T state, Game.Owner owner)
Map<Edge<T>,ValuationSet>
edgeMap(T state)
Returns a mapping from all outgoing edges to their valuations of the specifiedstate
.ValuationSetFactory
factory()
Returns the backing engine for the symbolic representation of edges.Set<T>
initialStates()
Returns the set of initial states, which can potentially be empty.Game.Owner
owner(T state)
Set<T>
states()
The set of all from the initial states reachable states in this automaton.String
toString()
List<String>
variables(Game.Owner owner)
-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
-
Methods inherited from interface owl.automaton.Automaton
accept, accept, accept, accept, edge, is, name, onlyInitialState, predecessors, size, successor, successors, successors
-
Methods inherited from interface owl.automaton.EdgeMapAutomatonMixin
edges, edges, edgeTree, preferredEdgeAccess
-
Methods inherited from interface owl.game.Game
feedTo, getAttractor, getAttractorFixpoint, predecessors, predecessors, predecessors, states, successors, successors, successors
-
-
-
-
Constructor Detail
-
SimulationGame
public SimulationGame(SimulationType<S,T> type)
-
-
Method Detail
-
edgeMap
public Map<Edge<T>,ValuationSet> edgeMap(T state)
Description copied from interface:Automaton
Returns a mapping from all outgoing edges to their valuations of the specifiedstate
.
-
states
public Set<T> states()
Description copied from interface:Automaton
The set of all from the initial states reachable states in this automaton.
-
owner
public Game.Owner owner(T state)
-
acceptance
public ParityAcceptance acceptance()
Description copied from interface:Automaton
Returns the acceptance condition of this automaton.- Specified by:
acceptance
in interfaceAutomaton<S,T extends SimulationType.SimulationState<S>>
- Returns:
- The acceptance.
-
variables
public List<String> variables(Game.Owner owner)
-
factory
public ValuationSetFactory factory()
Description copied from interface:Automaton
Returns the backing engine for the symbolic representation of edges. Only this engine might be used for the access to edges.
-
initialStates
public Set<T> initialStates()
Description copied from interface:Automaton
Returns the set of initial states, which can potentially be empty.- Specified by:
initialStates
in interfaceAutomaton<S,T extends SimulationType.SimulationState<S>>
- Returns:
- The set of initial states.
-
choice
public BitSet choice(T state, Game.Owner owner)
-
-