rationals.properties

Class ContainsEpsilon

java.lang.Object

rationals.properties.ContainsEpsilon

All Implemented Interfaces:

UnaryTest

public class ContainsEpsilon
extends Object
implements UnaryTest

Checks whether an automaton recognizes the empty word. This test assumes that the tested automaton does not contain epsilon (ie. null) transitions.

Version:

$Id: ContainsEpsilon.java 2 2006-08-24 14:41:48Z oqube $

Author:

nono

Constructor Summary

Constructors

Constructor and Description
ContainsEpsilon()

Method Summary

Modifier and Type	Method and Description
boolean	test(Automaton a)

Methods inherited from class java.lang.Object

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

Constructor Detail

ContainsEpsilon

public ContainsEpsilon()

Method Detail

test

public boolean test(Automaton a)

Specified by:

test in interface UnaryTest

Parameters:

a - a

Returns:

true if test passes