SimulationGame (owl 21.0 API)

java.lang.Object
- owl.automaton.AbstractMemoizingAutomaton<S,A>
- - owl.automaton.AbstractMemoizingAutomaton.EdgeTreeImplementation<T,ParityAcceptance>
  - - 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>, Game<T,ParityAcceptance>, AigPrintable
```
public class SimulationGame<S,T extends SimulationType.SimulationState>
extends AbstractMemoizingAutomaton.EdgeTreeImplementation<T,ParityAcceptance>
implements Game<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 class owl.automaton.AbstractMemoizingAutomaton
  AbstractMemoizingAutomaton.EdgeImplementation<S,A extends EmersonLeiAcceptance>, AbstractMemoizingAutomaton.EdgeMapImplementation<S,A extends EmersonLeiAcceptance>, AbstractMemoizingAutomaton.EdgesImplementation<S,A extends EmersonLeiAcceptance>, AbstractMemoizingAutomaton.EdgeTreeImplementation<S,A extends EmersonLeiAcceptance>, AbstractMemoizingAutomaton.PartitionedEdgeTreeImplementation<A,B,C extends EmersonLeiAcceptance>
- Nested classes/interfaces inherited from interface owl.automaton.Automaton
  Automaton.Property
- Nested classes/interfaces inherited from interface owl.game.Game
  Game.Owner

Field Summary
- Fields inherited from class owl.automaton.AbstractMemoizingAutomaton
  acceptance, atomicPropositions, factory, initialStates

Constructor Summary

Constructors
Constructor Description

SimulationGame(SimulationType<S,T> type)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`BitSet`	`choice(T state, Game.Owner owner)`
`MtBdd<Edge<T>>`	`edgeTreeImpl(T state)`
`Game.Owner`	`owner(T state)`
`String`	`toString()`
`List<String>`	`variables(Game.Owner owner)`

Methods inherited from class owl.automaton.AbstractMemoizingAutomaton
acceptance, atomicPropositions, edge, edgeMap, edges, edges, edgeTree, explorationCompleted, factory, initialState, initialStates, is, memoizingAutomaton, states, successor, successors, successors

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface owl.automaton.Automaton
acceptance, atomicPropositions, edge, edgeMap, edges, edges, edgeTree, factory, initialState, initialStates, is, predecessors, states, successor, successors, successors

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
  - edgeTreeImpl
```
public MtBdd<Edge<T>> edgeTreeImpl(T state)
```
    Specified by:
    
    edgeTreeImpl in class AbstractMemoizingAutomaton<T extends SimulationType.SimulationState,ParityAcceptance>
  - owner
```
public Game.Owner owner(T state)
```
    Specified by:
    
    owner in interface Game<S,T extends SimulationType.SimulationState>
  - variables
```
public List<String> variables(Game.Owner owner)
```
    Specified by:
    
    variables in interface Game<S,T extends SimulationType.SimulationState>
  - choice
```
public BitSet choice(T state,
                     Game.Owner owner)
```
    Specified by:
    
    choice in interface Game<S,T extends SimulationType.SimulationState>
  - toString
```
public String toString()
```
    Overrides:
    
    toString in class Object