public interface SimulationAlgorithm extends Algorithm
Modifier and Type | Interface and Description |
---|---|
static class |
SimulationAlgorithm.Implementations
An enumeration of implementations of this algorithm.
|
Algorithm.OrderingType, Algorithm.SearchType
Modifier and Type | Field and Description |
---|---|
static String |
SIMULATION_ITERATION_STEP
Simulation Iteration Step Counter String Literal
|
Modifier and Type | Method and Description |
---|---|
RavenBDD |
getSimulation(Automaton automaton)
Returns the simulation relation on the states of the automaton
automaton . |
RavenBDD |
getSimulation(Automaton firstAutomaton,
Automaton secondAutomaton)
Returns the simulation relation on the states of the automata
firstAutomaton
and secondAutomaton . |
boolean |
isSimulatedBy(Automaton firstAutomaton,
Automaton secondAutomaton,
RavenBDD firstStateSet,
RavenBDD secondStateSet)
Returns
true if and only if the state set firstStateSet of the first
automaton firstAutomaton is simulated by the state set secondStateSet
of the second automaton secondAutomaton . |
boolean |
isSimulatedBy(Automaton automaton,
RavenBDD firstStateSet,
RavenBDD secondStateSet)
Returns
true if and only if the state set firstStateSet of the automaton
automaton is simulated by the second state set secondStateSet of the
automaton automaton . |
addComputationListener, cancelComputation, removeComputationListener
static final String SIMULATION_ITERATION_STEP
boolean isSimulatedBy(Automaton automaton, RavenBDD firstStateSet, RavenBDD secondStateSet)
true
if and only if the state set firstStateSet
of the automaton
automaton
is simulated by the second state set secondStateSet
of the
automaton automaton
.automaton
- the automatonfirstStateSet
- the set of states to be simulatedsecondStateSet
- the set of states simulatetrue
if the first state set is simulated by the second state set,
false
otherwiseboolean isSimulatedBy(Automaton firstAutomaton, Automaton secondAutomaton, RavenBDD firstStateSet, RavenBDD secondStateSet)
true
if and only if the state set firstStateSet
of the first
automaton firstAutomaton
is simulated by the state set secondStateSet
of the second automaton secondAutomaton
.firstAutomaton
- the first automatonsecondAutomaton
- the second automatonfirstStateSet
- the set of states to be simulatedsecondStateSet
- the set of states simulatetrue
if the first state set is simulated by the second state set,
false
otherwiseRavenBDD getSimulation(Automaton automaton)
automaton
.automaton
- the automatonRavenBDD getSimulation(Automaton firstAutomaton, Automaton secondAutomaton)
firstAutomaton
and secondAutomaton
.firstAutomaton
- the first automatonsecondAutomaton
- the second automaton