<tableclass="useSummary"border="0"cellpadding="3"cellspacing="0"summary="Use table, listing packages, and an explanation">
<caption><span>Packages that use <ahref="../../../../de/dhbwstuttgart/syntaxtree/Class.html"title="class in de.dhbwstuttgart.syntaxtree">Class</a></span><spanclass="tabEnd"> </span></caption>
<h3>Uses of <ahref="../../../../de/dhbwstuttgart/syntaxtree/Class.html"title="class in de.dhbwstuttgart.syntaxtree">Class</a> in <ahref="../../../../de/dhbwstuttgart/syntaxtree/package-summary.html">de.dhbwstuttgart.syntaxtree</a></h3>
<tableclass="useSummary"border="0"cellpadding="3"cellspacing="0"summary="Use table, listing subclasses, and an explanation">
<caption><span>Subclasses of <ahref="../../../../de/dhbwstuttgart/syntaxtree/Class.html"title="class in de.dhbwstuttgart.syntaxtree">Class</a> in <ahref="../../../../de/dhbwstuttgart/syntaxtree/package-summary.html">de.dhbwstuttgart.syntaxtree</a></span><spanclass="tabEnd"> </span></caption>
<tr>
<thclass="colFirst"scope="col">Modifier and Type</th>
<thclass="colLast"scope="col">Class and Description</th>
</tr>
<tbody>
<trclass="altColor">
<tdclass="colFirst"><code>class </code></td>
<tdclass="colLast"><code><spanclass="memberNameLink"><ahref="../../../../de/dhbwstuttgart/syntaxtree/BasicAssumptionClass.html"title="class in de.dhbwstuttgart.syntaxtree">BasicAssumptionClass</a></span></code> </td>
</tr>
<trclass="rowColor">
<tdclass="colFirst"><code>class </code></td>
<tdclass="colLast"><code><spanclass="memberNameLink"><ahref="../../../../de/dhbwstuttgart/syntaxtree/Interface.html"title="class in de.dhbwstuttgart.syntaxtree">Interface</a></span></code>
<divclass="block">Ein Interface ist eine abstrakte Klasse, erbt daher von Class</div>
</td>
</tr>
</tbody>
</table>
<tableclass="useSummary"border="0"cellpadding="3"cellspacing="0"summary="Use table, listing fields, and an explanation">
<caption><span>Fields in <ahref="../../../../de/dhbwstuttgart/syntaxtree/package-summary.html">de.dhbwstuttgart.syntaxtree</a> with type parameters of type <ahref="../../../../de/dhbwstuttgart/syntaxtree/Class.html"title="class in de.dhbwstuttgart.syntaxtree">Class</a></span><spanclass="tabEnd"> </span></caption>
<tr>
<thclass="colFirst"scope="col">Modifier and Type</th>
<thclass="colLast"scope="col">Field and Description</th>
</tr>
<tbody>
<trclass="altColor">
<tdclass="colFirst"><code><ahref="../../../../de/dhbwstuttgart/typeinference/Menge.html"title="class in de.dhbwstuttgart.typeinference">Menge</a><<ahref="../../../../de/dhbwstuttgart/syntaxtree/Class.html"title="class in de.dhbwstuttgart.syntaxtree">Class</a>></code></td>
<tableclass="useSummary"border="0"cellpadding="3"cellspacing="0"summary="Use table, listing methods, and an explanation">
<caption><span>Methods in <ahref="../../../../de/dhbwstuttgart/syntaxtree/package-summary.html">de.dhbwstuttgart.syntaxtree</a> that return <ahref="../../../../de/dhbwstuttgart/syntaxtree/Class.html"title="class in de.dhbwstuttgart.syntaxtree">Class</a></span><spanclass="tabEnd"> </span></caption>
<tr>
<thclass="colFirst"scope="col">Modifier and Type</th>
<thclass="colLast"scope="col">Method and Description</th>
</tr>
<tbody>
<trclass="altColor">
<tdclass="colFirst"><code><ahref="../../../../de/dhbwstuttgart/syntaxtree/Class.html"title="class in de.dhbwstuttgart.syntaxtree">Class</a></code></td>
<tdclass="colFirst"><code>private <ahref="../../../../de/dhbwstuttgart/syntaxtree/Class.html"title="class in de.dhbwstuttgart.syntaxtree">Class</a></code></td>
<ahref="../../../../de/dhbwstuttgart/typeinference/assumptions/TypeAssumptions.html"title="class in de.dhbwstuttgart.typeinference.assumptions">TypeAssumptions</a> ass)</code> </td>
</tr>
</tbody>
</table>
<tableclass="useSummary"border="0"cellpadding="3"cellspacing="0"summary="Use table, listing methods, and an explanation">
<caption><span>Methods in <ahref="../../../../de/dhbwstuttgart/syntaxtree/package-summary.html">de.dhbwstuttgart.syntaxtree</a> that return types with arguments of type <ahref="../../../../de/dhbwstuttgart/syntaxtree/Class.html"title="class in de.dhbwstuttgart.syntaxtree">Class</a></span><spanclass="tabEnd"> </span></caption>
<tr>
<thclass="colFirst"scope="col">Modifier and Type</th>
<thclass="colLast"scope="col">Method and Description</th>
</tr>
<tbody>
<trclass="altColor">
<tdclass="colFirst"><code>java.util.Iterator<<ahref="../../../../de/dhbwstuttgart/syntaxtree/Class.html"title="class in de.dhbwstuttgart.syntaxtree">Class</a>></code></td>
<tableclass="useSummary"border="0"cellpadding="3"cellspacing="0"summary="Use table, listing methods, and an explanation">
<caption><span>Methods in <ahref="../../../../de/dhbwstuttgart/syntaxtree/package-summary.html">de.dhbwstuttgart.syntaxtree</a> with parameters of type <ahref="../../../../de/dhbwstuttgart/syntaxtree/Class.html"title="class in de.dhbwstuttgart.syntaxtree">Class</a></span><spanclass="tabEnd"> </span></caption>
<tr>
<thclass="colFirst"scope="col">Modifier and Type</th>
<thclass="colLast"scope="col">Method and Description</th>
</tr>
<tbody>
<trclass="altColor">
<tdclass="colFirst"><code>static <ahref="../../../../de/dhbwstuttgart/syntaxtree/Method.html"title="class in de.dhbwstuttgart.syntaxtree">Method</a></code></td>
<ahref="../../../../de/dhbwstuttgart/syntaxtree/Class.html"title="class in de.dhbwstuttgart.syntaxtree">Class</a> parent)</code> </td>
</tr>
<trclass="rowColor">
<tdclass="colFirst"><code>private <ahref="../../../../de/dhbwstuttgart/typeinference/Pair.html"title="class in de.dhbwstuttgart.typeinference">Pair</a></code></td>
<tdclass="colLast"><spanclass="typeNameLabel">SourceFile.</span><code><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</a></span>(<ahref="../../../../de/dhbwstuttgart/syntaxtree/Class.html"title="class in de.dhbwstuttgart.syntaxtree">Class</a> baseClass,
<ahref="../../../../de/dhbwstuttgart/syntaxtree/type/Type.html"title="class in de.dhbwstuttgart.syntaxtree.type">Type</a> superclass,
<ahref="../../../../de/dhbwstuttgart/typeinference/Menge.html"title="class in de.dhbwstuttgart.typeinference">Menge</a> classParaOrg,
<ahref="../../../../de/dhbwstuttgart/typeinference/Menge.html"title="class in de.dhbwstuttgart.typeinference">Menge</a> superclassParaOrg,
<ahref="../../../../de/dhbwstuttgart/typeinference/assumptions/TypeAssumptions.html"title="class in de.dhbwstuttgart.typeinference.assumptions">TypeAssumptions</a> ass)</code>
<divclass="block">Erstellt ein Typ-Paar, welches im 1.</div>
</td>
</tr>
<trclass="altColor">
<tdclass="colFirst"><code><ahref="../../../../de/dhbwstuttgart/typeinference/assumptions/TypeAssumptions.html"title="class in de.dhbwstuttgart.typeinference.assumptions">TypeAssumptions</a></code></td>
<tdclass="colLast"><spanclass="typeNameLabel">Constructor.</span><code><spanclass="memberNameLink"><ahref="../../../../de/dhbwstuttgart/syntaxtree/Constructor.html#createTypeAssumptions-de.dhbwstuttgart.syntaxtree.Class-">createTypeAssumptions</a></span>(<ahref="../../../../de/dhbwstuttgart/syntaxtree/Class.html"title="class in de.dhbwstuttgart.syntaxtree">Class</a> classmember)</code> </td>
</tr>
<trclass="rowColor">
<tdclass="colFirst"><code><ahref="../../../../de/dhbwstuttgart/typeinference/assumptions/TypeAssumptions.html"title="class in de.dhbwstuttgart.typeinference.assumptions">TypeAssumptions</a></code></td>
<tdclass="colLast"><spanclass="typeNameLabel">Constant.</span><code><spanclass="memberNameLink"><ahref="../../../../de/dhbwstuttgart/syntaxtree/Constant.html#createTypeAssumptions-de.dhbwstuttgart.syntaxtree.Class-">createTypeAssumptions</a></span>(<ahref="../../../../de/dhbwstuttgart/syntaxtree/Class.html"title="class in de.dhbwstuttgart.syntaxtree">Class</a> classmember)</code> </td>
</tr>
<trclass="altColor">
<tdclass="colFirst"><code><ahref="../../../../de/dhbwstuttgart/typeinference/assumptions/TypeAssumptions.html"title="class in de.dhbwstuttgart.typeinference.assumptions">TypeAssumptions</a></code></td>
<tdclass="colLast"><spanclass="typeNameLabel">FieldDeclaration.</span><code><spanclass="memberNameLink"><ahref="../../../../de/dhbwstuttgart/syntaxtree/FieldDeclaration.html#createTypeAssumptions-de.dhbwstuttgart.syntaxtree.Class-">createTypeAssumptions</a></span>(<ahref="../../../../de/dhbwstuttgart/syntaxtree/Class.html"title="class in de.dhbwstuttgart.syntaxtree">Class</a> classmember)</code> </td>
</tr>
<trclass="rowColor">
<tdclass="colFirst"><code><ahref="../../../../de/dhbwstuttgart/typeinference/assumptions/TypeAssumptions.html"title="class in de.dhbwstuttgart.typeinference.assumptions">TypeAssumptions</a></code></td>
<tdclass="colLast"><spanclass="typeNameLabel">Method.</span><code><spanclass="memberNameLink"><ahref="../../../../de/dhbwstuttgart/syntaxtree/Method.html#createTypeAssumptions-de.dhbwstuttgart.syntaxtree.Class-">createTypeAssumptions</a></span>(<ahref="../../../../de/dhbwstuttgart/syntaxtree/Class.html"title="class in de.dhbwstuttgart.syntaxtree">Class</a> classmember)</code>
<divclass="block">Liefert die MethodAssumption zu dieser Methode</div>
</td>
</tr>
<trclass="altColor">
<tdclass="colFirst"><code>abstract <ahref="../../../../de/dhbwstuttgart/typeinference/assumptions/TypeAssumptions.html"title="class in de.dhbwstuttgart.typeinference.assumptions">TypeAssumptions</a></code></td>
<tdclass="colLast"><spanclass="typeNameLabel">Field.</span><code><spanclass="memberNameLink"><ahref="../../../../de/dhbwstuttgart/syntaxtree/Field.html#createTypeAssumptions-de.dhbwstuttgart.syntaxtree.Class-">createTypeAssumptions</a></span>(<ahref="../../../../de/dhbwstuttgart/syntaxtree/Class.html"title="class in de.dhbwstuttgart.syntaxtree">Class</a> classmember)</code>
<divclass="block">Diese Methode generiert die Assumptions für dieses Feld der Klasse classmember</div>
</td>
</tr>
<trclass="rowColor">
<tdclass="colFirst"><code>private <ahref="../../../../de/dhbwstuttgart/syntaxtree/type/Type.html"title="class in de.dhbwstuttgart.syntaxtree.type">Type</a></code></td>
java.util.Hashtable<java.lang.String,<ahref="../../../../de/dhbwstuttgart/syntaxtree/type/GenericTypeVar.html"title="class in de.dhbwstuttgart.syntaxtree.type">GenericTypeVar</a>> jreSpiderRegistry,
<ahref="../../../../de/dhbwstuttgart/syntaxtree/Class.html"title="class in de.dhbwstuttgart.syntaxtree">Class</a> parentClass)</code> </td>
</tr>
</tbody>
</table>
<tableclass="useSummary"border="0"cellpadding="3"cellspacing="0"summary="Use table, listing methods, and an explanation">
<caption><span>Method parameters in <ahref="../../../../de/dhbwstuttgart/syntaxtree/package-summary.html">de.dhbwstuttgart.syntaxtree</a> with type arguments of type <ahref="../../../../de/dhbwstuttgart/syntaxtree/Class.html"title="class in de.dhbwstuttgart.syntaxtree">Class</a></span><spanclass="tabEnd"> </span></caption>
<tr>
<thclass="colFirst"scope="col">Modifier and Type</th>
<thclass="colLast"scope="col">Method and Description</th>
</tr>
<tbody>
<trclass="altColor">
<tdclass="colFirst"><code>boolean</code></td>
<tdclass="colLast"><spanclass="typeNameLabel">ClassBody.</span><code><spanclass="memberNameLink"><ahref="../../../../de/dhbwstuttgart/syntaxtree/ClassBody.html#is_declared-de.dhbwstuttgart.syntaxtree.type.Type-de.dhbwstuttgart.typeinference.Menge-">is_declared</a></span>(<ahref="../../../../de/dhbwstuttgart/syntaxtree/type/Type.html"title="class in de.dhbwstuttgart.syntaxtree.type">Type</a> t,
<ahref="../../../../de/dhbwstuttgart/typeinference/Menge.html"title="class in de.dhbwstuttgart.typeinference">Menge</a><<ahref="../../../../de/dhbwstuttgart/syntaxtree/Class.html"title="class in de.dhbwstuttgart.syntaxtree">Class</a>> classlist)</code> </td>
</tr>
</tbody>
</table>
<tableclass="useSummary"border="0"cellpadding="3"cellspacing="0"summary="Use table, listing constructors, and an explanation">
<caption><span>Constructor parameters in <ahref="../../../../de/dhbwstuttgart/syntaxtree/package-summary.html">de.dhbwstuttgart.syntaxtree</a> with type arguments of type <ahref="../../../../de/dhbwstuttgart/syntaxtree/Class.html"title="class in de.dhbwstuttgart.syntaxtree">Class</a></span><spanclass="tabEnd"> </span></caption>
<tr>
<thclass="colOne"scope="col">Constructor and Description</th>
</tr>
<tbody>
<trclass="altColor">
<tdclass="colLast"><code><spanclass="memberNameLink"><ahref="../../../../de/dhbwstuttgart/syntaxtree/SourceFile.html#SourceFile-de.dhbwstuttgart.typeinference.Menge-">SourceFile</a></span>(<ahref="../../../../de/dhbwstuttgart/typeinference/Menge.html"title="class in de.dhbwstuttgart.typeinference">Menge</a><<ahref="../../../../de/dhbwstuttgart/syntaxtree/Class.html"title="class in de.dhbwstuttgart.syntaxtree">Class</a>> classDefinitions)</code> </td>
<h3>Uses of <ahref="../../../../de/dhbwstuttgart/syntaxtree/Class.html"title="class in de.dhbwstuttgart.syntaxtree">Class</a> in <ahref="../../../../de/dhbwstuttgart/syntaxtree/statement/package-summary.html">de.dhbwstuttgart.syntaxtree.statement</a></h3>
<tableclass="useSummary"border="0"cellpadding="3"cellspacing="0"summary="Use table, listing methods, and an explanation">
<caption><span>Method parameters in <ahref="../../../../de/dhbwstuttgart/syntaxtree/statement/package-summary.html">de.dhbwstuttgart.syntaxtree.statement</a> with type arguments of type <ahref="../../../../de/dhbwstuttgart/syntaxtree/Class.html"title="class in de.dhbwstuttgart.syntaxtree">Class</a></span><spanclass="tabEnd"> </span></caption>
<tr>
<thclass="colFirst"scope="col">Modifier and Type</th>
<thclass="colLast"scope="col">Method and Description</th>
</tr>
<tbody>
<trclass="altColor">
<tdclass="colFirst"><code>void</code></td>
<tdclass="colLast"><spanclass="typeNameLabel">LocalVarDecl.</span><code><spanclass="memberNameLink"><ahref="../../../../de/dhbwstuttgart/syntaxtree/statement/LocalVarDecl.html#is_declared-de.dhbwstuttgart.syntaxtree.type.Type-de.dhbwstuttgart.typeinference.Menge-">is_declared</a></span>(<ahref="../../../../de/dhbwstuttgart/syntaxtree/type/Type.html"title="class in de.dhbwstuttgart.syntaxtree.type">Type</a> t,
<ahref="../../../../de/dhbwstuttgart/typeinference/Menge.html"title="class in de.dhbwstuttgart.typeinference">Menge</a><<ahref="../../../../de/dhbwstuttgart/syntaxtree/Class.html"title="class in de.dhbwstuttgart.syntaxtree">Class</a>> classlist)</code> </td>
<tdclass="colLast"><spanclass="typeNameLabel">ForStmt.</span><code><spanclass="memberNameLink"><ahref="../../../../de/dhbwstuttgart/syntaxtree/statement/ForStmt.html#sc_check-de.dhbwstuttgart.typeinference.Menge-java.util.Hashtable-java.util.Hashtable-boolean-java.util.Hashtable-java.util.Hashtable-">sc_check</a></span>(<ahref="../../../../de/dhbwstuttgart/typeinference/Menge.html"title="class in de.dhbwstuttgart.typeinference">Menge</a><<ahref="../../../../de/dhbwstuttgart/syntaxtree/Class.html"title="class in de.dhbwstuttgart.syntaxtree">Class</a>> classname,
<h3>Uses of <ahref="../../../../de/dhbwstuttgart/syntaxtree/Class.html"title="class in de.dhbwstuttgart.syntaxtree">Class</a> in <ahref="../../../../de/dhbwstuttgart/typeinference/package-summary.html">de.dhbwstuttgart.typeinference</a></h3>
<tableclass="useSummary"border="0"cellpadding="3"cellspacing="0"summary="Use table, listing subclasses, and an explanation">
<caption><span>Subclasses of <ahref="../../../../de/dhbwstuttgart/syntaxtree/Class.html"title="class in de.dhbwstuttgart.syntaxtree">Class</a> in <ahref="../../../../de/dhbwstuttgart/typeinference/package-summary.html">de.dhbwstuttgart.typeinference</a></span><spanclass="tabEnd"> </span></caption>
<tr>
<thclass="colFirst"scope="col">Modifier and Type</th>
<thclass="colLast"scope="col">Class and Description</th>
</tr>
<tbody>
<trclass="altColor">
<tdclass="colFirst"><code>class </code></td>
<tdclass="colLast"><code><spanclass="memberNameLink"><ahref="../../../../de/dhbwstuttgart/typeinference/FunNInterface.html"title="class in de.dhbwstuttgart.typeinference">FunNInterface</a></span></code>
<divclass="block">Stellt das Interface FunN dar.</div>
</td>
</tr>
</tbody>
</table>
<tableclass="useSummary"border="0"cellpadding="3"cellspacing="0"summary="Use table, listing fields, and an explanation">
<caption><span>Fields in <ahref="../../../../de/dhbwstuttgart/typeinference/package-summary.html">de.dhbwstuttgart.typeinference</a> declared as <ahref="../../../../de/dhbwstuttgart/syntaxtree/Class.html"title="class in de.dhbwstuttgart.syntaxtree">Class</a></span><spanclass="tabEnd"> </span></caption>
<tr>
<thclass="colFirst"scope="col">Modifier and Type</th>
<thclass="colLast"scope="col">Field and Description</th>
</tr>
<tbody>
<trclass="altColor">
<tdclass="colFirst"><code>private <ahref="../../../../de/dhbwstuttgart/syntaxtree/Class.html"title="class in de.dhbwstuttgart.syntaxtree">Class</a></code></td>
<tableclass="useSummary"border="0"cellpadding="3"cellspacing="0"summary="Use table, listing methods, and an explanation">
<caption><span>Methods in <ahref="../../../../de/dhbwstuttgart/typeinference/package-summary.html">de.dhbwstuttgart.typeinference</a> that return <ahref="../../../../de/dhbwstuttgart/syntaxtree/Class.html"title="class in de.dhbwstuttgart.syntaxtree">Class</a></span><spanclass="tabEnd"> </span></caption>
<tr>
<thclass="colFirst"scope="col">Modifier and Type</th>
<thclass="colLast"scope="col">Method and Description</th>
</tr>
<tbody>
<trclass="altColor">
<tdclass="colFirst"><code><ahref="../../../../de/dhbwstuttgart/syntaxtree/Class.html"title="class in de.dhbwstuttgart.syntaxtree">Class</a></code></td>
<divclass="block">Jedes TypeReconstructionResultSet entstand bei der Typinferierung einer Klasse.</div>
</td>
</tr>
</tbody>
</table>
<tableclass="useSummary"border="0"cellpadding="3"cellspacing="0"summary="Use table, listing constructors, and an explanation">
<caption><span>Constructors in <ahref="../../../../de/dhbwstuttgart/typeinference/package-summary.html">de.dhbwstuttgart.typeinference</a> with parameters of type <ahref="../../../../de/dhbwstuttgart/syntaxtree/Class.html"title="class in de.dhbwstuttgart.syntaxtree">Class</a></span><spanclass="tabEnd"> </span></caption>
<tr>
<thclass="colOne"scope="col">Constructor and Description</th>
</tr>
<tbody>
<trclass="altColor">
<tdclass="colLast"><code><spanclass="memberNameLink"><ahref="../../../../de/dhbwstuttgart/typeinference/TypeinferenceResultSet.html#TypeinferenceResultSet-de.dhbwstuttgart.syntaxtree.Class-de.dhbwstuttgart.typeinference.Menge-de.dhbwstuttgart.typeinference.ResultSet-">TypeinferenceResultSet</a></span>(<ahref="../../../../de/dhbwstuttgart/syntaxtree/Class.html"title="class in de.dhbwstuttgart.syntaxtree">Class</a> inferedClass,
<ahref="../../../../de/dhbwstuttgart/typeinference/Menge.html"title="class in de.dhbwstuttgart.typeinference">Menge</a><<ahref="../../../../de/dhbwstuttgart/typeinference/Pair.html"title="class in de.dhbwstuttgart.typeinference">Pair</a>> constraints,
<ahref="../../../../de/dhbwstuttgart/typeinference/ResultSet.html"title="class in de.dhbwstuttgart.typeinference">ResultSet</a> unifiedConstraints)</code> </td>
<h3>Uses of <ahref="../../../../de/dhbwstuttgart/syntaxtree/Class.html"title="class in de.dhbwstuttgart.syntaxtree">Class</a> in <ahref="../../../../de/dhbwstuttgart/typeinference/assumptions/package-summary.html">de.dhbwstuttgart.typeinference.assumptions</a></h3>
<tableclass="useSummary"border="0"cellpadding="3"cellspacing="0"summary="Use table, listing fields, and an explanation">
<caption><span>Fields in <ahref="../../../../de/dhbwstuttgart/typeinference/assumptions/package-summary.html">de.dhbwstuttgart.typeinference.assumptions</a> declared as <ahref="../../../../de/dhbwstuttgart/syntaxtree/Class.html"title="class in de.dhbwstuttgart.syntaxtree">Class</a></span><spanclass="tabEnd"> </span></caption>
<tr>
<thclass="colFirst"scope="col">Modifier and Type</th>
<thclass="colLast"scope="col">Field and Description</th>
</tr>
<tbody>
<trclass="altColor">
<tdclass="colFirst"><code>private <ahref="../../../../de/dhbwstuttgart/syntaxtree/Class.html"title="class in de.dhbwstuttgart.syntaxtree">Class</a></code></td>
<tdclass="colFirst"><code>private <ahref="../../../../de/dhbwstuttgart/syntaxtree/Class.html"title="class in de.dhbwstuttgart.syntaxtree">Class</a></code></td>
<tdclass="colFirst"><code>private <ahref="../../../../de/dhbwstuttgart/syntaxtree/Class.html"title="class in de.dhbwstuttgart.syntaxtree">Class</a></code></td>
<tableclass="useSummary"border="0"cellpadding="3"cellspacing="0"summary="Use table, listing methods, and an explanation">
<caption><span>Methods in <ahref="../../../../de/dhbwstuttgart/typeinference/assumptions/package-summary.html">de.dhbwstuttgart.typeinference.assumptions</a> that return <ahref="../../../../de/dhbwstuttgart/syntaxtree/Class.html"title="class in de.dhbwstuttgart.syntaxtree">Class</a></span><spanclass="tabEnd"> </span></caption>
<tr>
<thclass="colFirst"scope="col">Modifier and Type</th>
<thclass="colLast"scope="col">Method and Description</th>
</tr>
<tbody>
<trclass="altColor">
<tdclass="colFirst"><code><ahref="../../../../de/dhbwstuttgart/syntaxtree/Class.html"title="class in de.dhbwstuttgart.syntaxtree">Class</a></code></td>
<tdclass="colFirst"><code><ahref="../../../../de/dhbwstuttgart/syntaxtree/Class.html"title="class in de.dhbwstuttgart.syntaxtree">Class</a></code></td>
<tableclass="useSummary"border="0"cellpadding="3"cellspacing="0"summary="Use table, listing methods, and an explanation">
<caption><span>Methods in <ahref="../../../../de/dhbwstuttgart/typeinference/assumptions/package-summary.html">de.dhbwstuttgart.typeinference.assumptions</a> with parameters of type <ahref="../../../../de/dhbwstuttgart/syntaxtree/Class.html"title="class in de.dhbwstuttgart.syntaxtree">Class</a></span><spanclass="tabEnd"> </span></caption>
<tr>
<thclass="colFirst"scope="col">Modifier and Type</th>
<thclass="colLast"scope="col">Method and Description</th>
</tr>
<tbody>
<trclass="altColor">
<tdclass="colFirst"><code><ahref="../../../../de/dhbwstuttgart/syntaxtree/type/Type.html"title="class in de.dhbwstuttgart.syntaxtree.type">Type</a></code></td>
<ahref="../../../../de/dhbwstuttgart/syntaxtree/Class.html"title="class in de.dhbwstuttgart.syntaxtree">Class</a> inClass)</code>
<divclass="block">Liefert den Typ einer Feldvariable der Klasse inClass</div>
</td>
</tr>
<trclass="rowColor">
<tdclass="colFirst"><code><ahref="../../../../de/dhbwstuttgart/syntaxtree/type/Type.html"title="class in de.dhbwstuttgart.syntaxtree.type">Type</a></code></td>
<ahref="../../../../de/dhbwstuttgart/syntaxtree/Class.html"title="class in de.dhbwstuttgart.syntaxtree">Class</a> inScope)</code>
<divclass="block">Durchsucht die Assumptions des aktuellen Gültigkeitsbereichs (lokale Variablen und Felder der aktuellen Klasse) nach einem Eintrag für den übergebenen Variablennamen.</div>
</td>
</tr>
</tbody>
</table>
<tableclass="useSummary"border="0"cellpadding="3"cellspacing="0"summary="Use table, listing constructors, and an explanation">
<caption><span>Constructors in <ahref="../../../../de/dhbwstuttgart/typeinference/assumptions/package-summary.html">de.dhbwstuttgart.typeinference.assumptions</a> with parameters of type <ahref="../../../../de/dhbwstuttgart/syntaxtree/Class.html"title="class in de.dhbwstuttgart.syntaxtree">Class</a></span><spanclass="tabEnd"> </span></caption>
<tr>
<thclass="colOne"scope="col">Constructor and Description</th>
</tr>
<tbody>
<trclass="altColor">
<tdclass="colLast"><code><spanclass="memberNameLink"><ahref="../../../../de/dhbwstuttgart/typeinference/assumptions/ClassAssumption.html#ClassAssumption-de.dhbwstuttgart.syntaxtree.Class-">ClassAssumption</a></span>(<ahref="../../../../de/dhbwstuttgart/syntaxtree/Class.html"title="class in de.dhbwstuttgart.syntaxtree">Class</a> cls)</code> </td>
</tr>
<trclass="rowColor">
<tdclass="colLast"><code><spanclass="memberNameLink"><ahref="../../../../de/dhbwstuttgart/typeinference/assumptions/ConstructorAssumption.html#ConstructorAssumption-de.dhbwstuttgart.syntaxtree.Method-de.dhbwstuttgart.syntaxtree.Class-">ConstructorAssumption</a></span>(<ahref="../../../../de/dhbwstuttgart/syntaxtree/Method.html"title="class in de.dhbwstuttgart.syntaxtree">Method</a> assumedMethod,
<ahref="../../../../de/dhbwstuttgart/syntaxtree/Class.html"title="class in de.dhbwstuttgart.syntaxtree">Class</a> parentClass)</code> </td>
</tr>
<trclass="altColor">
<tdclass="colLast"><code><spanclass="memberNameLink"><ahref="../../../../de/dhbwstuttgart/typeinference/assumptions/FieldAssumption.html#FieldAssumption-de.dhbwstuttgart.syntaxtree.Field-de.dhbwstuttgart.syntaxtree.Class-">FieldAssumption</a></span>(<ahref="../../../../de/dhbwstuttgart/syntaxtree/Field.html"title="class in de.dhbwstuttgart.syntaxtree">Field</a> fieldVar,
<ahref="../../../../de/dhbwstuttgart/syntaxtree/Class.html"title="class in de.dhbwstuttgart.syntaxtree">Class</a> inClass)</code> </td>
</tr>
<trclass="rowColor">
<tdclass="colLast"><code><spanclass="memberNameLink"><ahref="../../../../de/dhbwstuttgart/typeinference/assumptions/MethodAssumption.html#MethodAssumption-de.dhbwstuttgart.syntaxtree.Method-de.dhbwstuttgart.syntaxtree.Class-">MethodAssumption</a></span>(<ahref="../../../../de/dhbwstuttgart/syntaxtree/Method.html"title="class in de.dhbwstuttgart.syntaxtree">Method</a> assumedMethod,
<ahref="../../../../de/dhbwstuttgart/syntaxtree/Class.html"title="class in de.dhbwstuttgart.syntaxtree">Class</a> parentClass)</code> </td>
<h3>Uses of <ahref="../../../../de/dhbwstuttgart/syntaxtree/Class.html"title="class in de.dhbwstuttgart.syntaxtree">Class</a> in <ahref="../../../../de/dhbwstuttgart/typeinference/unify/package-summary.html">de.dhbwstuttgart.typeinference.unify</a></h3>
<tableclass="useSummary"border="0"cellpadding="3"cellspacing="0"summary="Use table, listing fields, and an explanation">
<caption><span>Fields in <ahref="../../../../de/dhbwstuttgart/typeinference/unify/package-summary.html">de.dhbwstuttgart.typeinference.unify</a> with type parameters of type <ahref="../../../../de/dhbwstuttgart/syntaxtree/Class.html"title="class in de.dhbwstuttgart.syntaxtree">Class</a></span><spanclass="tabEnd"> </span></caption>
<tr>
<thclass="colFirst"scope="col">Modifier and Type</th>
<thclass="colLast"scope="col">Field and Description</th>
</tr>
<tbody>
<trclass="altColor">
<tdclass="colFirst"><code>(package private) <ahref="../../../../de/dhbwstuttgart/typeinference/Menge.html"title="class in de.dhbwstuttgart.typeinference">Menge</a><<ahref="../../../../de/dhbwstuttgart/syntaxtree/Class.html"title="class in de.dhbwstuttgart.syntaxtree">Class</a>></code></td>
<tableclass="useSummary"border="0"cellpadding="3"cellspacing="0"summary="Use table, listing methods, and an explanation">
<caption><span>Methods in <ahref="../../../../de/dhbwstuttgart/typeinference/unify/package-summary.html">de.dhbwstuttgart.typeinference.unify</a> that return types with arguments of type <ahref="../../../../de/dhbwstuttgart/syntaxtree/Class.html"title="class in de.dhbwstuttgart.syntaxtree">Class</a></span><spanclass="tabEnd"> </span></caption>
<tr>
<thclass="colFirst"scope="col">Modifier and Type</th>
<thclass="colLast"scope="col">Method and Description</th>
</tr>
<tbody>
<trclass="altColor">
<tdclass="colFirst"><code><ahref="../../../../de/dhbwstuttgart/typeinference/Menge.html"title="class in de.dhbwstuttgart.typeinference">Menge</a><<ahref="../../../../de/dhbwstuttgart/syntaxtree/Class.html"title="class in de.dhbwstuttgart.syntaxtree">Class</a>></code></td>
<tableclass="useSummary"border="0"cellpadding="3"cellspacing="0"summary="Use table, listing constructors, and an explanation">
<caption><span>Constructor parameters in <ahref="../../../../de/dhbwstuttgart/typeinference/unify/package-summary.html">de.dhbwstuttgart.typeinference.unify</a> with type arguments of type <ahref="../../../../de/dhbwstuttgart/syntaxtree/Class.html"title="class in de.dhbwstuttgart.syntaxtree">Class</a></span><spanclass="tabEnd"> </span></caption>
<tr>
<thclass="colOne"scope="col">Constructor and Description</th>
</tr>
<tbody>
<trclass="altColor">
<tdclass="colLast"><code><spanclass="memberNameLink"><ahref="../../../../de/dhbwstuttgart/typeinference/unify/FC_TTO.html#FC_TTO-de.dhbwstuttgart.typeinference.Menge-de.dhbwstuttgart.typeinference.Menge-de.dhbwstuttgart.typeinference.Menge-">FC_TTO</a></span>(<ahref="../../../../de/dhbwstuttgart/typeinference/Menge.html"title="class in de.dhbwstuttgart.typeinference">Menge</a><<ahref="../../../../de/dhbwstuttgart/typeinference/Pair.html"title="class in de.dhbwstuttgart.typeinference">Pair</a>> fc,
<ahref="../../../../de/dhbwstuttgart/typeinference/Menge.html"title="class in de.dhbwstuttgart.typeinference">Menge</a> tto,
<ahref="../../../../de/dhbwstuttgart/typeinference/Menge.html"title="class in de.dhbwstuttgart.typeinference">Menge</a><<ahref="../../../../de/dhbwstuttgart/syntaxtree/Class.html"title="class in de.dhbwstuttgart.syntaxtree">Class</a>> classv)</code> </td>