de.uni_due.inf.ti.raven.algorithms

Class BackwardEmptinessCheck

java.lang.Object

de.uni_due.inf.ti.raven.algorithms.BackwardEmptinessCheck

All Implemented Interfaces:

Algorithm, EmptinessCheckAlgorithm

public class BackwardEmptinessCheck
extends Object
implements EmptinessCheckAlgorithm

Checks whether an automaton accepts the empty language.

Author:

Christoph Blume, Laura Steinert

Nested Class Summary

Nested classes/interfaces inherited from interface de.uni_due.inf.ti.raven.algorithms.EmptinessCheckAlgorithm

EmptinessCheckAlgorithm.Implementations

Nested classes/interfaces inherited from interface de.uni_due.inf.ti.raven.algorithms.Algorithm

Algorithm.OrderingType, Algorithm.SearchType

Constructor Summary

Constructors

Constructor and Description
BackwardEmptinessCheck()

Method Summary

Methods

Modifier and Type	Method and Description
boolean	acceptsEmptyLanguage(Automaton automaton) Returns true if and only if the language of the automaton automaton is the empty language.
void	addComputationListener(ComputationListener l) Adds the Computation Listener l to this algorithm.
void	cancelComputation() Cancels the computation of this algorithm.
void	removeComputationListener(ComputationListener l) Removes the Computation Listener l from this algorithm.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

BackwardEmptinessCheck

public BackwardEmptinessCheck()

Method Detail

acceptsEmptyLanguage

public boolean acceptsEmptyLanguage(Automaton automaton)

Description copied from interface: EmptinessCheckAlgorithm

Returns true if and only if the language of the automaton automaton is the empty language.

Specified by:

acceptsEmptyLanguage in interface EmptinessCheckAlgorithm

Parameters:

automaton - the automaton to be checked

Returns:

true if the language of the automaton is the empty language, false otherwise

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

removeComputationListener

public void removeComputationListener(ComputationListener l)

Description copied from interface: Algorithm

Removes the Computation Listener l from this algorithm.

Specified by:

removeComputationListener in interface Algorithm

Parameters:

l - the listener to be removed

cancelComputation

public void cancelComputation()

Description copied from interface: Algorithm

Cancels the computation of this algorithm.

Specified by:

cancelComputation in interface Algorithm