mycompiler.mytypereconstruction.unify

Class MUB

java.lang.Object

mycompiler.mytypereconstruction.unify.MUB

public class MUB
extends java.lang.Object

Method Summary

Methods

Modifier and Type	Method and Description
java.util.Vector<? extends Type>	getMub()
java.util.Vector<Pair>	getUnifier()

Methods inherited from class java.lang.Object

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

Method Detail

getUnifier

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

getMub

public java.util.Vector<? extends Type> getMub()