<tableclass="useSummary"border="0"cellpadding="3"cellspacing="0"summary="Use table, listing packages, and an explanation">
<caption><span>Packages that use <ahref="../../../../de/dhbwstuttgart/parser/JavaClassName.html"title="class in de.dhbwstuttgart.parser">JavaClassName</a></span><spanclass="tabEnd"> </span></caption>
<h3>Uses of <ahref="../../../../de/dhbwstuttgart/parser/JavaClassName.html"title="class in de.dhbwstuttgart.parser">JavaClassName</a> in <ahref="../../../../de/dhbwstuttgart/core/package-summary.html">de.dhbwstuttgart.core</a></h3>
<tableclass="useSummary"border="0"cellpadding="3"cellspacing="0"summary="Use table, listing methods, and an explanation">
<caption><span>Methods in <ahref="../../../../de/dhbwstuttgart/core/package-summary.html">de.dhbwstuttgart.core</a> that return <ahref="../../../../de/dhbwstuttgart/parser/JavaClassName.html"title="class in de.dhbwstuttgart.parser">JavaClassName</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/parser/JavaClassName.html"title="class in de.dhbwstuttgart.parser">JavaClassName</a></code></td>
<h3>Uses of <ahref="../../../../de/dhbwstuttgart/parser/JavaClassName.html"title="class in de.dhbwstuttgart.parser">JavaClassName</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 methods, and an explanation">
<caption><span>Methods in <ahref="../../../../de/dhbwstuttgart/syntaxtree/package-summary.html">de.dhbwstuttgart.syntaxtree</a> that return <ahref="../../../../de/dhbwstuttgart/parser/JavaClassName.html"title="class in de.dhbwstuttgart.parser">JavaClassName</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/parser/JavaClassName.html"title="class in de.dhbwstuttgart.parser">JavaClassName</a></code></td>
<tdclass="colFirst"><code><ahref="../../../../de/dhbwstuttgart/parser/JavaClassName.html"title="class in de.dhbwstuttgart.parser">JavaClassName</a></code></td>
<tdclass="colFirst"><code><ahref="../../../../de/dhbwstuttgart/parser/JavaClassName.html"title="class in de.dhbwstuttgart.parser">JavaClassName</a></code></td>
<tdclass="colFirst"><code><ahref="../../../../de/dhbwstuttgart/parser/JavaClassName.html"title="class in de.dhbwstuttgart.parser">JavaClassName</a></code></td>
<h3>Uses of <ahref="../../../../de/dhbwstuttgart/parser/JavaClassName.html"title="class in de.dhbwstuttgart.parser">JavaClassName</a> in <ahref="../../../../de/dhbwstuttgart/syntaxtree/misc/package-summary.html">de.dhbwstuttgart.syntaxtree.misc</a></h3>
<tableclass="useSummary"border="0"cellpadding="3"cellspacing="0"summary="Use table, listing methods, and an explanation">
<caption><span>Methods in <ahref="../../../../de/dhbwstuttgart/syntaxtree/misc/package-summary.html">de.dhbwstuttgart.syntaxtree.misc</a> that return <ahref="../../../../de/dhbwstuttgart/parser/JavaClassName.html"title="class in de.dhbwstuttgart.parser">JavaClassName</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/parser/JavaClassName.html"title="class in de.dhbwstuttgart.parser">JavaClassName</a></code></td>
<h3>Uses of <ahref="../../../../de/dhbwstuttgart/parser/JavaClassName.html"title="class in de.dhbwstuttgart.parser">JavaClassName</a> in <ahref="../../../../de/dhbwstuttgart/syntaxtree/type/package-summary.html">de.dhbwstuttgart.syntaxtree.type</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/syntaxtree/type/package-summary.html">de.dhbwstuttgart.syntaxtree.type</a> declared as <ahref="../../../../de/dhbwstuttgart/parser/JavaClassName.html"title="class in de.dhbwstuttgart.parser">JavaClassName</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>protected <ahref="../../../../de/dhbwstuttgart/parser/JavaClassName.html"title="class in de.dhbwstuttgart.parser">JavaClassName</a></code></td>
<tableclass="useSummary"border="0"cellpadding="3"cellspacing="0"summary="Use table, listing fields, and an explanation">
<caption><span>Fields in <ahref="../../../../de/dhbwstuttgart/syntaxtree/type/package-summary.html">de.dhbwstuttgart.syntaxtree.type</a> with type parameters of type <ahref="../../../../de/dhbwstuttgart/parser/JavaClassName.html"title="class in de.dhbwstuttgart.parser">JavaClassName</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 static java.util.Hashtable<<ahref="../../../../de/dhbwstuttgart/parser/JavaClassName.html"title="class in de.dhbwstuttgart.parser">JavaClassName</a>,<ahref="../../../../de/dhbwstuttgart/syntaxtree/type/TypePlaceholder.html"title="class in de.dhbwstuttgart.syntaxtree.type">TypePlaceholder</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/type/package-summary.html">de.dhbwstuttgart.syntaxtree.type</a> that return <ahref="../../../../de/dhbwstuttgart/parser/JavaClassName.html"title="class in de.dhbwstuttgart.parser">JavaClassName</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/parser/JavaClassName.html"title="class in de.dhbwstuttgart.parser">JavaClassName</a></code></td>
<tdclass="colFirst"><code><ahref="../../../../de/dhbwstuttgart/parser/JavaClassName.html"title="class in de.dhbwstuttgart.parser">JavaClassName</a></code></td>
<tdclass="colFirst"><code><ahref="../../../../de/dhbwstuttgart/parser/JavaClassName.html"title="class in de.dhbwstuttgart.parser">JavaClassName</a></code></td>
<tdclass="colFirst"><code>private static <ahref="../../../../de/dhbwstuttgart/parser/JavaClassName.html"title="class in de.dhbwstuttgart.parser">JavaClassName</a></code></td>
<divclass="block">Erzeugt einen neuen Namen, und gibt diesen zurück
Methode aus TypePlaceholder kopiert</div>
</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/type/package-summary.html">de.dhbwstuttgart.syntaxtree.type</a> with parameters of type <ahref="../../../../de/dhbwstuttgart/parser/JavaClassName.html"title="class in de.dhbwstuttgart.parser">JavaClassName</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">RefType.</span><code><spanclass="memberNameLink"><ahref="../../../../de/dhbwstuttgart/syntaxtree/type/RefType.html#setName-de.dhbwstuttgart.parser.JavaClassName-">setName</a></span>(<ahref="../../../../de/dhbwstuttgart/parser/JavaClassName.html"title="class in de.dhbwstuttgart.parser">JavaClassName</a> name)</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/type/package-summary.html">de.dhbwstuttgart.syntaxtree.type</a> with type arguments of type <ahref="../../../../de/dhbwstuttgart/parser/JavaClassName.html"title="class in de.dhbwstuttgart.parser">JavaClassName</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">RefType.</span><code><spanclass="memberNameLink"><ahref="../../../../de/dhbwstuttgart/syntaxtree/type/RefType.html#Equiv2Equal-de.dhbwstuttgart.syntaxtree.type.RefType-java.util.Hashtable-">Equiv2Equal</a></span>(<ahref="../../../../de/dhbwstuttgart/syntaxtree/type/RefType.html"title="class in de.dhbwstuttgart.syntaxtree.type">RefType</a> ty2,
java.util.Hashtable<<ahref="../../../../de/dhbwstuttgart/parser/JavaClassName.html"title="class in de.dhbwstuttgart.parser">JavaClassName</a>,<ahref="../../../../de/dhbwstuttgart/syntaxtree/type/Type.html"title="class in de.dhbwstuttgart.syntaxtree.type">Type</a>> ht)</code> </td>
</tr>
<trclass="rowColor">
<tdclass="colFirst"><code>boolean</code></td>
<tdclass="colLast"><spanclass="typeNameLabel">RefType.</span><code><spanclass="memberNameLink"><ahref="../../../../de/dhbwstuttgart/syntaxtree/type/RefType.html#is_Equiv-de.dhbwstuttgart.syntaxtree.type.RefType-java.util.Hashtable-">is_Equiv</a></span>(<ahref="../../../../de/dhbwstuttgart/syntaxtree/type/RefType.html"title="class in de.dhbwstuttgart.syntaxtree.type">RefType</a> ty2,
java.util.Hashtable<<ahref="../../../../de/dhbwstuttgart/parser/JavaClassName.html"title="class in de.dhbwstuttgart.parser">JavaClassName</a>,<ahref="../../../../de/dhbwstuttgart/syntaxtree/type/Type.html"title="class in de.dhbwstuttgart.syntaxtree.type">Type</a>> ht)</code> </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/syntaxtree/type/package-summary.html">de.dhbwstuttgart.syntaxtree.type</a> with parameters of type <ahref="../../../../de/dhbwstuttgart/parser/JavaClassName.html"title="class in de.dhbwstuttgart.parser">JavaClassName</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/type/RefType.html#RefType-de.dhbwstuttgart.parser.JavaClassName-de.dhbwstuttgart.syntaxtree.SyntaxTreeNode-int-">RefType</a></span>(<ahref="../../../../de/dhbwstuttgart/parser/JavaClassName.html"title="class in de.dhbwstuttgart.parser">JavaClassName</a> jName,
<ahref="../../../../de/dhbwstuttgart/syntaxtree/SyntaxTreeNode.html"title="class in de.dhbwstuttgart.syntaxtree">SyntaxTreeNode</a> parent,
<h3>Uses of <ahref="../../../../de/dhbwstuttgart/parser/JavaClassName.html"title="class in de.dhbwstuttgart.parser">JavaClassName</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/parser/JavaClassName.html"title="class in de.dhbwstuttgart.parser">JavaClassName</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/parser/JavaClassName.html"title="class in de.dhbwstuttgart.parser">JavaClassName</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/parser/JavaClassName.html"title="class in de.dhbwstuttgart.parser">JavaClassName</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/parser/JavaClassName.html"title="class in de.dhbwstuttgart.parser">JavaClassName</a></code></td>
<tdclass="colFirst"><code><ahref="../../../../de/dhbwstuttgart/parser/JavaClassName.html"title="class in de.dhbwstuttgart.parser">JavaClassName</a></code></td>
<tdclass="colFirst"><code><ahref="../../../../de/dhbwstuttgart/parser/JavaClassName.html"title="class in de.dhbwstuttgart.parser">JavaClassName</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/parser/JavaClassName.html"title="class in de.dhbwstuttgart.parser">JavaClassName</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>private <ahref="../../../../de/dhbwstuttgart/typeinference/Menge.html"title="class in de.dhbwstuttgart.typeinference">Menge</a><<ahref="../../../../de/dhbwstuttgart/typeinference/assumptions/FieldAssumption.html"title="class in de.dhbwstuttgart.typeinference.assumptions">FieldAssumption</a>></code></td>
<tdclass="colLast"><spanclass="typeNameLabel">TypeAssumptions.</span><code><spanclass="memberNameLink"><ahref="../../../../de/dhbwstuttgart/typeinference/assumptions/TypeAssumptions.html#getAssumptionsFor-de.dhbwstuttgart.parser.JavaClassName-">getAssumptionsFor</a></span>(<ahref="../../../../de/dhbwstuttgart/parser/JavaClassName.html"title="class in de.dhbwstuttgart.parser">JavaClassName</a> className)</code>
<divclass="block">Liefert alle Assumptions, auÃer die der lokalen Variablen, welche einer bestimmten Klasse zugeordnet sind.</div>
</td>
</tr>
<trclass="rowColor">
<tdclass="colFirst"><code><ahref="../../../../de/dhbwstuttgart/typeinference/Menge.html"title="class in de.dhbwstuttgart.typeinference">Menge</a><<ahref="../../../../de/dhbwstuttgart/typeinference/assumptions/MethodAssumption.html"title="class in de.dhbwstuttgart.typeinference.assumptions">MethodAssumption</a>></code></td>
<tdclass="colLast"><spanclass="typeNameLabel">TypeAssumptions.</span><code><spanclass="memberNameLink"><ahref="../../../../de/dhbwstuttgart/typeinference/assumptions/TypeAssumptions.html#getMethodAssumptions-de.dhbwstuttgart.parser.JavaClassName-java.lang.String-">getMethodAssumptions</a></span>(<ahref="../../../../de/dhbwstuttgart/parser/JavaClassName.html"title="class in de.dhbwstuttgart.parser">JavaClassName</a> className,
java.lang.String methodName)</code>
<divclass="block">Sucht nach MethodAssumptions einer bestimmten Klasse mit einem bestimmten Namen.</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/parser/JavaClassName.html"title="class in de.dhbwstuttgart.parser">JavaClassName</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/TypeAssumptions.html#TypeAssumptions-de.dhbwstuttgart.parser.JavaClassName-">TypeAssumptions</a></span>(<ahref="../../../../de/dhbwstuttgart/parser/JavaClassName.html"title="class in de.dhbwstuttgart.parser">JavaClassName</a> thisClassName)</code> </td>
<h3>Uses of <ahref="../../../../de/dhbwstuttgart/parser/JavaClassName.html"title="class in de.dhbwstuttgart.parser">JavaClassName</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 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/parser/JavaClassName.html"title="class in de.dhbwstuttgart.parser">JavaClassName</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>private static java.util.Hashtable<<ahref="../../../../de/dhbwstuttgart/parser/JavaClassName.html"title="class in de.dhbwstuttgart.parser">JavaClassName</a>,<ahref="../../../../de/dhbwstuttgart/syntaxtree/type/Type.html"title="class in de.dhbwstuttgart.syntaxtree.type">Type</a>></code></td>
<tdclass="colLast"><spanclass="typeNameLabel">Unify.</span><code><spanclass="memberNameLink"><ahref="../../../../de/dhbwstuttgart/typeinference/unify/Unify.html#CaptureConversionHashtable-java.util.Hashtable-de.dhbwstuttgart.typeinference.unify.FC_TTO-">CaptureConversionHashtable</a></span>(java.util.Hashtable<<ahref="../../../../de/dhbwstuttgart/parser/JavaClassName.html"title="class in de.dhbwstuttgart.parser">JavaClassName</a>,<ahref="../../../../de/dhbwstuttgart/syntaxtree/type/Type.html"title="class in de.dhbwstuttgart.syntaxtree.type">Type</a>> ht,
<ahref="../../../../de/dhbwstuttgart/typeinference/unify/FC_TTO.html"title="class in de.dhbwstuttgart.typeinference.unify">FC_TTO</a> fc_tto)</code> </td>
</tr>
<trclass="rowColor">
<tdclass="colFirst"><code>static java.util.Hashtable<<ahref="../../../../de/dhbwstuttgart/parser/JavaClassName.html"title="class in de.dhbwstuttgart.parser">JavaClassName</a>,<ahref="../../../../de/dhbwstuttgart/syntaxtree/type/Type.html"title="class in de.dhbwstuttgart.syntaxtree.type">Type</a>></code></td>
<tdclass="colLast"><spanclass="typeNameLabel">Unify.</span><code><spanclass="memberNameLink"><ahref="../../../../de/dhbwstuttgart/typeinference/unify/Unify.html#MengePair2SubstHashtableMengePair-de.dhbwstuttgart.typeinference.Menge-">MengePair2SubstHashtableMengePair</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>> v)</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/typeinference/unify/package-summary.html">de.dhbwstuttgart.typeinference.unify</a> with type arguments of type <ahref="../../../../de/dhbwstuttgart/parser/JavaClassName.html"title="class in de.dhbwstuttgart.parser">JavaClassName</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>private static java.util.Hashtable<<ahref="../../../../de/dhbwstuttgart/parser/JavaClassName.html"title="class in de.dhbwstuttgart.parser">JavaClassName</a>,<ahref="../../../../de/dhbwstuttgart/syntaxtree/type/Type.html"title="class in de.dhbwstuttgart.syntaxtree.type">Type</a>></code></td>
<tdclass="colLast"><spanclass="typeNameLabel">Unify.</span><code><spanclass="memberNameLink"><ahref="../../../../de/dhbwstuttgart/typeinference/unify/Unify.html#CaptureConversionHashtable-java.util.Hashtable-de.dhbwstuttgart.typeinference.unify.FC_TTO-">CaptureConversionHashtable</a></span>(java.util.Hashtable<<ahref="../../../../de/dhbwstuttgart/parser/JavaClassName.html"title="class in de.dhbwstuttgart.parser">JavaClassName</a>,<ahref="../../../../de/dhbwstuttgart/syntaxtree/type/Type.html"title="class in de.dhbwstuttgart.syntaxtree.type">Type</a>> ht,
<ahref="../../../../de/dhbwstuttgart/typeinference/unify/FC_TTO.html"title="class in de.dhbwstuttgart.typeinference.unify">FC_TTO</a> fc_tto)</code> </td>
<tdclass="colLast"><spanclass="typeNameLabel">Unify.</span><code><spanclass="memberNameLink"><ahref="../../../../de/dhbwstuttgart/typeinference/unify/Unify.html#match-de.dhbwstuttgart.syntaxtree.type.RefType-de.dhbwstuttgart.syntaxtree.type.RefType-java.util.Hashtable-">match</a></span>(<ahref="../../../../de/dhbwstuttgart/syntaxtree/type/RefType.html"title="class in de.dhbwstuttgart.syntaxtree.type">RefType</a> FCtype,
<ahref="../../../../de/dhbwstuttgart/syntaxtree/type/RefType.html"title="class in de.dhbwstuttgart.syntaxtree.type">RefType</a> tomatch,
java.util.Hashtable<<ahref="../../../../de/dhbwstuttgart/parser/JavaClassName.html"title="class in de.dhbwstuttgart.parser">JavaClassName</a>,<ahref="../../../../de/dhbwstuttgart/syntaxtree/type/Type.html"title="class in de.dhbwstuttgart.syntaxtree.type">Type</a>> ht)</code> </td>
</tr>
<trclass="altColor">
<tdclass="colFirst"><code>static void</code></td>
<tdclass="colLast"><spanclass="typeNameLabel">Unify.</span><code><spanclass="memberNameLink"><ahref="../../../../de/dhbwstuttgart/typeinference/unify/Unify.html#SubstHashtable-de.dhbwstuttgart.syntaxtree.type.RefType-java.util.Hashtable-">SubstHashtable</a></span>(<ahref="../../../../de/dhbwstuttgart/syntaxtree/type/RefType.html"title="class in de.dhbwstuttgart.syntaxtree.type">RefType</a> typterm,
java.util.Hashtable<<ahref="../../../../de/dhbwstuttgart/parser/JavaClassName.html"title="class in de.dhbwstuttgart.parser">JavaClassName</a>,<ahref="../../../../de/dhbwstuttgart/syntaxtree/type/Type.html"title="class in de.dhbwstuttgart.syntaxtree.type">Type</a>> ht)</code> </td>
</tr>
<trclass="rowColor">
<tdclass="colFirst"><code>static <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>></code></td>
<tdclass="colLast"><spanclass="typeNameLabel">Unify.</span><code><spanclass="memberNameLink"><ahref="../../../../de/dhbwstuttgart/typeinference/unify/Unify.html#SubstHashtable2MengePair-java.util.Hashtable-">SubstHashtable2MengePair</a></span>(java.util.Hashtable<<ahref="../../../../de/dhbwstuttgart/parser/JavaClassName.html"title="class in de.dhbwstuttgart.parser">JavaClassName</a>,<ahref="../../../../de/dhbwstuttgart/syntaxtree/type/Type.html"title="class in de.dhbwstuttgart.syntaxtree.type">Type</a>> ht)</code> </td>
</tr>
<trclass="altColor">
<tdclass="colFirst"><code>static void</code></td>
<tdclass="colLast"><spanclass="typeNameLabel">Unify.</span><code><spanclass="memberNameLink"><ahref="../../../../de/dhbwstuttgart/typeinference/unify/Unify.html#SubstHashtableGeneric-de.dhbwstuttgart.syntaxtree.type.RefType-java.util.Hashtable-">SubstHashtableGeneric</a></span>(<ahref="../../../../de/dhbwstuttgart/syntaxtree/type/RefType.html"title="class in de.dhbwstuttgart.syntaxtree.type">RefType</a> typterm,
java.util.Hashtable<<ahref="../../../../de/dhbwstuttgart/parser/JavaClassName.html"title="class in de.dhbwstuttgart.parser">JavaClassName</a>,<ahref="../../../../de/dhbwstuttgart/syntaxtree/type/Type.html"title="class in de.dhbwstuttgart.syntaxtree.type">Type</a>> ht)</code> </td>
</tr>
<trclass="rowColor">
<tdclass="colFirst"><code>static void</code></td>
<tdclass="colLast"><spanclass="typeNameLabel">Unify.</span><code><spanclass="memberNameLink"><ahref="../../../../de/dhbwstuttgart/typeinference/unify/Unify.html#varSubst-de.dhbwstuttgart.syntaxtree.type.RefType-java.util.Hashtable-">varSubst</a></span>(<ahref="../../../../de/dhbwstuttgart/syntaxtree/type/RefType.html"title="class in de.dhbwstuttgart.syntaxtree.type">RefType</a> typterm,
java.util.Hashtable<<ahref="../../../../de/dhbwstuttgart/parser/JavaClassName.html"title="class in de.dhbwstuttgart.parser">JavaClassName</a>,<ahref="../../../../de/dhbwstuttgart/syntaxtree/type/Type.html"title="class in de.dhbwstuttgart.syntaxtree.type">Type</a>> ht)</code> </td>