rationals.transformations

Class Complement

java.lang.Object

rationals.transformations.Complement

All Implemented Interfaces:

UnaryTransformation

public class Complement
extends Object
implements UnaryTransformation

A transformation that computes the complement of an automaton.

This transformation computes the complement of an automaton: Terminal states are inverted and missing transitions are added.

Version:

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

Author:

nono

Constructor Summary

Constructors

Constructor and Description
Complement()

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

Complement

public Complement()

Method Detail

transform

public Automaton transform(Automaton a)

Specified by:

transform in interface UnaryTransformation

Parameters:

a - a

Returns:

automatom