<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/syntaxtree/modifier/Modifiers.html#calculate_access_flags--">calculate_access_flags()</a></span> - Method in class de.dhbwstuttgart.syntaxtree.modifier.<ahref="../de/dhbwstuttgart/syntaxtree/modifier/Modifiers.html"title="class in de.dhbwstuttgart.de.dhbwstuttgart.strucTypes4.syntaxtree.modifier">Modifiers</a></dt>
<divclass="block">Gibt den Bitmaskenwert fuer die enthaltenen Access-Modifier
zurueck.</div>
</dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/typeinference/FunN.html#calculateNewParalist--">calculateNewParalist()</a></span> - Method in class de.dhbwstuttgart.typeinference.<ahref="../de/dhbwstuttgart/typeinference/FunN.html"title="class in de.dhbwstuttgart.typeinference">FunN</a></dt>
<dd>
<divclass="block">Muss nach jeder Ãnderung von T oder R aufgerufen werden.</div>
</dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/typeinference/unify/Unify.html#CaptureConversion-de.dhbwstuttgart.typeinference.Menge-de.dhbwstuttgart.typeinference.unify.FC_TTO-">CaptureConversion(Menge<ObjectType>, FC_TTO)</a></span> - Static method in class de.dhbwstuttgart.typeinference.unify.<ahref="../de/dhbwstuttgart/typeinference/unify/Unify.html"title="class in de.dhbwstuttgart.typeinference.unify">Unify</a></dt>
<dd>
<divclass="block">Implementiert die CaptureConversion.</div>
</dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/typeinference/unify/Unify.html#CaptureConversion-de.dhbwstuttgart.syntaxtree.type.Type-de.dhbwstuttgart.typeinference.unify.FC_TTO-">CaptureConversion(Type, FC_TTO)</a></span> - Static method in class de.dhbwstuttgart.typeinference.unify.<ahref="../de/dhbwstuttgart/typeinference/unify/Unify.html"title="class in de.dhbwstuttgart.typeinference.unify">Unify</a></dt>
<dd>
<divclass="block">Erzeugt die CaptureConversion von einem Typ.</div>
</dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/typeinference/unify/Unify.html#CaptureConversionHashtable-java.util.Hashtable-de.dhbwstuttgart.typeinference.unify.FC_TTO-">CaptureConversionHashtable(Hashtable<JavaClassName, Type>, FC_TTO)</a></span> - Static method in class de.dhbwstuttgart.typeinference.unify.<ahref="../de/dhbwstuttgart/typeinference/unify/Unify.html"title="class in de.dhbwstuttgart.typeinference.unify">Unify</a></dt>
<dd> </dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/typeinference/EinzelElement.html#cartesianProduct--">cartesianProduct()</a></span> - Method in class de.dhbwstuttgart.typeinference.<ahref="../de/dhbwstuttgart/typeinference/EinzelElement.html"title="class in de.dhbwstuttgart.typeinference">EinzelElement</a></dt>
<dd> </dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/typeinference/KomplexeMenge.html#cartesianProduct--">cartesianProduct()</a></span> - Method in interface de.dhbwstuttgart.typeinference.<ahref="../de/dhbwstuttgart/typeinference/KomplexeMenge.html"title="interface in de.dhbwstuttgart.typeinference">KomplexeMenge</a></dt>
<dd> </dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/typeinference/OderMenge.html#cartesianProduct--">cartesianProduct()</a></span> - Method in class de.dhbwstuttgart.typeinference.<ahref="../de/dhbwstuttgart/typeinference/OderMenge.html"title="class in de.dhbwstuttgart.typeinference">OderMenge</a></dt>
<dd> </dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/typeinference/UndMenge.html#cartesianProduct--">cartesianProduct()</a></span> - Method in class de.dhbwstuttgart.typeinference.<ahref="../de/dhbwstuttgart/typeinference/UndMenge.html"title="class in de.dhbwstuttgart.typeinference">UndMenge</a></dt>
<dd> </dd>
<dt><ahref="../de/dhbwstuttgart/typeinference/unify/CartesianProduct.html"title="class in de.dhbwstuttgart.typeinference.unify"><spanclass="typeNameLink">CartesianProduct</span></a> - Class in <ahref="../de/dhbwstuttgart/typeinference/unify/package-summary.html">de.dhbwstuttgart.typeinference.unify</a></dt>
<dd> </dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/typeinference/unify/CartesianProduct.html#CartesianProduct--">CartesianProduct()</a></span> - Constructor for class de.dhbwstuttgart.typeinference.unify.<ahref="../de/dhbwstuttgart/typeinference/unify/CartesianProduct.html"title="class in de.dhbwstuttgart.typeinference.unify">CartesianProduct</a></dt>
<dd> </dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/typeinference/unify/Unify.html#cartProductPair-de.dhbwstuttgart.typeinference.Menge-">cartProductPair(Menge<Menge<Pair>>)</a></span> - Static method in class de.dhbwstuttgart.typeinference.unify.<ahref="../de/dhbwstuttgart/typeinference/unify/Unify.html"title="class in de.dhbwstuttgart.typeinference.unify">Unify</a></dt>
<dd>
<divclass="block">Ãberladung der Funktion cartProductPair, damit der Programmierer beim ersten Aufruf nicht den 2.</div>
</dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/typeinference/unify/Unify.html#cartProductPair-de.dhbwstuttgart.typeinference.Menge-int-">cartProductPair(Menge<Menge<Pair>>, int)</a></span> - Static method in class de.dhbwstuttgart.typeinference.unify.<ahref="../de/dhbwstuttgart/typeinference/unify/Unify.html"title="class in de.dhbwstuttgart.typeinference.unify">Unify</a></dt>
<dd>
<divclass="block">Erzeugt das Kartesische Product von mehreren Mengeen von Paaren.</div>
</dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/typeinference/unify/Unify.html#cartProductType-de.dhbwstuttgart.typeinference.Menge-">cartProductType(Menge<Menge<Type>>)</a></span> - Static method in class de.dhbwstuttgart.typeinference.unify.<ahref="../de/dhbwstuttgart/typeinference/unify/Unify.html"title="class in de.dhbwstuttgart.typeinference.unify">Unify</a></dt>
<dd>
<divclass="block">Ãberladung der Funktion cartProductType, damit der Programmierer beim ersten Aufruf nicht den 2.</div>
</dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/typeinference/unify/Unify.html#cartProductType-de.dhbwstuttgart.typeinference.Menge-int-">cartProductType(Menge<Menge<Type>>, int)</a></span> - Static method in class de.dhbwstuttgart.typeinference.unify.<ahref="../de/dhbwstuttgart/typeinference/unify/Unify.html"title="class in de.dhbwstuttgart.typeinference.unify">Unify</a></dt>
<dd>
<divclass="block">Erzeugt das Kartesische Product von mehreren Mengeen von Typen.</div>
</dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/parser/JavaParser.html#CASE">CASE</a></span> - Static variable in class de.dhbwstuttgart.parser.<ahref="../de/dhbwstuttgart/parser/JavaParser.html"title="class in de.dhbwstuttgart.parser">JavaParser</a></dt>
<dt><ahref="../de/dhbwstuttgart/syntaxtree/statement/CastExpr.html"title="class in de.dhbwstuttgart.de.dhbwstuttgart.strucTypes4.syntaxtree.statement"><spanclass="typeNameLink">CastExpr</span></a> - Class in <ahref="../de/dhbwstuttgart/syntaxtree/statement/package-summary.html">de.dhbwstuttgart.de.dhbwstuttgart.strucTypes4.syntaxtree.statement</a></dt>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/syntaxtree/statement/CastExpr.html#CastExpr-int-int-">CastExpr(int, int)</a></span> - Constructor for class de.dhbwstuttgart.syntaxtree.statement.<ahref="../de/dhbwstuttgart/syntaxtree/statement/CastExpr.html"title="class in de.dhbwstuttgart.de.dhbwstuttgart.strucTypes4.syntaxtree.statement">CastExpr</a></dt>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/parser/JavaParser.html#CATCH">CATCH</a></span> - Static variable in class de.dhbwstuttgart.parser.<ahref="../de/dhbwstuttgart/parser/JavaParser.html"title="class in de.dhbwstuttgart.parser">JavaParser</a></dt>
<dd> </dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/parser/JavaParser.html#CHAR">CHAR</a></span> - Static variable in class de.dhbwstuttgart.parser.<ahref="../de/dhbwstuttgart/parser/JavaParser.html"title="class in de.dhbwstuttgart.parser">JavaParser</a></dt>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/syntaxtree/statement/CharLiteral.html#Char">Char</a></span> - Variable in class de.dhbwstuttgart.syntaxtree.statement.<ahref="../de/dhbwstuttgart/syntaxtree/statement/CharLiteral.html"title="class in de.dhbwstuttgart.de.dhbwstuttgart.strucTypes4.syntaxtree.statement">CharLiteral</a></dt>
<dt><ahref="../de/dhbwstuttgart/syntaxtree/type/CharacterType.html"title="class in de.dhbwstuttgart.de.dhbwstuttgart.strucTypes4.syntaxtree.type"><spanclass="typeNameLink">CharacterType</span></a> - Class in <ahref="../de/dhbwstuttgart/syntaxtree/type/package-summary.html">de.dhbwstuttgart.de.dhbwstuttgart.strucTypes4.syntaxtree.type</a></dt>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/syntaxtree/type/CharacterType.html#CharacterType-de.dhbwstuttgart.syntaxtree.SyntaxTreeNode-">CharacterType(SyntaxTreeNode)</a></span> - Constructor for class de.dhbwstuttgart.syntaxtree.type.<ahref="../de/dhbwstuttgart/syntaxtree/type/CharacterType.html"title="class in de.dhbwstuttgart.de.dhbwstuttgart.strucTypes4.syntaxtree.type">CharacterType</a></dt>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/parser/Token.html#CharInString--">CharInString()</a></span> - Method in class de.dhbwstuttgart.parser.<ahref="../de/dhbwstuttgart/parser/Token.html"title="class in de.dhbwstuttgart.parser">Token</a></dt>
<dd> </dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/parser/JavaParser.html#CHARLITERAL">CHARLITERAL</a></span> - Static variable in class de.dhbwstuttgart.parser.<ahref="../de/dhbwstuttgart/parser/JavaParser.html"title="class in de.dhbwstuttgart.parser">JavaParser</a></dt>
<dt><ahref="../de/dhbwstuttgart/syntaxtree/statement/CharLiteral.html"title="class in de.dhbwstuttgart.de.dhbwstuttgart.strucTypes4.syntaxtree.statement"><spanclass="typeNameLink">CharLiteral</span></a> - Class in <ahref="../de/dhbwstuttgart/syntaxtree/statement/package-summary.html">de.dhbwstuttgart.de.dhbwstuttgart.strucTypes4.syntaxtree.statement</a></dt>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/syntaxtree/statement/CharLiteral.html#CharLiteral--">CharLiteral()</a></span> - Constructor for class de.dhbwstuttgart.syntaxtree.statement.<ahref="../de/dhbwstuttgart/syntaxtree/statement/CharLiteral.html"title="class in de.dhbwstuttgart.de.dhbwstuttgart.strucTypes4.syntaxtree.statement">CharLiteral</a></dt>
<dt><spanclass="memberNameLink"><ahref="../KomplexeMenge/KeineDoppeltenVerweise.html#check-de.dhbwstuttgart.typeinference.Menge-">check(Menge<Menge<A>>)</a></span> - Method in class KomplexeMenge.<ahref="../KomplexeMenge/KeineDoppeltenVerweise.html"title="class in KomplexeMenge">KeineDoppeltenVerweise</a></dt>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/syntaxtree/type/RefType.html#checkTYPE-de.dhbwstuttgart.typeinference.assumptions.TypeAssumptions-de.dhbwstuttgart.syntaxtree.SyntaxTreeNode-">checkTYPE(TypeAssumptions, SyntaxTreeNode)</a></span> - Method in class de.dhbwstuttgart.syntaxtree.type.<ahref="../de/dhbwstuttgart/syntaxtree/type/RefType.html"title="class in de.dhbwstuttgart.de.dhbwstuttgart.strucTypes4.syntaxtree.type">RefType</a></dt>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/syntaxtree/type/Type.html#checkTYPE-de.dhbwstuttgart.typeinference.assumptions.TypeAssumptions-de.dhbwstuttgart.syntaxtree.SyntaxTreeNode-">checkTYPE(TypeAssumptions, SyntaxTreeNode)</a></span> - Method in class de.dhbwstuttgart.syntaxtree.type.<ahref="../de/dhbwstuttgart/syntaxtree/type/Type.html"title="class in de.dhbwstuttgart.de.dhbwstuttgart.strucTypes4.syntaxtree.type">Type</a></dt>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/syntaxtree/type/Void.html#checkTYPE-de.dhbwstuttgart.typeinference.assumptions.TypeAssumptions-de.dhbwstuttgart.syntaxtree.SyntaxTreeNode-">checkTYPE(TypeAssumptions, SyntaxTreeNode)</a></span> - Method in class de.dhbwstuttgart.syntaxtree.type.<ahref="../de/dhbwstuttgart/syntaxtree/type/Void.html"title="class in de.dhbwstuttgart.de.dhbwstuttgart.strucTypes4.syntaxtree.type">Void</a></dt>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/typeinference/assumptions/TypeAssumptions.html#checkType-de.dhbwstuttgart.syntaxtree.type.RefType-de.dhbwstuttgart.syntaxtree.SyntaxTreeNode-">checkType(RefType, SyntaxTreeNode)</a></span> - Method in class de.dhbwstuttgart.typeinference.assumptions.<ahref="../de/dhbwstuttgart/typeinference/assumptions/TypeAssumptions.html"title="class in de.dhbwstuttgart.typeinference.assumptions">TypeAssumptions</a></dt>
<dd> </dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/parser/JavaParser.html#CLASS">CLASS</a></span> - Static variable in class de.dhbwstuttgart.parser.<ahref="../de/dhbwstuttgart/parser/JavaParser.html"title="class in de.dhbwstuttgart.parser">JavaParser</a></dt>
<dd> </dd>
<dt><ahref="../de/dhbwstuttgart/syntaxtree/Class.html"title="class in de.dhbwstuttgart.syntaxtree"><spanclass="typeNameLink">Class</span></a> - Class in <ahref="../de/dhbwstuttgart/syntaxtree/package-summary.html">de.dhbwstuttgart.syntaxtree</a></dt>
<dd> </dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/syntaxtree/Class.html#Class-java.lang.String-int-">Class(String, int)</a></span> - Constructor for class de.dhbwstuttgart.syntaxtree.<ahref="../de/dhbwstuttgart/syntaxtree/Class.html"title="class in de.dhbwstuttgart.syntaxtree">Class</a></dt>
<dd> </dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/syntaxtree/Class.html#Class-java.lang.String-de.dhbwstuttgart.syntaxtree.type.RefType-de.dhbwstuttgart.syntaxtree.modifier.Modifiers-de.dhbwstuttgart.typeinference.Menge-">Class(String, RefType, Modifiers, Menge<String>)</a></span> - Constructor for class de.dhbwstuttgart.syntaxtree.<ahref="../de/dhbwstuttgart/syntaxtree/Class.html"title="class in de.dhbwstuttgart.syntaxtree">Class</a></dt>
<dd>
<divclass="block">Erstellt eine Klasse, welche nur für die Assumptions verwendet wird.</div>
</dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/syntaxtree/Class.html#Class-java.lang.String-de.dhbwstuttgart.syntaxtree.type.RefType-de.dhbwstuttgart.syntaxtree.modifier.Modifiers-int-">Class(String, RefType, Modifiers, int)</a></span> - Constructor for class de.dhbwstuttgart.syntaxtree.<ahref="../de/dhbwstuttgart/syntaxtree/Class.html"title="class in de.dhbwstuttgart.syntaxtree">Class</a></dt>
<dd> </dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/syntaxtree/Class.html#Class-java.lang.String-de.dhbwstuttgart.syntaxtree.modifier.Modifiers-int-">Class(String, Modifiers, int)</a></span> - Constructor for class de.dhbwstuttgart.syntaxtree.<ahref="../de/dhbwstuttgart/syntaxtree/Class.html"title="class in de.dhbwstuttgart.syntaxtree">Class</a></dt>
<dd> </dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/syntaxtree/Class.html#Class-java.lang.String-de.dhbwstuttgart.syntaxtree.modifier.Modifiers-de.dhbwstuttgart.syntaxtree.ClassBody-de.dhbwstuttgart.typeinference.Menge-de.dhbwstuttgart.typeinference.Menge-de.dhbwstuttgart.syntaxtree.misc.UsedId-de.dhbwstuttgart.typeinference.Menge-de.dhbwstuttgart.typeinference.Menge-int-">Class(String, Modifiers, ClassBody, Menge<Type>, Menge<UsedId>, UsedId, Menge<UsedId>, Menge<Type>, int)</a></span> - Constructor for class de.dhbwstuttgart.syntaxtree.<ahref="../de/dhbwstuttgart/syntaxtree/Class.html"title="class in de.dhbwstuttgart.syntaxtree">Class</a></dt>
<dd> </dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/syntaxtree/Class.html#Class-java.lang.String-de.dhbwstuttgart.syntaxtree.ClassBody-de.dhbwstuttgart.typeinference.Menge-de.dhbwstuttgart.syntaxtree.misc.UsedId-de.dhbwstuttgart.typeinference.Menge-de.dhbwstuttgart.typeinference.Menge-int-">Class(String, ClassBody, Menge<Type>, UsedId, Menge<Type>, Menge<Type>, int)</a></span> - Constructor for class de.dhbwstuttgart.syntaxtree.<ahref="../de/dhbwstuttgart/syntaxtree/Class.html"title="class in de.dhbwstuttgart.syntaxtree">Class</a></dt>
<dd> </dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/syntaxtree/Class.html#Class-java.lang.String-de.dhbwstuttgart.syntaxtree.modifier.Modifiers-de.dhbwstuttgart.syntaxtree.ClassBody-de.dhbwstuttgart.typeinference.Menge-de.dhbwstuttgart.syntaxtree.misc.UsedId-de.dhbwstuttgart.typeinference.Menge-de.dhbwstuttgart.typeinference.Menge-int-">Class(String, Modifiers, ClassBody, Menge<Type>, UsedId, Menge<Type>, Menge<Type>, int)</a></span> - Constructor for class de.dhbwstuttgart.syntaxtree.<ahref="../de/dhbwstuttgart/syntaxtree/Class.html"title="class in de.dhbwstuttgart.syntaxtree">Class</a></dt>
<dd> </dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/syntaxtree/Class.html#Class-java.lang.String-de.dhbwstuttgart.syntaxtree.modifier.Modifiers-de.dhbwstuttgart.syntaxtree.ClassBody-de.dhbwstuttgart.typeinference.Menge-de.dhbwstuttgart.typeinference.Menge-de.dhbwstuttgart.typeinference.Menge-int-">Class(String, Modifiers, ClassBody, Menge<Type>, Menge<Type>, Menge<Type>, int)</a></span> - Constructor for class de.dhbwstuttgart.syntaxtree.<ahref="../de/dhbwstuttgart/syntaxtree/Class.html"title="class in de.dhbwstuttgart.syntaxtree">Class</a></dt>
<dd> </dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/syntaxtree/Class.html#Class-java.lang.String-de.dhbwstuttgart.syntaxtree.modifier.Modifiers-de.dhbwstuttgart.syntaxtree.ClassBody-de.dhbwstuttgart.typeinference.Menge-de.dhbwstuttgart.syntaxtree.type.Type-de.dhbwstuttgart.typeinference.Menge-de.dhbwstuttgart.typeinference.Menge-int-">Class(String, Modifiers, ClassBody, Menge<Type>, Type, Menge<Type>, Menge<? extends Type>, int)</a></span> - Constructor for class de.dhbwstuttgart.syntaxtree.<ahref="../de/dhbwstuttgart/syntaxtree/Class.html"title="class in de.dhbwstuttgart.syntaxtree">Class</a></dt>
<dd>
<divclass="block">Konstruktor, der die Angabe aller Parameter ermoeglicht.</div>
</dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/syntaxtree/Class.html#class_block">class_block</a></span> - Variable in class de.dhbwstuttgart.syntaxtree.<ahref="../de/dhbwstuttgart/syntaxtree/Class.html"title="class in de.dhbwstuttgart.syntaxtree">Class</a></dt>
<dd> </dd>
<dt><ahref="../de/dhbwstuttgart/parser/ClassAndParameter.html"title="class in de.dhbwstuttgart.parser"><spanclass="typeNameLink">ClassAndParameter</span></a> - Class in <ahref="../de/dhbwstuttgart/parser/package-summary.html">de.dhbwstuttgart.parser</a></dt>
<dd>
<divclass="block">Hilfskonstrukt, um die Grammatik fuer einen Klassenheader
ueberschaubar zu halten.</div>
</dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/parser/ClassAndParameter.html#ClassAndParameter-java.lang.String-">ClassAndParameter(String)</a></span> - Constructor for class de.dhbwstuttgart.parser.<ahref="../de/dhbwstuttgart/parser/ClassAndParameter.html"title="class in de.dhbwstuttgart.parser">ClassAndParameter</a></dt>
<dd> </dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/parser/ClassAndParameter.html#ClassAndParameter-java.lang.String-de.dhbwstuttgart.syntaxtree.type.ParaList-">ClassAndParameter(String, ParaList)</a></span> - Constructor for class de.dhbwstuttgart.parser.<ahref="../de/dhbwstuttgart/parser/ClassAndParameter.html"title="class in de.dhbwstuttgart.parser">ClassAndParameter</a></dt>
<dd> </dd>
<dt><ahref="../de/dhbwstuttgart/typeinference/assumptions/ClassAssumption.html"title="class in de.dhbwstuttgart.typeinference.assumptions"><spanclass="typeNameLink">ClassAssumption</span></a> - Class in <ahref="../de/dhbwstuttgart/typeinference/assumptions/package-summary.html">de.dhbwstuttgart.typeinference.assumptions</a></dt>
<dd>
<divclass="block">Nicht wirklich eine Assumption.</div>
</dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/typeinference/assumptions/ClassAssumption.html#ClassAssumption-de.dhbwstuttgart.syntaxtree.Class-">ClassAssumption(Class)</a></span> - Constructor for class de.dhbwstuttgart.typeinference.assumptions.<ahref="../de/dhbwstuttgart/typeinference/assumptions/ClassAssumption.html"title="class in de.dhbwstuttgart.typeinference.assumptions">ClassAssumption</a></dt>
<dd> </dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/typeinference/assumptions/TypeAssumptions.html#classAssumptions">classAssumptions</a></span> - Variable in class de.dhbwstuttgart.typeinference.assumptions.<ahref="../de/dhbwstuttgart/typeinference/assumptions/TypeAssumptions.html"title="class in de.dhbwstuttgart.typeinference.assumptions">TypeAssumptions</a></dt>
<dd> </dd>
<dt><ahref="../de/dhbwstuttgart/syntaxtree/ClassBody.html"title="class in de.dhbwstuttgart.syntaxtree"><spanclass="typeNameLink">ClassBody</span></a> - Class in <ahref="../de/dhbwstuttgart/syntaxtree/package-summary.html">de.dhbwstuttgart.syntaxtree</a></dt>
<dd> </dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/syntaxtree/ClassBody.html#ClassBody--">ClassBody()</a></span> - Constructor for class de.dhbwstuttgart.syntaxtree.<ahref="../de/dhbwstuttgart/syntaxtree/ClassBody.html"title="class in de.dhbwstuttgart.syntaxtree">ClassBody</a></dt>
<dd> </dd>
<dt><ahref="../de/dhbwstuttgart/syntaxtree/ClassHelper.html"title="class in de.dhbwstuttgart.syntaxtree"><spanclass="typeNameLink">ClassHelper</span></a> - Class in <ahref="../de/dhbwstuttgart/syntaxtree/package-summary.html">de.dhbwstuttgart.syntaxtree</a></dt>
<dd> </dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/syntaxtree/ClassHelper.html#ClassHelper--">ClassHelper()</a></span> - Constructor for class de.dhbwstuttgart.syntaxtree.<ahref="../de/dhbwstuttgart/syntaxtree/ClassHelper.html"title="class in de.dhbwstuttgart.syntaxtree">ClassHelper</a></dt>
<dd> </dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/myexception/SCExcept.html#classname">classname</a></span> - Variable in class de.dhbwstuttgart.myexception.<ahref="../de/dhbwstuttgart/myexception/SCExcept.html"title="class in de.dhbwstuttgart.myexception">SCExcept</a></dt>
<dd> </dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/typeinference/assumptions/ClassAssumption.html#classType">classType</a></span> - Variable in class de.dhbwstuttgart.typeinference.assumptions.<ahref="../de/dhbwstuttgart/typeinference/assumptions/ClassAssumption.html"title="class in de.dhbwstuttgart.typeinference.assumptions">ClassAssumption</a></dt>
<dd> </dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/typeinference/unify/FC_TTO.html#CLASSVEC">CLASSVEC</a></span> - Variable in class de.dhbwstuttgart.typeinference.unify.<ahref="../de/dhbwstuttgart/typeinference/unify/FC_TTO.html"title="class in de.dhbwstuttgart.typeinference.unify">FC_TTO</a></dt>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/syntaxtree/type/BaseType.html#clone--">clone()</a></span> - Method in class de.dhbwstuttgart.syntaxtree.type.<ahref="../de/dhbwstuttgart/syntaxtree/type/BaseType.html"title="class in de.dhbwstuttgart.de.dhbwstuttgart.strucTypes4.syntaxtree.type">BaseType</a></dt>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/syntaxtree/type/BooleanType.html#clone--">clone()</a></span> - Method in class de.dhbwstuttgart.syntaxtree.type.<ahref="../de/dhbwstuttgart/syntaxtree/type/BooleanType.html"title="class in de.dhbwstuttgart.de.dhbwstuttgart.strucTypes4.syntaxtree.type">BooleanType</a></dt>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/syntaxtree/type/BoundedGenericTypeVar.html#clone--">clone()</a></span> - Method in class de.dhbwstuttgart.syntaxtree.type.<ahref="../de/dhbwstuttgart/syntaxtree/type/BoundedGenericTypeVar.html"title="class in de.dhbwstuttgart.de.dhbwstuttgart.strucTypes4.syntaxtree.type">BoundedGenericTypeVar</a></dt>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/syntaxtree/type/CharacterType.html#clone--">clone()</a></span> - Method in class de.dhbwstuttgart.syntaxtree.type.<ahref="../de/dhbwstuttgart/syntaxtree/type/CharacterType.html"title="class in de.dhbwstuttgart.de.dhbwstuttgart.strucTypes4.syntaxtree.type">CharacterType</a></dt>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/syntaxtree/type/DoubleType.html#clone--">clone()</a></span> - Method in class de.dhbwstuttgart.syntaxtree.type.<ahref="../de/dhbwstuttgart/syntaxtree/type/DoubleType.html"title="class in de.dhbwstuttgart.de.dhbwstuttgart.strucTypes4.syntaxtree.type">DoubleType</a></dt>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/syntaxtree/type/ExtendsWildcardType.html#clone--">clone()</a></span> - Method in class de.dhbwstuttgart.syntaxtree.type.<ahref="../de/dhbwstuttgart/syntaxtree/type/ExtendsWildcardType.html"title="class in de.dhbwstuttgart.de.dhbwstuttgart.strucTypes4.syntaxtree.type">ExtendsWildcardType</a></dt>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/syntaxtree/type/FloatType.html#clone--">clone()</a></span> - Method in class de.dhbwstuttgart.syntaxtree.type.<ahref="../de/dhbwstuttgart/syntaxtree/type/FloatType.html"title="class in de.dhbwstuttgart.de.dhbwstuttgart.strucTypes4.syntaxtree.type">FloatType</a></dt>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/syntaxtree/type/FreshExtendsWildcardType.html#clone--">clone()</a></span> - Method in class de.dhbwstuttgart.syntaxtree.type.<ahref="../de/dhbwstuttgart/syntaxtree/type/FreshExtendsWildcardType.html"title="class in de.dhbwstuttgart.de.dhbwstuttgart.strucTypes4.syntaxtree.type">FreshExtendsWildcardType</a></dt>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/syntaxtree/type/FreshSuperWildcardType.html#clone--">clone()</a></span> - Method in class de.dhbwstuttgart.syntaxtree.type.<ahref="../de/dhbwstuttgart/syntaxtree/type/FreshSuperWildcardType.html"title="class in de.dhbwstuttgart.de.dhbwstuttgart.strucTypes4.syntaxtree.type">FreshSuperWildcardType</a></dt>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/syntaxtree/type/FreshWildcardType.html#clone--">clone()</a></span> - Method in class de.dhbwstuttgart.syntaxtree.type.<ahref="../de/dhbwstuttgart/syntaxtree/type/FreshWildcardType.html"title="class in de.dhbwstuttgart.de.dhbwstuttgart.strucTypes4.syntaxtree.type">FreshWildcardType</a></dt>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/syntaxtree/type/GenericTypeVar.html#clone--">clone()</a></span> - Method in class de.dhbwstuttgart.syntaxtree.type.<ahref="../de/dhbwstuttgart/syntaxtree/type/GenericTypeVar.html"title="class in de.dhbwstuttgart.de.dhbwstuttgart.strucTypes4.syntaxtree.type">GenericTypeVar</a></dt>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/syntaxtree/type/IntegerType.html#clone--">clone()</a></span> - Method in class de.dhbwstuttgart.syntaxtree.type.<ahref="../de/dhbwstuttgart/syntaxtree/type/IntegerType.html"title="class in de.dhbwstuttgart.de.dhbwstuttgart.strucTypes4.syntaxtree.type">IntegerType</a></dt>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/syntaxtree/type/LongType.html#clone--">clone()</a></span> - Method in class de.dhbwstuttgart.syntaxtree.type.<ahref="../de/dhbwstuttgart/syntaxtree/type/LongType.html"title="class in de.dhbwstuttgart.de.dhbwstuttgart.strucTypes4.syntaxtree.type">LongType</a></dt>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/syntaxtree/type/ObjectType.html#clone--">clone()</a></span> - Method in class de.dhbwstuttgart.syntaxtree.type.<ahref="../de/dhbwstuttgart/syntaxtree/type/ObjectType.html"title="class in de.dhbwstuttgart.de.dhbwstuttgart.strucTypes4.syntaxtree.type">ObjectType</a></dt>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/syntaxtree/type/RefType.html#clone--">clone()</a></span> - Method in class de.dhbwstuttgart.syntaxtree.type.<ahref="../de/dhbwstuttgart/syntaxtree/type/RefType.html"title="class in de.dhbwstuttgart.de.dhbwstuttgart.strucTypes4.syntaxtree.type">RefType</a></dt>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/syntaxtree/type/ReturnType.html#clone--">clone()</a></span> - Method in class de.dhbwstuttgart.syntaxtree.type.<ahref="../de/dhbwstuttgart/syntaxtree/type/ReturnType.html"title="class in de.dhbwstuttgart.de.dhbwstuttgart.strucTypes4.syntaxtree.type">ReturnType</a></dt>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/syntaxtree/type/SuperWildcardType.html#clone--">clone()</a></span> - Method in class de.dhbwstuttgart.syntaxtree.type.<ahref="../de/dhbwstuttgart/syntaxtree/type/SuperWildcardType.html"title="class in de.dhbwstuttgart.de.dhbwstuttgart.strucTypes4.syntaxtree.type">SuperWildcardType</a></dt>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/syntaxtree/type/Type.html#clone--">clone()</a></span> - Method in class de.dhbwstuttgart.syntaxtree.type.<ahref="../de/dhbwstuttgart/syntaxtree/type/Type.html"title="class in de.dhbwstuttgart.de.dhbwstuttgart.strucTypes4.syntaxtree.type">Type</a></dt>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/syntaxtree/type/TypePlaceholder.html#clone--">clone()</a></span> - Method in class de.dhbwstuttgart.syntaxtree.type.<ahref="../de/dhbwstuttgart/syntaxtree/type/TypePlaceholder.html"title="class in de.dhbwstuttgart.de.dhbwstuttgart.strucTypes4.syntaxtree.type">TypePlaceholder</a></dt>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/syntaxtree/type/Void.html#clone--">clone()</a></span> - Method in class de.dhbwstuttgart.syntaxtree.type.<ahref="../de/dhbwstuttgart/syntaxtree/type/Void.html"title="class in de.dhbwstuttgart.de.dhbwstuttgart.strucTypes4.syntaxtree.type">Void</a></dt>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/syntaxtree/type/WildcardType.html#clone--">clone()</a></span> - Method in class de.dhbwstuttgart.syntaxtree.type.<ahref="../de/dhbwstuttgart/syntaxtree/type/WildcardType.html"title="class in de.dhbwstuttgart.de.dhbwstuttgart.strucTypes4.syntaxtree.type">WildcardType</a></dt>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/typeinference/assumptions/TypeAssumptions.html#clone--">clone()</a></span> - Method in class de.dhbwstuttgart.typeinference.assumptions.<ahref="../de/dhbwstuttgart/typeinference/assumptions/TypeAssumptions.html"title="class in de.dhbwstuttgart.typeinference.assumptions">TypeAssumptions</a></dt>
<dd> </dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/typeinference/Pair.html#clone--">clone()</a></span> - Method in class de.dhbwstuttgart.typeinference.<ahref="../de/dhbwstuttgart/typeinference/Pair.html"title="class in de.dhbwstuttgart.typeinference">Pair</a></dt>
<dd>
<divclass="block">Author: Arne Lüdtke<br/>
Erzeugt einen Klon des Paares.</div>
</dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/typeinference/unify/CSubstitution.html#clone--">clone()</a></span> - Method in class de.dhbwstuttgart.typeinference.unify.<ahref="../de/dhbwstuttgart/typeinference/unify/CSubstitution.html"title="class in de.dhbwstuttgart.typeinference.unify">CSubstitution</a></dt>
<dd> </dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/logger/OutputHandler.html#close--">close()</a></span> - Method in class de.dhbwstuttgart.logger.<ahref="../de/dhbwstuttgart/logger/OutputHandler.html"title="class in de.dhbwstuttgart.logger">OutputHandler</a></dt>
<dd> </dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/typeinference/TypeinferenceResultSet.html#codegen--">codegen()</a></span> - Method in class de.dhbwstuttgart.typeinference.<ahref="../de/dhbwstuttgart/typeinference/TypeinferenceResultSet.html"title="class in de.dhbwstuttgart.typeinference">TypeinferenceResultSet</a></dt>
<dd>
<divclass="block">Startet die Bytecodegenerierung dieser Lösung.</div>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/syntaxtree/misc/DeclId.html#codegenlog">codegenlog</a></span> - Static variable in class de.dhbwstuttgart.syntaxtree.misc.<ahref="../de/dhbwstuttgart/syntaxtree/misc/DeclId.html"title="class in de.dhbwstuttgart.de.dhbwstuttgart.strucTypes4.syntaxtree.misc">DeclId</a></dt>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/syntaxtree/SourceFile.html#codegenlog">codegenlog</a></span> - Static variable in class de.dhbwstuttgart.syntaxtree.<ahref="../de/dhbwstuttgart/syntaxtree/SourceFile.html"title="class in de.dhbwstuttgart.syntaxtree">SourceFile</a></dt>
<dd> </dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/parser/JavaLexer.html#commentblock">commentblock</a></span> - Variable in class de.dhbwstuttgart.parser.<ahref="../de/dhbwstuttgart/parser/JavaLexer.html"title="class in de.dhbwstuttgart.parser">JavaLexer</a></dt>
<dd> </dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/parser/JavaLexer.html#commentsingleline">commentsingleline</a></span> - Variable in class de.dhbwstuttgart.parser.<ahref="../de/dhbwstuttgart/parser/JavaLexer.html"title="class in de.dhbwstuttgart.parser">JavaLexer</a></dt>
<dd> </dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/typeinference/typedeployment/GenericTypeInsertPoint.html#compareTo-de.dhbwstuttgart.typeinference.typedeployment.SourcePatchPoint-">compareTo(SourcePatchPoint)</a></span> - Method in class de.dhbwstuttgart.typeinference.typedeployment.<ahref="../de/dhbwstuttgart/typeinference/typedeployment/GenericTypeInsertPoint.html"title="class in de.dhbwstuttgart.typeinference.typedeployment">GenericTypeInsertPoint</a></dt>
<dd> </dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/typeinference/typedeployment/SourcePatchPoint.html#compareTo-de.dhbwstuttgart.typeinference.typedeployment.SourcePatchPoint-">compareTo(SourcePatchPoint)</a></span> - Method in class de.dhbwstuttgart.typeinference.typedeployment.<ahref="../de/dhbwstuttgart/typeinference/typedeployment/SourcePatchPoint.html"title="class in de.dhbwstuttgart.typeinference.typedeployment">SourcePatchPoint</a></dt>
<dd> </dd>
<dt><ahref="../de/dhbwstuttgart/logger/ConfigurationEvaluater.html"title="interface in de.dhbwstuttgart.logger"><spanclass="typeNameLink">ConfigurationEvaluater</span></a> - Interface in <ahref="../de/dhbwstuttgart/logger/package-summary.html">de.dhbwstuttgart.logger</a></dt>
<dd> </dd>
<dt><ahref="../de/dhbwstuttgart/core/ConsoleInterface.html"title="class in de.dhbwstuttgart.core"><spanclass="typeNameLink">ConsoleInterface</span></a> - Class in <ahref="../de/dhbwstuttgart/core/package-summary.html">de.dhbwstuttgart.core</a></dt>
<dd> </dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/core/ConsoleInterface.html#ConsoleInterface--">ConsoleInterface()</a></span> - Constructor for class de.dhbwstuttgart.core.<ahref="../de/dhbwstuttgart/core/ConsoleInterface.html"title="class in de.dhbwstuttgart.core">ConsoleInterface</a></dt>
<dd> </dd>
<dt><ahref="../de/dhbwstuttgart/syntaxtree/Constant.html"title="class in de.dhbwstuttgart.syntaxtree"><spanclass="typeNameLink">Constant</span></a> - Class in <ahref="../de/dhbwstuttgart/syntaxtree/package-summary.html">de.dhbwstuttgart.syntaxtree</a></dt>
<dd>
<divclass="block">Enthaelt die Eigenschaften einer Konstante (Name, Typ, Modifier, Wert)</div>
</dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/syntaxtree/Constant.html#Constant-java.lang.String-de.dhbwstuttgart.syntaxtree.modifier.Modifiers-">Constant(String, Modifiers)</a></span> - Constructor for class de.dhbwstuttgart.syntaxtree.<ahref="../de/dhbwstuttgart/syntaxtree/Constant.html"title="class in de.dhbwstuttgart.syntaxtree">Constant</a></dt>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/syntaxtree/InterfaceBody.html#ConstantVektor">ConstantVektor</a></span> - Variable in class de.dhbwstuttgart.syntaxtree.<ahref="../de/dhbwstuttgart/syntaxtree/InterfaceBody.html"title="class in de.dhbwstuttgart.syntaxtree">InterfaceBody</a></dt>
<dd> </dd>
<dt><ahref="../de/dhbwstuttgart/typeinference/ConstraintPair.html"title="class in de.dhbwstuttgart.typeinference"><spanclass="typeNameLink">ConstraintPair</span></a> - Class in <ahref="../de/dhbwstuttgart/typeinference/package-summary.html">de.dhbwstuttgart.typeinference</a></dt>
<dd> </dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/typeinference/ConstraintPair.html#ConstraintPair-de.dhbwstuttgart.typeinference.ConstraintType-de.dhbwstuttgart.typeinference.ConstraintType-">ConstraintPair(ConstraintType, ConstraintType)</a></span> - Constructor for class de.dhbwstuttgart.typeinference.<ahref="../de/dhbwstuttgart/typeinference/ConstraintPair.html"title="class in de.dhbwstuttgart.typeinference">ConstraintPair</a></dt>
<dd> </dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/typeinference/TypeinferenceResultSet.html#constraints">constraints</a></span> - Variable in class de.dhbwstuttgart.typeinference.<ahref="../de/dhbwstuttgart/typeinference/TypeinferenceResultSet.html"title="class in de.dhbwstuttgart.typeinference">TypeinferenceResultSet</a></dt>
<dd>
<divclass="block">Alle Constraints vor der Unifizierung.</div>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/syntaxtree/statement/MethodCall.html#constraintsFromMethodAssumption-de.dhbwstuttgart.typeinference.assumptions.MethodAssumption-de.dhbwstuttgart.typeinference.assumptions.TypeAssumptions-">constraintsFromMethodAssumption(MethodAssumption, TypeAssumptions)</a></span> - Method in class de.dhbwstuttgart.syntaxtree.statement.<ahref="../de/dhbwstuttgart/syntaxtree/statement/MethodCall.html"title="class in de.dhbwstuttgart.de.dhbwstuttgart.strucTypes4.syntaxtree.statement">MethodCall</a></dt>
overloading determines for all possible overloadings and overridings
of a method the constraints, where constraints itself forms
the constraints from the receiver type, the argument types, the return
type and a given type assumption for the method.</div>
</dd>
<dt><ahref="../de/dhbwstuttgart/typeinference/ConstraintsSet.html"title="class in de.dhbwstuttgart.typeinference"><spanclass="typeNameLink">ConstraintsSet</span></a> - Class in <ahref="../de/dhbwstuttgart/typeinference/package-summary.html">de.dhbwstuttgart.typeinference</a></dt>
<dd> </dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/typeinference/ConstraintsSet.html#ConstraintsSet--">ConstraintsSet()</a></span> - Constructor for class de.dhbwstuttgart.typeinference.<ahref="../de/dhbwstuttgart/typeinference/ConstraintsSet.html"title="class in de.dhbwstuttgart.typeinference">ConstraintsSet</a></dt>
<dd> </dd>
<dt><ahref="../de/dhbwstuttgart/typeinference/ConstraintType.html"title="class in de.dhbwstuttgart.typeinference"><spanclass="typeNameLink">ConstraintType</span></a> - Class in <ahref="../de/dhbwstuttgart/typeinference/package-summary.html">de.dhbwstuttgart.typeinference</a></dt>
<dd> </dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/typeinference/ConstraintType.html#ConstraintType-de.dhbwstuttgart.syntaxtree.type.TypePlaceholder-">ConstraintType(TypePlaceholder)</a></span> - Constructor for class de.dhbwstuttgart.typeinference.<ahref="../de/dhbwstuttgart/typeinference/ConstraintType.html"title="class in de.dhbwstuttgart.typeinference">ConstraintType</a></dt>
<dd> </dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/typeinference/ConstraintType.html#ConstraintType-de.dhbwstuttgart.syntaxtree.type.GenericTypeVar-">ConstraintType(GenericTypeVar)</a></span> - Constructor for class de.dhbwstuttgart.typeinference.<ahref="../de/dhbwstuttgart/typeinference/ConstraintType.html"title="class in de.dhbwstuttgart.typeinference">ConstraintType</a></dt>
<dd> </dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/typeinference/ConstraintType.html#ConstraintType-de.dhbwstuttgart.syntaxtree.type.RefType-">ConstraintType(RefType)</a></span> - Constructor for class de.dhbwstuttgart.typeinference.<ahref="../de/dhbwstuttgart/typeinference/ConstraintType.html"title="class in de.dhbwstuttgart.typeinference">ConstraintType</a></dt>
<dd> </dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/typeinference/ConstraintType.html#ConstraintType-de.dhbwstuttgart.syntaxtree.type.WildcardType-">ConstraintType(WildcardType)</a></span> - Constructor for class de.dhbwstuttgart.typeinference.<ahref="../de/dhbwstuttgart/typeinference/ConstraintType.html"title="class in de.dhbwstuttgart.typeinference">ConstraintType</a></dt>
<dd> </dd>
<dt><ahref="../de/dhbwstuttgart/syntaxtree/Constructor.html"title="class in de.dhbwstuttgart.syntaxtree"><spanclass="typeNameLink">Constructor</span></a> - Class in <ahref="../de/dhbwstuttgart/syntaxtree/package-summary.html">de.dhbwstuttgart.syntaxtree</a></dt>
<dd> </dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/syntaxtree/Constructor.html#Constructor-de.dhbwstuttgart.syntaxtree.Method-">Constructor(Method)</a></span> - Constructor for class de.dhbwstuttgart.syntaxtree.<ahref="../de/dhbwstuttgart/syntaxtree/Constructor.html"title="class in de.dhbwstuttgart.syntaxtree">Constructor</a></dt>
<dd>
<divclass="block">Parser kann nicht zwischen einem Konstruktor und einer Methode unterscheiden.</div>
</dd>
<dt><ahref="../de/dhbwstuttgart/typeinference/assumptions/ConstructorAssumption.html"title="class in de.dhbwstuttgart.typeinference.assumptions"><spanclass="typeNameLink">ConstructorAssumption</span></a> - Class in <ahref="../de/dhbwstuttgart/typeinference/assumptions/package-summary.html">de.dhbwstuttgart.typeinference.assumptions</a></dt>
<dd> </dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/typeinference/assumptions/ConstructorAssumption.html#ConstructorAssumption-de.dhbwstuttgart.syntaxtree.Method-de.dhbwstuttgart.syntaxtree.Class-">ConstructorAssumption(Method, Class)</a></span> - Constructor for class de.dhbwstuttgart.typeinference.assumptions.<ahref="../de/dhbwstuttgart/typeinference/assumptions/ConstructorAssumption.html"title="class in de.dhbwstuttgart.typeinference.assumptions">ConstructorAssumption</a></dt>
<dd> </dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/typeinference/assumptions/TypeAssumptions.html#constructorAssumptions">constructorAssumptions</a></span> - Variable in class de.dhbwstuttgart.typeinference.assumptions.<ahref="../de/dhbwstuttgart/typeinference/assumptions/TypeAssumptions.html"title="class in de.dhbwstuttgart.typeinference.assumptions">TypeAssumptions</a></dt>
<dt><ahref="../de/dhbwstuttgart/syntaxtree/misc/ConstructorCall.html"title="class in de.dhbwstuttgart.de.dhbwstuttgart.strucTypes4.syntaxtree.misc"><spanclass="typeNameLink">ConstructorCall</span></a> - Class in <ahref="../de/dhbwstuttgart/syntaxtree/misc/package-summary.html">de.dhbwstuttgart.de.dhbwstuttgart.strucTypes4.syntaxtree.misc</a></dt>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/syntaxtree/misc/ConstructorCall.html#ConstructorCall-de.dhbwstuttgart.syntaxtree.statement.Receiver-java.lang.String-de.dhbwstuttgart.syntaxtree.statement.ArgumentList-int-">ConstructorCall(Receiver, String, ArgumentList, int)</a></span> - Constructor for class de.dhbwstuttgart.syntaxtree.misc.<ahref="../de/dhbwstuttgart/syntaxtree/misc/ConstructorCall.html"title="class in de.dhbwstuttgart.de.dhbwstuttgart.strucTypes4.syntaxtree.misc">ConstructorCall</a></dt>
<dt><ahref="../plugindevelopment/TypeInsertTests/ConstructorTest.html"title="class in plugindevelopment.TypeInsertTests"><spanclass="typeNameLink">ConstructorTest</span></a> - Class in <ahref="../plugindevelopment/TypeInsertTests/package-summary.html">plugindevelopment.TypeInsertTests</a></dt>
<dd> </dd>
<dt><spanclass="memberNameLink"><ahref="../plugindevelopment/TypeInsertTests/ConstructorTest.html#ConstructorTest--">ConstructorTest()</a></span> - Constructor for class plugindevelopment.TypeInsertTests.<ahref="../plugindevelopment/TypeInsertTests/ConstructorTest.html"title="class in plugindevelopment.TypeInsertTests">ConstructorTest</a></dt>
<dd> </dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/parser/JavaParser.html#containedTypes">containedTypes</a></span> - Variable in class de.dhbwstuttgart.parser.<ahref="../de/dhbwstuttgart/parser/JavaParser.html"title="class in de.dhbwstuttgart.parser">JavaParser</a></dt>
<dd> </dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/syntaxtree/Class.html#containedTypes">containedTypes</a></span> - Variable in class de.dhbwstuttgart.syntaxtree.<ahref="../de/dhbwstuttgart/syntaxtree/Class.html"title="class in de.dhbwstuttgart.syntaxtree">Class</a></dt>
<dd> </dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/typeinference/ResultSet.html#contains-de.dhbwstuttgart.syntaxtree.type.Type-">contains(Type)</a></span> - Method in class de.dhbwstuttgart.typeinference.<ahref="../de/dhbwstuttgart/typeinference/ResultSet.html"title="class in de.dhbwstuttgart.typeinference">ResultSet</a></dt>
<dd>
<divclass="block">Durchsucht das ResultSet (die unifizierten Constraints des ResultSets) nach diesem Typ.</div>
</dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/typeinference/unify/CSet.html#contains-E-">contains(E)</a></span> - Method in class de.dhbwstuttgart.typeinference.unify.<ahref="../de/dhbwstuttgart/typeinference/unify/CSet.html"title="class in de.dhbwstuttgart.typeinference.unify">CSet</a></dt>
<dd> </dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/typeinference/unify/CVectorSet.html#contains-E-">contains(E)</a></span> - Method in class de.dhbwstuttgart.typeinference.unify.<ahref="../de/dhbwstuttgart/typeinference/unify/CVectorSet.html"title="class in de.dhbwstuttgart.typeinference.unify">CVectorSet</a></dt>
<dd> </dd>
<dt><spanclass="memberNameLink"><ahref="../KomplexeMenge/KeineDoppeltenVerweise.html#containsRef-de.dhbwstuttgart.typeinference.Menge-java.lang.Object-">containsRef(Menge, Object)</a></span> - Method in class KomplexeMenge.<ahref="../KomplexeMenge/KeineDoppeltenVerweise.html"title="class in KomplexeMenge">KeineDoppeltenVerweise</a></dt>
<dd> </dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/syntaxtree/SourceFile.html#containsString-de.dhbwstuttgart.typeinference.Menge-java.lang.String-">containsString(Menge<UsedId>, String)</a></span> - Method in class de.dhbwstuttgart.syntaxtree.<ahref="../de/dhbwstuttgart/syntaxtree/SourceFile.html"title="class in de.dhbwstuttgart.syntaxtree">SourceFile</a></dt>
<dd> </dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/parser/JavaParser.html#CONTINUE">CONTINUE</a></span> - Static variable in class de.dhbwstuttgart.parser.<ahref="../de/dhbwstuttgart/parser/JavaParser.html"title="class in de.dhbwstuttgart.parser">JavaParser</a></dt>
<dd> </dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/typeinference/unify/Unify.html#copyMengeMengePair-de.dhbwstuttgart.typeinference.Menge-">copyMengeMengePair(Menge<Menge<Pair>>)</a></span> - Static method in class de.dhbwstuttgart.typeinference.unify.<ahref="../de/dhbwstuttgart/typeinference/unify/Unify.html"title="class in de.dhbwstuttgart.typeinference.unify">Unify</a></dt>
<dd> </dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/typeinference/unify/Unify.html#copyMengeObjectType-de.dhbwstuttgart.typeinference.Menge-">copyMengeObjectType(Menge<ObjectType>)</a></span> - Static method in class de.dhbwstuttgart.typeinference.unify.<ahref="../de/dhbwstuttgart/typeinference/unify/Unify.html"title="class in de.dhbwstuttgart.typeinference.unify">Unify</a></dt>
<dd>
<divclass="block">Kopiert einen Menge<ObjectType>.</div>
</dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/typeinference/unify/Unify.html#copyMengePair-de.dhbwstuttgart.typeinference.Menge-">copyMengePair(Menge<Pair>)</a></span> - Static method in class de.dhbwstuttgart.typeinference.unify.<ahref="../de/dhbwstuttgart/typeinference/unify/Unify.html"title="class in de.dhbwstuttgart.typeinference.unify">Unify</a></dt>
<dd> </dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/typeinference/unify/Unify.html#copyMengeType-de.dhbwstuttgart.typeinference.Menge-">copyMengeType(Menge<? extends Type>)</a></span> - Static method in class de.dhbwstuttgart.typeinference.unify.<ahref="../de/dhbwstuttgart/typeinference/unify/Unify.html"title="class in de.dhbwstuttgart.typeinference.unify">Unify</a></dt>
<dd>
<divclass="block">Kopiert einen Menge<Type>.</div>
</dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/typeinference/Pair.html#copyPair--">copyPair()</a></span> - Method in class de.dhbwstuttgart.typeinference.<ahref="../de/dhbwstuttgart/typeinference/Pair.html"title="class in de.dhbwstuttgart.typeinference">Pair</a></dt>
<dd> </dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/typeinference/Pair.html#copyType-de.dhbwstuttgart.syntaxtree.type.Type-">copyType(Type)</a></span> - Static method in class de.dhbwstuttgart.typeinference.<ahref="../de/dhbwstuttgart/typeinference/Pair.html"title="class in de.dhbwstuttgart.typeinference">Pair</a></dt>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/syntaxtree/type/GenericTypeVar.html#createAssumptions--">createAssumptions()</a></span> - Method in class de.dhbwstuttgart.syntaxtree.type.<ahref="../de/dhbwstuttgart/syntaxtree/type/GenericTypeVar.html"title="class in de.dhbwstuttgart.de.dhbwstuttgart.strucTypes4.syntaxtree.type">GenericTypeVar</a></dt>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/syntaxtree/Method.html#createEmptyMethod-java.lang.String-de.dhbwstuttgart.syntaxtree.Class-">createEmptyMethod(String, Class)</a></span> - Static method in class de.dhbwstuttgart.syntaxtree.<ahref="../de/dhbwstuttgart/syntaxtree/Method.html"title="class in de.dhbwstuttgart.syntaxtree">Method</a></dt>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/syntaxtree/misc/UsedId.html#createFromQualifiedName-java.lang.String-int-">createFromQualifiedName(String, int)</a></span> - Static method in class de.dhbwstuttgart.syntaxtree.misc.<ahref="../de/dhbwstuttgart/syntaxtree/misc/UsedId.html"title="class in de.dhbwstuttgart.de.dhbwstuttgart.strucTypes4.syntaxtree.misc">UsedId</a></dt>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/myexception/CTypeReconstructionException.html#createNotImplementedException--">createNotImplementedException()</a></span> - Static method in exception de.dhbwstuttgart.myexception.<ahref="../de/dhbwstuttgart/myexception/CTypeReconstructionException.html"title="class in de.dhbwstuttgart.myexception">CTypeReconstructionException</a></dt>
<dd> </dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/syntaxtree/SourceFile.html#createPairFromClassAndSuperclass-de.dhbwstuttgart.syntaxtree.Class-de.dhbwstuttgart.syntaxtree.type.Type-de.dhbwstuttgart.typeinference.Menge-de.dhbwstuttgart.typeinference.Menge-de.dhbwstuttgart.typeinference.assumptions.TypeAssumptions-">createPairFromClassAndSuperclass(Class, Type, Menge, Menge, TypeAssumptions)</a></span> - Method in class de.dhbwstuttgart.syntaxtree.<ahref="../de/dhbwstuttgart/syntaxtree/SourceFile.html"title="class in de.dhbwstuttgart.syntaxtree">SourceFile</a></dt>
<dd>
<divclass="block">Erstellt ein Typ-Paar, welches im 1.</div>
</dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/syntaxtree/Constant.html#createTypeAssumptions-de.dhbwstuttgart.syntaxtree.Class-">createTypeAssumptions(Class)</a></span> - Method in class de.dhbwstuttgart.syntaxtree.<ahref="../de/dhbwstuttgart/syntaxtree/Constant.html"title="class in de.dhbwstuttgart.syntaxtree">Constant</a></dt>
<dd> </dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/syntaxtree/Constructor.html#createTypeAssumptions-de.dhbwstuttgart.syntaxtree.Class-">createTypeAssumptions(Class)</a></span> - Method in class de.dhbwstuttgart.syntaxtree.<ahref="../de/dhbwstuttgart/syntaxtree/Constructor.html"title="class in de.dhbwstuttgart.syntaxtree">Constructor</a></dt>
<dd> </dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/syntaxtree/Field.html#createTypeAssumptions-de.dhbwstuttgart.syntaxtree.Class-">createTypeAssumptions(Class)</a></span> - Method in class de.dhbwstuttgart.syntaxtree.<ahref="../de/dhbwstuttgart/syntaxtree/Field.html"title="class in de.dhbwstuttgart.syntaxtree">Field</a></dt>
<dd>
<divclass="block">Diese Methode generiert die Assumptions für dieses Feld der Klasse classmember</div>
</dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/syntaxtree/FieldDeclaration.html#createTypeAssumptions-de.dhbwstuttgart.syntaxtree.Class-">createTypeAssumptions(Class)</a></span> - Method in class de.dhbwstuttgart.syntaxtree.<ahref="../de/dhbwstuttgart/syntaxtree/FieldDeclaration.html"title="class in de.dhbwstuttgart.syntaxtree">FieldDeclaration</a></dt>
<dd> </dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/syntaxtree/Method.html#createTypeAssumptions-de.dhbwstuttgart.syntaxtree.Class-">createTypeAssumptions(Class)</a></span> - Method in class de.dhbwstuttgart.syntaxtree.<ahref="../de/dhbwstuttgart/syntaxtree/Method.html"title="class in de.dhbwstuttgart.syntaxtree">Method</a></dt>
<dd>
<divclass="block">Liefert die MethodAssumption zu dieser Methode</div>
</dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/syntaxtree/SourceFile.html#createTypeFromJavaGenericType-java.lang.reflect.Type-java.lang.Class-java.util.Hashtable-de.dhbwstuttgart.syntaxtree.Class-">createTypeFromJavaGenericType(Type, Class<?>, Hashtable<String, GenericTypeVar>, Class)</a></span> - Method in class de.dhbwstuttgart.syntaxtree.<ahref="../de/dhbwstuttgart/syntaxtree/SourceFile.html"title="class in de.dhbwstuttgart.syntaxtree">SourceFile</a></dt>
<dd> </dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/syntaxtree/Field.html#createTypeInsertPoint-de.dhbwstuttgart.syntaxtree.type.TypePlaceholder-de.dhbwstuttgart.typeinference.ResultSet-">createTypeInsertPoint(TypePlaceholder, ResultSet)</a></span> - Method in class de.dhbwstuttgart.syntaxtree.<ahref="../de/dhbwstuttgart/syntaxtree/Field.html"title="class in de.dhbwstuttgart.syntaxtree">Field</a></dt>
<dd> </dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/syntaxtree/FormalParameter.html#createTypeInsertPoint-de.dhbwstuttgart.syntaxtree.type.TypePlaceholder-de.dhbwstuttgart.typeinference.ResultSet-">createTypeInsertPoint(TypePlaceholder, ResultSet)</a></span> - Method in class de.dhbwstuttgart.syntaxtree.<ahref="../de/dhbwstuttgart/syntaxtree/FormalParameter.html"title="class in de.dhbwstuttgart.syntaxtree">FormalParameter</a></dt>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/syntaxtree/statement/LambdaParameter.html#createTypeInsertPoint-de.dhbwstuttgart.syntaxtree.type.TypePlaceholder-de.dhbwstuttgart.typeinference.ResultSet-">createTypeInsertPoint(TypePlaceholder, ResultSet)</a></span> - Method in class de.dhbwstuttgart.syntaxtree.statement.<ahref="../de/dhbwstuttgart/syntaxtree/statement/LambdaParameter.html"title="class in de.dhbwstuttgart.de.dhbwstuttgart.strucTypes4.syntaxtree.statement">LambdaParameter</a></dt>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/syntaxtree/statement/LocalVarDecl.html#createTypeInsertPoint-de.dhbwstuttgart.syntaxtree.type.TypePlaceholder-de.dhbwstuttgart.typeinference.ResultSet-">createTypeInsertPoint(TypePlaceholder, ResultSet)</a></span> - Method in class de.dhbwstuttgart.syntaxtree.statement.<ahref="../de/dhbwstuttgart/syntaxtree/statement/LocalVarDecl.html"title="class in de.dhbwstuttgart.de.dhbwstuttgart.strucTypes4.syntaxtree.statement">LocalVarDecl</a></dt>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/typeinference/FunNMethod.html#createTypeInsertPoint-de.dhbwstuttgart.syntaxtree.type.TypePlaceholder-de.dhbwstuttgart.typeinference.ResultSet-">createTypeInsertPoint(TypePlaceholder, ResultSet)</a></span> - Method in class de.dhbwstuttgart.typeinference.<ahref="../de/dhbwstuttgart/typeinference/FunNMethod.html"title="class in de.dhbwstuttgart.typeinference">FunNMethod</a></dt>
<dd> </dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/typeinference/TypeInsertable.html#createTypeInsertPoint-de.dhbwstuttgart.syntaxtree.type.TypePlaceholder-de.dhbwstuttgart.typeinference.ResultSet-">createTypeInsertPoint(TypePlaceholder, ResultSet)</a></span> - Method in interface de.dhbwstuttgart.typeinference.<ahref="../de/dhbwstuttgart/typeinference/TypeInsertable.html"title="interface in de.dhbwstuttgart.typeinference">TypeInsertable</a></dt>
<dd>
<divclass="block">Errechnet den TypeInsertPoint für das TypeInsertable.</div>
</dd>
<dt><ahref="../de/dhbwstuttgart/typeinference/unify/CSet.html"title="class in de.dhbwstuttgart.typeinference.unify"><spanclass="typeNameLink">CSet</span></a><<ahref="../de/dhbwstuttgart/typeinference/unify/CSet.html"title="type parameter in CSet">E</a>> - Class in <ahref="../de/dhbwstuttgart/typeinference/unify/package-summary.html">de.dhbwstuttgart.typeinference.unify</a></dt>
<dd> </dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/typeinference/unify/CSet.html#CSet--">CSet()</a></span> - Constructor for class de.dhbwstuttgart.typeinference.unify.<ahref="../de/dhbwstuttgart/typeinference/unify/CSet.html"title="class in de.dhbwstuttgart.typeinference.unify">CSet</a></dt>
<dd> </dd>
<dt><ahref="../de/dhbwstuttgart/typeinference/unify/CSubstitution.html"title="class in de.dhbwstuttgart.typeinference.unify"><spanclass="typeNameLink">CSubstitution</span></a> - Class in <ahref="../de/dhbwstuttgart/typeinference/unify/package-summary.html">de.dhbwstuttgart.typeinference.unify</a></dt>
<dd>
<divclass="block">Implementierung einer Typsubstitution.</div>
</dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/typeinference/unify/CSubstitution.html#CSubstitution--">CSubstitution()</a></span> - Constructor for class de.dhbwstuttgart.typeinference.unify.<ahref="../de/dhbwstuttgart/typeinference/unify/CSubstitution.html"title="class in de.dhbwstuttgart.typeinference.unify">CSubstitution</a></dt>
<dd> </dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/typeinference/unify/CSubstitution.html#CSubstitution-de.dhbwstuttgart.syntaxtree.type.TypePlaceholder-de.dhbwstuttgart.syntaxtree.type.Type-">CSubstitution(TypePlaceholder, Type)</a></span> - Constructor for class de.dhbwstuttgart.typeinference.unify.<ahref="../de/dhbwstuttgart/typeinference/unify/CSubstitution.html"title="class in de.dhbwstuttgart.typeinference.unify">CSubstitution</a></dt>
<dd> </dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/typeinference/unify/CSubstitution.html#CSubstitution-de.dhbwstuttgart.typeinference.Pair-">CSubstitution(Pair)</a></span> - Constructor for class de.dhbwstuttgart.typeinference.unify.<ahref="../de/dhbwstuttgart/typeinference/unify/CSubstitution.html"title="class in de.dhbwstuttgart.typeinference.unify">CSubstitution</a></dt>
<dd> </dd>
<dt><ahref="../de/dhbwstuttgart/typeinference/unify/CSubstitutionGenVar.html"title="class in de.dhbwstuttgart.typeinference.unify"><spanclass="typeNameLink">CSubstitutionGenVar</span></a> - Class in <ahref="../de/dhbwstuttgart/typeinference/unify/package-summary.html">de.dhbwstuttgart.typeinference.unify</a></dt>
<dd>
<divclass="block">Implementierung einer Typsubstitution der GenVar.</div>
</dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/typeinference/unify/CSubstitutionGenVar.html#CSubstitutionGenVar--">CSubstitutionGenVar()</a></span> - Constructor for class de.dhbwstuttgart.typeinference.unify.<ahref="../de/dhbwstuttgart/typeinference/unify/CSubstitutionGenVar.html"title="class in de.dhbwstuttgart.typeinference.unify">CSubstitutionGenVar</a></dt>
<dd> </dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/typeinference/unify/CSubstitutionGenVar.html#CSubstitutionGenVar-de.dhbwstuttgart.syntaxtree.type.GenericTypeVar-de.dhbwstuttgart.syntaxtree.type.Type-">CSubstitutionGenVar(GenericTypeVar, Type)</a></span> - Constructor for class de.dhbwstuttgart.typeinference.unify.<ahref="../de/dhbwstuttgart/typeinference/unify/CSubstitutionGenVar.html"title="class in de.dhbwstuttgart.typeinference.unify">CSubstitutionGenVar</a></dt>
<dd> </dd>
<dt><ahref="../de/dhbwstuttgart/typeinference/unify/CSubstitutionSet.html"title="class in de.dhbwstuttgart.typeinference.unify"><spanclass="typeNameLink">CSubstitutionSet</span></a> - Class in <ahref="../de/dhbwstuttgart/typeinference/unify/package-summary.html">de.dhbwstuttgart.typeinference.unify</a></dt>
<dd> </dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/typeinference/unify/CSubstitutionSet.html#CSubstitutionSet--">CSubstitutionSet()</a></span> - Constructor for class de.dhbwstuttgart.typeinference.unify.<ahref="../de/dhbwstuttgart/typeinference/unify/CSubstitutionSet.html"title="class in de.dhbwstuttgart.typeinference.unify">CSubstitutionSet</a></dt>
<dd> </dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/typeinference/unify/CSubstitutionSet.html#CSubstitutionSet-de.dhbwstuttgart.typeinference.Menge-">CSubstitutionSet(Menge<Pair>)</a></span> - Constructor for class de.dhbwstuttgart.typeinference.unify.<ahref="../de/dhbwstuttgart/typeinference/unify/CSubstitutionSet.html"title="class in de.dhbwstuttgart.typeinference.unify">CSubstitutionSet</a></dt>
<dd> </dd>
<dt><ahref="../de/dhbwstuttgart/myexception/CTypeReconstructionException.html"title="class in de.dhbwstuttgart.myexception"><spanclass="typeNameLink">CTypeReconstructionException</span></a> - Exception in <ahref="../de/dhbwstuttgart/myexception/package-summary.html">de.dhbwstuttgart.myexception</a></dt>
<dd> </dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/myexception/CTypeReconstructionException.html#CTypeReconstructionException-java.lang.String-de.dhbwstuttgart.core.IItemWithOffset-">CTypeReconstructionException(String, IItemWithOffset)</a></span> - Constructor for exception de.dhbwstuttgart.myexception.<ahref="../de/dhbwstuttgart/myexception/CTypeReconstructionException.html"title="class in de.dhbwstuttgart.myexception">CTypeReconstructionException</a></dt>
<dd> </dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/myexception/CTypeReconstructionException.html#CTypeReconstructionException-java.lang.String-de.dhbwstuttgart.typeinference.Menge-de.dhbwstuttgart.core.IItemWithOffset-">CTypeReconstructionException(String, Menge<CTypeReconstructionException>, IItemWithOffset)</a></span> - Constructor for exception de.dhbwstuttgart.myexception.<ahref="../de/dhbwstuttgart/myexception/CTypeReconstructionException.html"title="class in de.dhbwstuttgart.myexception">CTypeReconstructionException</a></dt>
<dd> </dd>
<dt><ahref="../de/dhbwstuttgart/typeinference/unify/CVectorSet.html"title="class in de.dhbwstuttgart.typeinference.unify"><spanclass="typeNameLink">CVectorSet</span></a><<ahref="../de/dhbwstuttgart/typeinference/unify/CVectorSet.html"title="type parameter in CVectorSet">E</a>> - Class in <ahref="../de/dhbwstuttgart/typeinference/unify/package-summary.html">de.dhbwstuttgart.typeinference.unify</a></dt>
<dd> </dd>
<dt><spanclass="memberNameLink"><ahref="../de/dhbwstuttgart/typeinference/unify/CVectorSet.html#CVectorSet--">CVectorSet()</a></span> - Constructor for class de.dhbwstuttgart.typeinference.unify.<ahref="../de/dhbwstuttgart/typeinference/unify/CVectorSet.html"title="class in de.dhbwstuttgart.typeinference.unify">CVectorSet</a></dt>