de.uni_due.inf.ti.raven.algorithms

Class BackwardSimulationAlgorithm

    • Constructor Detail

      • BackwardSimulationAlgorithm

        public BackwardSimulationAlgorithm()
        Creates a new instance of the default algorithm for computing the simulation order.
    • Method Detail

      • addComputationListener

        public void addComputationListener(ComputationListener l)
        Description copied from interface: Algorithm
        Adds the Computation Listener l to this algorithm.
        Specified by:
        addComputationListener in interface Algorithm
        Parameters:
        l - the listener to receive computation events
      • isSimulatedBy

        public boolean isSimulatedBy(Automaton firstAutomaton,
                            RavenBDD firstStateSet,
                            RavenBDD secondStateSet)
        Description copied from interface: SimulationAlgorithm
        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.
        Specified by:
        isSimulatedBy in interface SimulationAlgorithm
        Parameters:
        firstAutomaton - the automaton
        firstStateSet - the set of states to be simulated
        secondStateSet - the set of states simulate
        Returns:
        true if the first state set is simulated by the second state set, false otherwise
      • isSimulatedBy

        public boolean isSimulatedBy(Automaton firstAutomaton,
                            Automaton secondAutomaton,
                            RavenBDD firstStateSet,
                            RavenBDD secondStateSet)
        Description copied from interface: SimulationAlgorithm
        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.
        Specified by:
        isSimulatedBy in interface SimulationAlgorithm
        Parameters:
        firstAutomaton - the first automaton
        secondAutomaton - the second automaton
        firstStateSet - the set of states to be simulated
        secondStateSet - the set of states simulate
        Returns:
        true if the first state set is simulated by the second state set, false otherwise
      • getSimulation

        public RavenBDD getSimulation(Automaton automaton)
        Description copied from interface: SimulationAlgorithm
        Returns the simulation relation on the states of the automaton automaton.
        Specified by:
        getSimulation in interface SimulationAlgorithm
        Parameters:
        automaton - the automaton
        Returns:
        the simulation relation for the given automaton
      • getSimulation

        public RavenBDD getSimulation(Automaton firstAutomaton,
                             Automaton secondAutomaton)
        Description copied from interface: SimulationAlgorithm
        Returns the simulation relation on the states of the automata firstAutomaton and secondAutomaton.
        Specified by:
        getSimulation in interface SimulationAlgorithm
        Parameters:
        firstAutomaton - the first automaton
        secondAutomaton - the second automaton
        Returns:
        the simulation relation for the given automata
      • cancelComputation

        public void cancelComputation()
        Description copied from interface: Algorithm
        Cancels the computation of this algorithm.
        Specified by:
        cancelComputation in interface Algorithm