Class ForwardDirectSimulation<S>
- java.lang.Object
-
- owl.automaton.algorithm.simulations.ForwardDirectSimulation<S>
-
- Type Parameters:
S- The type of state of the underlying automaton.
- All Implemented Interfaces:
SimulationType<S,SimulationStates.MultipebbleSimulationState<S>>
public class ForwardDirectSimulation<S> extends Object implements SimulationType<S,SimulationStates.MultipebbleSimulationState<S>>
Simulation type for forward-direct multipebble simulation games.
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from interface owl.automaton.algorithm.simulations.SimulationType
SimulationType.SimulationState
-
-
Constructor Summary
Constructors Constructor Description ForwardDirectSimulation(Automaton<S,? extends BuchiAcceptance> leftAutomaton, Automaton<S,? extends BuchiAcceptance> rightAutomaton, S left, S right, int pebbleCount, Set<Pair<S,S>> known)Constructs a simulation game for two given automata and two states.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description ParityAcceptanceacceptance()Set<Edge<SimulationStates.MultipebbleSimulationState<S>>>edges(SimulationStates.MultipebbleSimulationState<S> state)Set<SimulationStates.MultipebbleSimulationState<S>>initialStates()
-
-
-
Constructor Detail
-
ForwardDirectSimulation
public ForwardDirectSimulation(Automaton<S,? extends BuchiAcceptance> leftAutomaton, Automaton<S,? extends BuchiAcceptance> rightAutomaton, S left, S right, int pebbleCount, Set<Pair<S,S>> known)
Constructs a simulation game for two given automata and two states.- Parameters:
leftAutomaton- First input automaton.rightAutomaton- Second input automaton.left- First input state.right- Second input state.pebbleCount- The number of pebbles Duplicator can control.known- The set of state-state pairs already known to be similar.
-
-
Method Detail
-
edges
public Set<Edge<SimulationStates.MultipebbleSimulationState<S>>> edges(SimulationStates.MultipebbleSimulationState<S> state)
- Specified by:
edgesin interfaceSimulationType<S,SimulationStates.MultipebbleSimulationState<S>>
-
acceptance
public ParityAcceptance acceptance()
- Specified by:
acceptancein interfaceSimulationType<S,SimulationStates.MultipebbleSimulationState<S>>
-
initialStates
public Set<SimulationStates.MultipebbleSimulationState<S>> initialStates()
- Specified by:
initialStatesin interfaceSimulationType<S,SimulationStates.MultipebbleSimulationState<S>>
-
-