mycompiler.mytypereconstruction

Class CMultiplyTuple

java.lang.Object

mycompiler.mytypereconstruction.CMultiplyTuple

public class CMultiplyTuple
extends java.lang.Object

Container-Klasse f�r Ergebniswerte der Algorithmen TRTuple und TRMultiply. (siehe Algorithmen 5.28 ff, Martin Pl�micke)

Version:

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

Author:

J�rg B�uerle

Constructor Summary

Constructors

Constructor and Description
CMultiplyTuple() Author: J�rg B�uerle
CMultiplyTuple(CSubstitutionSet substitutions, java.util.Vector<Type> resultTypes, CTypeAssumptionSet assumptionSet)

Method Summary

Methods

Modifier and Type	Method and Description
CMultiplyTuple	clone()
boolean	equals(java.lang.Object obj)
CTypeAssumptionSet	getAssumptionSet() Author: J�rg B�uerle
java.util.Iterator<Type>	getResultTypeIterator()
java.util.Vector<Type>	getResultTypes() Author: J�rg B�uerle
CSubstitutionSet	getSubstitutions() Author: J�rg B�uerle
void	setAssumptionSet(CTypeAssumptionSet assumptionSet) Author: J�rg B�uerle
void	setResultTypes(java.util.Vector<Type> resultTypes) Author: J�rg B�uerle
void	setSubstitutions(CSubstitutionSet substitutions) Author: J�rg B�uerle
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

CMultiplyTuple

public CMultiplyTuple()

Author: J�rg B�uerle

CMultiplyTuple

public CMultiplyTuple(CSubstitutionSet substitutions,
              java.util.Vector<Type> resultTypes,
              CTypeAssumptionSet assumptionSet)

Method Detail

getAssumptionSet

public CTypeAssumptionSet getAssumptionSet()

Author: J�rg B�uerle

Returns:

Returns the AssumptionSet.

setAssumptionSet

public void setAssumptionSet(CTypeAssumptionSet assumptionSet)

Author: J�rg B�uerle

Parameters:

assumptionSet - The AssumptionSet to set.

getResultTypes

public java.util.Vector<Type> getResultTypes()

Author: J�rg B�uerle

Returns:

Returns the ResultTypes.

getResultTypeIterator

public java.util.Iterator<Type> getResultTypeIterator()

setResultTypes

public void setResultTypes(java.util.Vector<Type> resultTypes)

Author: J�rg B�uerle

Parameters:

resultType - The ResultType to set.

getSubstitutions

public CSubstitutionSet getSubstitutions()

Author: J�rg B�uerle

Returns:

Returns the Substitutions.

setSubstitutions

public void setSubstitutions(CSubstitutionSet substitutions)

Author: J�rg B�uerle

Parameters:

substitution - The Substitutions to set.

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 CMultiplyTuple clone()

Overrides:

clone in class java.lang.Object