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

Author:

Jörg Bäuerle

Constructor Summary

CMultiplyTuple()
Author: Jörg Bäuerle

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

Method Summary

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

finalize, 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