rationals.transformations

Class Pruner

java.lang.Object

rationals.transformations.Pruner

All Implemented Interfaces:

UnaryTransformation

public class Pruner
extends Object
implements UnaryTransformation

Removes states that neither accessible nor coaccessible.

Version:

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

Author:

nono

Constructor Summary

Constructors

Constructor and Description
Pruner()

Method Summary

Modifier and Type	Method and Description
Automaton	transform(Automaton a)

Methods inherited from class java.lang.Object

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

Constructor Detail

Pruner

public Pruner()

Method Detail

transform

public Automaton transform(Automaton a)

Specified by:

transform in interface UnaryTransformation

Parameters:

a - a

Returns:

automatom