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: 2005/06/28 19:19:10 $

Author:

Martin Plümicke

Constructor Summary

FC_TTO(java.util.Vector fc, java.util.Vector tto)

Method Summary

java.util.Vector	getFC()
java.util.Vector	getTTO()

Methods inherited from class java.lang.Object

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

Constructor Detail

FC_TTO

public FC_TTO(java.util.Vector fc,
              java.util.Vector tto)

Method Detail

getFC

public java.util.Vector getFC()

getTTO

public java.util.Vector getTTO()