| <html><head><META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"><title>5.2. Logical Terms</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_ASMTermsFormulas.html" title="5. ASM Terms and ASM Functions"><link rel="prev" href="def_Term.html" title="5.1.1. ASM Term"><link rel="next" href="def_LogicalTerm.html" title="5.2.1. 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. Logical Terms</th></tr><tr><td align="left" width="20%"><a accesskey="p" href="def_Term.html">Prev</a> </td><th align="center" width="60%">5. ASM Terms and ASM Functions</th><td align="right" width="20%"> <a accesskey="n" href="def_LogicalTerm.html">Next</a></td></tr></table><hr></div><div class="sect2" lang="en"><div class="titlepage"><div><div><h3 class="title"><a name="sec_ASMLogicalTerms"></a>5.2. Logical Terms</h3></div></div></div><div class="toc"><dl><dt><span class="sect3"><a href="def_LogicalTerm.html">5.2.1. Logical Term</a></span></dt><dt><span class="sect3"><a href="def_ConjLogicalTerm.html">5.2.2. Conjunctive Logical Term (Logical And Term)</a></span></dt><dt><span class="sect3"><a href="def_BaseLogicalTerm.html">5.2.3. Base Logical Term</a></span></dt></dl></div></div><div class="navfooter"><hr><table summary="Navigation footer" width="100%"><tr><td align="left" width="40%"><a accesskey="p" href="def_Term.html">Prev</a> </td><td align="center" width="20%"><a accesskey="u" href="sec_ASMTermsFormulas.html">Up</a></td><td align="right" width="40%"> <a accesskey="n" href="def_LogicalTerm.html">Next</a></td></tr><tr><td valign="top" align="left" width="40%">5.1.1. ASM 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.1. Logical Term</td></tr></table></div></body></html> |