SimulationStates.MultipebbleSimulationState (owl 21.0 API)

java.lang.Object
- owl.automaton.algorithm.simulations.SimulationType.SimulationState
- - owl.automaton.algorithm.simulations.SimulationStates.MultipebbleSimulationState<S>

Type Parameters:

S - Type of state for the underlying automaton.

Enclosing class:

SimulationStates
```
public abstract static class SimulationStates.MultipebbleSimulationState<S>
extends SimulationType.SimulationState
```
Holds all information necessary to implement forward multipebble simulations. It contains a pebble controlled by Spoiler, a multipebble (i.e. a collection of pebbles) controlled by Duplicator as well as a valuation chosen by Spoiler.

Constructor Summary

Constructors
Constructor Description

MultipebbleSimulationState()

Method Summary

All Methods Instance Methods Abstract Methods Concrete Methods
Modifier and Type	Method	Description
`abstract MultiPebble<S>`	`even()`
`abstract Pebble<S>`	`odd()`
`String`	`toString()`
`abstract int`	`valuation()`

Methods inherited from class owl.automaton.algorithm.simulations.SimulationType.SimulationState
owner

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

Constructor Detail
- MultipebbleSimulationState
```
public MultipebbleSimulationState()
```

Method Detail

odd
```
public abstract Pebble<S> odd()
```

even
```
public abstract MultiPebble<S> even()
```

valuation
```
public abstract int valuation()
```

toString
```
public String toString()
```
Overrides:

toString in class Object