mycompiler.mytypereconstruction.set

Class CTypeAssumptionSet

java.lang.Object

mycompiler.mytypereconstruction.set.CSet<E>

mycompiler.mytypereconstruction.set.CHashtableSet<CTypeAssumption>

mycompiler.mytypereconstruction.set.CTypeAssumptionSet

All Implemented Interfaces:

java.lang.Iterable<CTypeAssumption>

public class CTypeAssumptionSet
extends CHashtableSet<CTypeAssumption>

Version:

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

Author:

Jrg Buerle

Constructor Summary

Constructors

Constructor and Description
CTypeAssumptionSet()

Method Summary

Methods

Modifier and Type	Method and Description
CTypeAssumptionSet	deepCopy()
java.util.Iterator<CTypeAssumption>	iterator()
CTypeAssumptionSet	shallowCopy()
void	sub(CSubstitutionSet subtitutions)

Methods inherited from class mycompiler.mytypereconstruction.set.CHashtableSet

addElement, addElement, contains, equals, getCardinality, getElement, getElements, getHashtable, getIterator, removeElement, removeElement, setHashtable, subtract, unite

Methods inherited from class mycompiler.mytypereconstruction.set.CSet

toString

Methods inherited from class java.lang.Object

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

Constructor Detail

CTypeAssumptionSet

public CTypeAssumptionSet()

Method Detail

sub

public void sub(CSubstitutionSet subtitutions)

shallowCopy

public CTypeAssumptionSet shallowCopy()

Specified by:

shallowCopy in class CSet<CTypeAssumption>

deepCopy

public CTypeAssumptionSet deepCopy()

Specified by:

deepCopy in class CSet<CTypeAssumption>

iterator

public java.util.Iterator<CTypeAssumption> iterator()