<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"> <!-- NewPage --> <html lang="de"> <head> <!-- Generated by javadoc (version 1.7.0_25) on Wed Sep 18 10:43:06 CEST 2013 --> <title>Uses of Class typinferenz.ConstraintsSet</title> <meta name="date" content="2013-09-18"> <link rel="stylesheet" type="text/css" href="../../stylesheet.css" title="Style"> </head> <body> <script type="text/javascript"><!-- if (location.href.indexOf('is-external=true') == -1) { parent.document.title="Uses of Class typinferenz.ConstraintsSet"; } //--> </script> <noscript> <div>JavaScript is disabled on your browser.</div> </noscript> <!-- ========= START OF TOP NAVBAR ======= --> <div class="topNav"><a name="navbar_top"> <!-- --> </a><a href="#skip-navbar_top" title="Skip navigation links"></a><a name="navbar_top_firstrow"> <!-- --> </a> <ul class="navList" title="Navigation"> <li><a href="../../overview-summary.html">Overview</a></li> <li><a href="../package-summary.html">Package</a></li> <li><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">Class</a></li> <li class="navBarCell1Rev">Use</li> <li><a href="../package-tree.html">Tree</a></li> <li><a href="../../deprecated-list.html">Deprecated</a></li> <li><a href="../../index-files/index-1.html">Index</a></li> <li><a href="../../help-doc.html">Help</a></li> </ul> </div> <div class="subNav"> <ul class="navList"> <li>Prev</li> <li>Next</li> </ul> <ul class="navList"> <li><a href="../../index.html?typinferenz/class-use/ConstraintsSet.html" target="_top">Frames</a></li> <li><a href="ConstraintsSet.html" target="_top">No Frames</a></li> </ul> <ul class="navList" id="allclasses_navbar_top"> <li><a href="../../allclasses-noframe.html">All Classes</a></li> </ul> <div> <script type="text/javascript"><!-- allClassesLink = document.getElementById("allclasses_navbar_top"); if(window==top) { allClassesLink.style.display = "block"; } else { allClassesLink.style.display = "none"; } //--> </script> </div> <a name="skip-navbar_top"> <!-- --> </a></div> <!-- ========= END OF TOP NAVBAR ========= --> <div class="header"> <h2 title="Uses of Class typinferenz.ConstraintsSet" class="title">Uses of Class<br>typinferenz.ConstraintsSet</h2> </div> <div class="classUseContainer"> <ul class="blockList"> <li class="blockList"> <table border="0" cellpadding="3" cellspacing="0" summary="Use table, listing packages, and an explanation"> <caption><span>Packages that use <a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></span><span class="tabEnd"> </span></caption> <tr> <th class="colFirst" scope="col">Package</th> <th class="colLast" scope="col">Description</th> </tr> <tbody> <tr class="altColor"> <td class="colFirst"><a href="#mycompiler.myclass">mycompiler.myclass</a></td> <td class="colLast"> </td> </tr> <tr class="rowColor"> <td class="colFirst"><a href="#mycompiler.mystatement">mycompiler.mystatement</a></td> <td class="colLast"> </td> </tr> <tr class="altColor"> <td class="colFirst"><a href="#typinferenz">typinferenz</a></td> <td class="colLast"> </td> </tr> </tbody> </table> </li> <li class="blockList"> <ul class="blockList"> <li class="blockList"><a name="mycompiler.myclass"> <!-- --> </a> <h3>Uses of <a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a> in <a href="../../mycompiler/myclass/package-summary.html">mycompiler.myclass</a></h3> <table border="0" cellpadding="3" cellspacing="0" summary="Use table, listing methods, and an explanation"> <caption><span>Methods in <a href="../../mycompiler/myclass/package-summary.html">mycompiler.myclass</a> that return <a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></span><span class="tabEnd"> </span></caption> <tr> <th class="colFirst" scope="col">Modifier and Type</th> <th class="colLast" scope="col">Method and Description</th> </tr> <tbody> <tr class="altColor"> <td class="colFirst"><code><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td> <td class="colLast"><span class="strong">Method.</span><code><strong><a href="../../mycompiler/myclass/Method.html#TYPE(typinferenz.TypeAssumptions)">TYPE</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> ass)</code> </td> </tr> <tr class="rowColor"> <td class="colFirst"><code><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td> <td class="colLast"><span class="strong">Class.</span><code><strong><a href="../../mycompiler/myclass/Class.html#TYPE(de.dhbwstuttgart.typeinference.Menge, de.dhbwstuttgart.typeinference.Menge, typinferenz.TypeAssumptions)">TYPE</a></strong>(de.dhbwstuttgart.typeinference.Menge<<a href="../../mycompiler/myclass/Method.html" title="class in mycompiler.myclass">Method</a>> methodList, de.dhbwstuttgart.typeinference.Menge<<a href="../../mycompiler/mystatement/Expr.html" title="class in mycompiler.mystatement">Expr</a>> fielddeclarationList, <a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> assumptions)</code> </td> </tr> </tbody> </table> </li> <li class="blockList"><a name="mycompiler.mystatement"> <!-- --> </a> <h3>Uses of <a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a> in <a href="../../mycompiler/mystatement/package-summary.html">mycompiler.mystatement</a></h3> <table border="0" cellpadding="3" cellspacing="0" summary="Use table, listing methods, and an explanation"> <caption><span>Methods in <a href="../../mycompiler/mystatement/package-summary.html">mycompiler.mystatement</a> that return <a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></span><span class="tabEnd"> </span></caption> <tr> <th class="colFirst" scope="col">Modifier and Type</th> <th class="colLast" scope="col">Method and Description</th> </tr> <tbody> <tr class="altColor"> <td class="colFirst"><code><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td> <td class="colLast"><span class="strong">PositivExpr.</span><code><strong><a href="../../mycompiler/mystatement/PositivExpr.html#TYPEExpr(typinferenz.TypeAssumptions)">TYPEExpr</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> assumptions)</code> </td> </tr> <tr class="rowColor"> <td class="colFirst"><code><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td> <td class="colLast"><span class="strong">PreDecExpr.</span><code><strong><a href="../../mycompiler/mystatement/PreDecExpr.html#TYPEExpr(typinferenz.TypeAssumptions)">TYPEExpr</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> assumptions)</code> </td> </tr> <tr class="altColor"> <td class="colFirst"><code><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td> <td class="colLast"><span class="strong">LambdaExpression.</span><code><strong><a href="../../mycompiler/mystatement/LambdaExpression.html#TYPEExpr(typinferenz.TypeAssumptions)">TYPEExpr</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> assumptions)</code> <div class="block">Spezifikation: TYPEExpr( Ass, Lambda( (x1 , . . . , xN ), expr|stmt ) ) = let AssArgs = { xi : ai | ai fresh type variables } (exprt : rty, ConS) = TYPEExpr( Ass ∪ AssArgs, expr ) | (stmtt : rty, ConS) = TYPEStmt( Ass u AssArgs, stmt ) in (Lambda( (x1 : a1 , . . . , xN : aN ), exprt : rty|stmtt : rty ) : a, ConS ∪ { (FunN<rty, a1 , . . . , aN > a) }), where a is a fresh type variable</div> </td> </tr> <tr class="rowColor"> <td class="colFirst"><code>abstract <a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td> <td class="colLast"><span class="strong">Expr.</span><code><strong><a href="../../mycompiler/mystatement/Expr.html#TYPEExpr(typinferenz.TypeAssumptions)">TYPEExpr</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> assumptions)</code> </td> </tr> <tr class="altColor"> <td class="colFirst"><code><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td> <td class="colLast"><span class="strong">Binary.</span><code><strong><a href="../../mycompiler/mystatement/Binary.html#TYPEExpr(typinferenz.TypeAssumptions)">TYPEExpr</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> assumptions)</code> </td> </tr> <tr class="rowColor"> <td class="colFirst"><code><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td> <td class="colLast"><span class="strong">PostDecExpr.</span><code><strong><a href="../../mycompiler/mystatement/PostDecExpr.html#TYPEExpr(typinferenz.TypeAssumptions)">TYPEExpr</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> assumptions)</code> </td> </tr> <tr class="altColor"> <td class="colFirst"><code><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td> <td class="colLast"><span class="strong">NewArray.</span><code><strong><a href="../../mycompiler/mystatement/NewArray.html#TYPEExpr(typinferenz.TypeAssumptions)">TYPEExpr</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> assumptions)</code> </td> </tr> <tr class="rowColor"> <td class="colFirst"><code><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td> <td class="colLast"><span class="strong">This.</span><code><strong><a href="../../mycompiler/mystatement/This.html#TYPEExpr(typinferenz.TypeAssumptions)">TYPEExpr</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> assumptions)</code> </td> </tr> <tr class="altColor"> <td class="colFirst"><code><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td> <td class="colLast"><span class="strong">PreIncExpr.</span><code><strong><a href="../../mycompiler/mystatement/PreIncExpr.html#TYPEExpr(typinferenz.TypeAssumptions)">TYPEExpr</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> assumptions)</code> </td> </tr> <tr class="rowColor"> <td class="colFirst"><code><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td> <td class="colLast"><span class="strong">PostIncExpr.</span><code><strong><a href="../../mycompiler/mystatement/PostIncExpr.html#TYPEExpr(typinferenz.TypeAssumptions)">TYPEExpr</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> assumptions)</code> </td> </tr> <tr class="altColor"> <td class="colFirst"><code><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td> <td class="colLast"><span class="strong">LongLiteral.</span><code><strong><a href="../../mycompiler/mystatement/LongLiteral.html#TYPEExpr(typinferenz.TypeAssumptions)">TYPEExpr</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> assumptions)</code> </td> </tr> <tr class="rowColor"> <td class="colFirst"><code><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td> <td class="colLast"><span class="strong">NotExpr.</span><code><strong><a href="../../mycompiler/mystatement/NotExpr.html#TYPEExpr(typinferenz.TypeAssumptions)">TYPEExpr</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> assumptions)</code> </td> </tr> <tr class="altColor"> <td class="colFirst"><code><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td> <td class="colLast"><span class="strong">LocalOrFieldVar.</span><code><strong><a href="../../mycompiler/mystatement/LocalOrFieldVar.html#TYPEExpr(typinferenz.TypeAssumptions)">TYPEExpr</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> assumptions)</code> </td> </tr> <tr class="rowColor"> <td class="colFirst"><code><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td> <td class="colLast"><span class="strong">Assign.</span><code><strong><a href="../../mycompiler/mystatement/Assign.html#TYPEExpr(typinferenz.TypeAssumptions)">TYPEExpr</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> assumptions)</code> </td> </tr> <tr class="altColor"> <td class="colFirst"><code><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td> <td class="colLast"><span class="strong">CastExpr.</span><code><strong><a href="../../mycompiler/mystatement/CastExpr.html#TYPEExpr(typinferenz.TypeAssumptions)">TYPEExpr</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> assumptions)</code> </td> </tr> <tr class="rowColor"> <td class="colFirst"><code><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td> <td class="colLast"><span class="strong">CharLiteral.</span><code><strong><a href="../../mycompiler/mystatement/CharLiteral.html#TYPEExpr(typinferenz.TypeAssumptions)">TYPEExpr</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> assumptions)</code> </td> </tr> <tr class="altColor"> <td class="colFirst"><code><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td> <td class="colLast"><span class="strong">InstVar.</span><code><strong><a href="../../mycompiler/mystatement/InstVar.html#TYPEExpr(typinferenz.TypeAssumptions)">TYPEExpr</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> assumptions)</code> </td> </tr> <tr class="rowColor"> <td class="colFirst"><code><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td> <td class="colLast"><span class="strong">DoubleLiteral.</span><code><strong><a href="../../mycompiler/mystatement/DoubleLiteral.html#TYPEExpr(typinferenz.TypeAssumptions)">TYPEExpr</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> assumptions)</code> </td> </tr> <tr class="altColor"> <td class="colFirst"><code><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td> <td class="colLast"><span class="strong">Null.</span><code><strong><a href="../../mycompiler/mystatement/Null.html#TYPEExpr(typinferenz.TypeAssumptions)">TYPEExpr</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> assumptions)</code> </td> </tr> <tr class="rowColor"> <td class="colFirst"><code><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td> <td class="colLast"><span class="strong">NegativeExpr.</span><code><strong><a href="../../mycompiler/mystatement/NegativeExpr.html#TYPEExpr(typinferenz.TypeAssumptions)">TYPEExpr</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> assumptions)</code> </td> </tr> <tr class="altColor"> <td class="colFirst"><code><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td> <td class="colLast"><span class="strong">InstanceOf.</span><code><strong><a href="../../mycompiler/mystatement/InstanceOf.html#TYPEExpr(typinferenz.TypeAssumptions)">TYPEExpr</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> assumptions)</code> </td> </tr> <tr class="rowColor"> <td class="colFirst"><code><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td> <td class="colLast"><span class="strong">StringLiteral.</span><code><strong><a href="../../mycompiler/mystatement/StringLiteral.html#TYPEExpr(typinferenz.TypeAssumptions)">TYPEExpr</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> assumptions)</code> </td> </tr> <tr class="altColor"> <td class="colFirst"><code><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td> <td class="colLast"><span class="strong">FloatLiteral.</span><code><strong><a href="../../mycompiler/mystatement/FloatLiteral.html#TYPEExpr(typinferenz.TypeAssumptions)">TYPEExpr</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> assumptions)</code> </td> </tr> <tr class="rowColor"> <td class="colFirst"><code><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td> <td class="colLast"><span class="strong">MethodCall.</span><code><strong><a href="../../mycompiler/mystatement/MethodCall.html#TYPEExpr(typinferenz.TypeAssumptions)">TYPEExpr</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> assumptions)</code> </td> </tr> <tr class="altColor"> <td class="colFirst"><code><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td> <td class="colLast"><span class="strong">NewClass.</span><code><strong><a href="../../mycompiler/mystatement/NewClass.html#TYPEExpr(typinferenz.TypeAssumptions)">TYPEExpr</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> assumptions)</code> </td> </tr> <tr class="rowColor"> <td class="colFirst"><code><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td> <td class="colLast"><span class="strong">BoolLiteral.</span><code><strong><a href="../../mycompiler/mystatement/BoolLiteral.html#TYPEExpr(typinferenz.TypeAssumptions)">TYPEExpr</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> assumptions)</code> </td> </tr> <tr class="altColor"> <td class="colFirst"><code><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td> <td class="colLast"><span class="strong">IntLiteral.</span><code><strong><a href="../../mycompiler/mystatement/IntLiteral.html#TYPEExpr(typinferenz.TypeAssumptions)">TYPEExpr</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> assumptions)</code> </td> </tr> <tr class="rowColor"> <td class="colFirst"><code><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td> <td class="colLast"><span class="strong">LambdaExpression.</span><code><strong><a href="../../mycompiler/mystatement/LambdaExpression.html#TYPEStmt(typinferenz.TypeAssumptions)">TYPEStmt</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> ass)</code> </td> </tr> <tr class="altColor"> <td class="colFirst"><code><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td> <td class="colLast"><span class="strong">Expr.</span><code><strong><a href="../../mycompiler/mystatement/Expr.html#TYPEStmt(typinferenz.TypeAssumptions)">TYPEStmt</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> assumptions)</code> </td> </tr> <tr class="rowColor"> <td class="colFirst"><code><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td> <td class="colLast"><span class="strong">WhileStmt.</span><code><strong><a href="../../mycompiler/mystatement/WhileStmt.html#TYPEStmt(typinferenz.TypeAssumptions)">TYPEStmt</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> assumptions)</code> </td> </tr> <tr class="altColor"> <td class="colFirst"><code><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td> <td class="colLast"><span class="strong">EmptyStmt.</span><code><strong><a href="../../mycompiler/mystatement/EmptyStmt.html#TYPEStmt(typinferenz.TypeAssumptions)">TYPEStmt</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> assumptions)</code> </td> </tr> <tr class="rowColor"> <td class="colFirst"><code><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td> <td class="colLast"><span class="strong">Return.</span><code><strong><a href="../../mycompiler/mystatement/Return.html#TYPEStmt(typinferenz.TypeAssumptions)">TYPEStmt</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> assumptions)</code> </td> </tr> <tr class="altColor"> <td class="colFirst"><code><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td> <td class="colLast"><span class="strong">Block.</span><code><strong><a href="../../mycompiler/mystatement/Block.html#TYPEStmt(typinferenz.TypeAssumptions)">TYPEStmt</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> assumptions)</code> </td> </tr> <tr class="rowColor"> <td class="colFirst"><code><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td> <td class="colLast"><span class="strong">LocalVarDecl.</span><code><strong><a href="../../mycompiler/mystatement/LocalVarDecl.html#TYPEStmt(typinferenz.TypeAssumptions)">TYPEStmt</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> assumptions)</code> </td> </tr> <tr class="altColor"> <td class="colFirst"><code><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td> <td class="colLast"><span class="strong">IfStmt.</span><code><strong><a href="../../mycompiler/mystatement/IfStmt.html#TYPEStmt(typinferenz.TypeAssumptions)">TYPEStmt</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> assumptions)</code> </td> </tr> <tr class="rowColor"> <td class="colFirst"><code><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td> <td class="colLast"><span class="strong">Assign.</span><code><strong><a href="../../mycompiler/mystatement/Assign.html#TYPEStmt(typinferenz.TypeAssumptions)">TYPEStmt</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> assumptions)</code> <div class="block">Spezifikation: TYPEStmt( Ass, stmt ) = let (stmt : rty, ConS) = TYPEExpr( Ass, stmt ) in (stmt : Void, ConS)</div> </td> </tr> <tr class="altColor"> <td class="colFirst"><code><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td> <td class="colLast"><span class="strong">ForStmt.</span><code><strong><a href="../../mycompiler/mystatement/ForStmt.html#TYPEStmt(typinferenz.TypeAssumptions)">TYPEStmt</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> assumptions)</code> </td> </tr> <tr class="rowColor"> <td class="colFirst"><code><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td> <td class="colLast"><span class="strong">MethodCall.</span><code><strong><a href="../../mycompiler/mystatement/MethodCall.html#TYPEStmt(typinferenz.TypeAssumptions)">TYPEStmt</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> assumptions)</code> <div class="block">Spezifikation: TYPEStmt( Ass, stmt ) = let (stmt : rty, ConS) = TYPEExpr( Ass, stmt ) in (stmt : Void, ConS)</div> </td> </tr> <tr class="altColor"> <td class="colFirst"><code>abstract <a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td> <td class="colLast"><span class="strong">Statement.</span><code><strong><a href="../../mycompiler/mystatement/Statement.html#TYPEStmt(typinferenz.TypeAssumptions)">TYPEStmt</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> assumptions)</code> </td> </tr> <tr class="rowColor"> <td class="colFirst"><code><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td> <td class="colLast"><span class="strong">NewClass.</span><code><strong><a href="../../mycompiler/mystatement/NewClass.html#TYPEStmt(typinferenz.TypeAssumptions)">TYPEStmt</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> assumptions)</code> <div class="block">Spezifikation: TYPEStmt( Ass, stmt ) = let (stmt : rty, ConS) = TYPEExpr( Ass, stmt ) in (stmt : Void, ConS)</div> </td> </tr> </tbody> </table> </li> <li class="blockList"><a name="typinferenz"> <!-- --> </a> <h3>Uses of <a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a> in <a href="../../typinferenz/package-summary.html">typinferenz</a></h3> <table border="0" cellpadding="3" cellspacing="0" summary="Use table, listing methods, and an explanation"> <caption><span>Methods in <a href="../../typinferenz/package-summary.html">typinferenz</a> with parameters of type <a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></span><span class="tabEnd"> </span></caption> <tr> <th class="colFirst" scope="col">Modifier and Type</th> <th class="colLast" scope="col">Method and Description</th> </tr> <tbody> <tr class="altColor"> <td class="colFirst"><code>void</code></td> <td class="colLast"><span class="strong">ConstraintsSet.</span><code><strong><a href="../../typinferenz/ConstraintsSet.html#add(typinferenz.ConstraintsSet)">add</a></strong>(<a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a> CSet)</code> </td> </tr> </tbody> </table> </li> </ul> </li> </ul> </div> <!-- ======= START OF BOTTOM NAVBAR ====== --> <div class="bottomNav"><a name="navbar_bottom"> <!-- --> </a><a href="#skip-navbar_bottom" title="Skip navigation links"></a><a name="navbar_bottom_firstrow"> <!-- --> </a> <ul class="navList" title="Navigation"> <li><a href="../../overview-summary.html">Overview</a></li> <li><a href="../package-summary.html">Package</a></li> <li><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">Class</a></li> <li class="navBarCell1Rev">Use</li> <li><a href="../package-tree.html">Tree</a></li> <li><a href="../../deprecated-list.html">Deprecated</a></li> <li><a href="../../index-files/index-1.html">Index</a></li> <li><a href="../../help-doc.html">Help</a></li> </ul> </div> <div class="subNav"> <ul class="navList"> <li>Prev</li> <li>Next</li> </ul> <ul class="navList"> <li><a href="../../index.html?typinferenz/class-use/ConstraintsSet.html" target="_top">Frames</a></li> <li><a href="ConstraintsSet.html" target="_top">No Frames</a></li> </ul> <ul class="navList" id="allclasses_navbar_bottom"> <li><a href="../../allclasses-noframe.html">All Classes</a></li> </ul> <div> <script type="text/javascript"><!-- allClassesLink = document.getElementById("allclasses_navbar_bottom"); if(window==top) { allClassesLink.style.display = "block"; } else { allClassesLink.style.display = "none"; } //--> </script> </div> <a name="skip-navbar_bottom"> <!-- --> </a></div> <!-- ======== END OF BOTTOM NAVBAR ======= --> </body> </html>