mycompiler.mytypereconstruction

Class CReconstructionTuple

java.lang.Object

mycompiler.mytypereconstruction.CReconstructionTuple

public class CReconstructionTuple
extends java.lang.Object

Container-Klasse f�r Ergebniswerte des Algorithmus TRStart. (siehe Algorithmus 5.18 TRStart, Martin Pl�micke)

Version:

$date

Author:

J�rg B�uerle

Constructor Summary

Constructors

Constructor and Description
CReconstructionTuple()
CReconstructionTuple(CSubstitutionSet subSet, CTypeAssumptionSet assumSet)

Method Summary

Methods

Modifier and Type	Method and Description
CReconstructionTuple	clone()
boolean	equals(java.lang.Object obj)
CTypeAssumptionSet	getAssumSet()
CSubstitutionSet	getSubSet()
void	setAssumSet(CTypeAssumptionSet assumSet)
void	setSubSet(CSubstitutionSet subSet)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

CReconstructionTuple

public CReconstructionTuple()

CReconstructionTuple

public CReconstructionTuple(CSubstitutionSet subSet,
                    CTypeAssumptionSet assumSet)

Method Detail

getAssumSet

public CTypeAssumptionSet getAssumSet()

setAssumSet

public void setAssumSet(CTypeAssumptionSet assumSet)

getSubSet

public CSubstitutionSet getSubSet()

setSubSet

public void setSubSet(CSubstitutionSet subSet)

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

clone

public CReconstructionTuple clone()

Overrides:

clone in class java.lang.Object