mycompiler.mytypereconstruction.unify

Class FC_TTO

java.lang.Object

mycompiler.mytypereconstruction.unify.FC_TTO

public class FC_TTO
extends java.lang.Object

Hilfsklasse f�r den Unifizierungsalgorithmus

Version:

$Date: 2013/09/22 20:12:50 $

Author:

Martin Pl�micke

Constructor Summary

Constructors

Constructor and Description
FC_TTO(java.util.Vector<Pair> fc, java.util.Vector tto, java.util.Vector<Class> classv)

Method Summary

Methods

Modifier and Type	Method and Description
java.util.Vector<Class>	getClasses()
java.util.Vector<Pair>	getFC()
java.util.Vector	getTTO()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

FC_TTO

public FC_TTO(java.util.Vector<Pair> fc,
      java.util.Vector tto,
      java.util.Vector<Class> classv)

Method Detail

getFC

public java.util.Vector<Pair> getFC()

getTTO

public java.util.Vector getTTO()

getClasses

public java.util.Vector<Class> getClasses()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object