<html><head><META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"><title>5.2.2. Conjunctive Logical Term (Logical And Term)</title><link href="style.css" rel="stylesheet" type="text/css"><meta content="DocBook XSL Stylesheets V1.72.0" name="generator"><link rel="start" href="index.html" title="The VIATRA2 Model Transformation Framework"><link rel="up" href="sec_ASMLogicalTerms.html" title="5.2. Logical Terms"><link rel="prev" href="def_LogicalTerm.html" title="5.2.1. Logical Term"><link rel="next" href="def_BaseLogicalTerm.html" title="5.2.3. Base Logical Term"></head><body bgcolor="white" text="black" link="#0000FF" vlink="#840084" alink="#0000FF"><div class="navheader"><table summary="Navigation header" width="100%"><tr><th align="center" colspan="3">5.2.2. Conjunctive Logical Term (Logical And Term)</th></tr><tr><td align="left" width="20%"><a accesskey="p" href="def_LogicalTerm.html">Prev</a> </td><th align="center" width="60%">5.2. Logical Terms</th><td align="right" width="20%"> <a accesskey="n" href="def_BaseLogicalTerm.html">Next</a></td></tr></table><hr></div><div class="sect3" lang="en"><div class="titlepage"><div><div><h4 class="title"><a name="def_ConjLogicalTerm"></a>5.2.2. Conjunctive Logical Term (Logical And Term)</h4></div></div></div><div class="tip" style="margin-left: 0.5in; margin-right: 0.5in;"><table border="0" summary="Tip: Description"><tr><td valign="top" align="center" rowspan="2" width="25"><img alt="[Tip]" src="images/tip.png"></td><th align="left"><a name="def_ConjLogicalTerm_Description"></a>Description</th></tr><tr><td valign="top" align="left"><p> | |
A <span class="strong"><strong>conjunctive logical term</strong></span><a name="N12112" class="indexterm"></a> | |
is an ASM term that evaluates to a boolean value. It can be either a simple or a compound logical expression. | |
</p></td></tr></table></div><div class="important" style="margin-left: 0.5in; margin-right: 0.5in;"><table border="0" summary="Important: Syntax"><tr><td valign="top" align="center" rowspan="2" width="25"><img alt="[Important]" src="images/important.png"></td><th align="left"><a name="def_ConjLogicalTerm_Syntax"></a>Syntax</th></tr><tr><td valign="top" align="left"><pre class="programlisting"> | |
LogicalAndTermAST ::= <a href="def_BaseLogicalTerm.html" title="5.2.3. Base Logical Term">EqualityTermAST</a> | |
| LogicalAndTermAST <span class="token">&&</span> <a href="def_BaseLogicalTerm.html" title="5.2.3. Base Logical Term">EqualityTermAST</a> | |
</pre><p> | |
A <span class="strong"><strong>conjunctive logical term</strong></span> can be a compound expression, i.e. it can | |
be composed of <a href="def_BaseLogicalTerm.html" title="5.2.3. Base Logical Term">base logical terms</a> with a <span class="strong"><strong>logical AND operator</strong></span>. | |
</p><p> | |
The <span class="strong"><strong>logical AND operator</strong></span> is the <code class="computeroutput">&&</code> operator; it | |
is interpreted in the classical conjunctive way. | |
</p></td></tr></table></div><div class="note" style="margin-left: 0.5in; margin-right: 0.5in;"><table border="0" summary="Note: Semantics"><tr><td valign="top" align="center" rowspan="2" width="25"><img alt="[Note]" src="images/note.png"></td><th align="left"><a name="def_ConjLogicalTerm_Semantics"></a>Semantics</th></tr><tr><td valign="top" align="left"><p> | |
Semantics of the <span class="strong"><strong>logical AND operation</strong></span> is discussed | |
in <a href="def_LogicalTerm.html#tab_LogicalOp" title="Table 2.3. Logical operators (AND, OR, XOR)">Table 2.3, “Logical operators (AND, OR, XOR)”</a> (see <a href="def_LogicalTerm.html" title="5.2.1. Logical Term">logical term</a>). | |
</p></td></tr></table></div><div class="highlights"><a name="def_ConjLogicalTerm_DefinedIn"></a><p><b>Defined In: </b> | |
<a href="def_LogicalTerm.html" title="5.2.1. Logical Term">logical term</a> | |
</p></div></div><div class="navfooter"><hr><table summary="Navigation footer" width="100%"><tr><td align="left" width="40%"><a accesskey="p" href="def_LogicalTerm.html">Prev</a> </td><td align="center" width="20%"><a accesskey="u" href="sec_ASMLogicalTerms.html">Up</a></td><td align="right" width="40%"> <a accesskey="n" href="def_BaseLogicalTerm.html">Next</a></td></tr><tr><td valign="top" align="left" width="40%">5.2.1. Logical Term </td><td align="center" width="20%"><a accesskey="h" href="index.html">Home</a></td><td valign="top" align="right" width="40%"> 5.2.3. Base Logical Term</td></tr></table></div></body></html> |