rationals.transformations

Class Union

java.lang.Object

rationals.transformations.Union

All Implemented Interfaces:

BinaryTransformation

public class Union
extends Object
implements BinaryTransformation

Compute the union of two automaton.

• C = A + B
• S(C) = S(A) U S(B)
• S0(C) = S0(A) U SO(B)
• T(C) = T(A) U T(B)
• D(C) = D(A) U D(B)

Version:

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

Author:

nono

Constructor Summary

Constructors

Constructor and Description
Union()

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

Union

public Union()

Method Detail

transform

public Automaton transform(Automaton a,
                           Automaton b)

Specified by:

transform in interface BinaryTransformation

Parameters:

a - a

b - b

Returns:

transformed automaton