aboutsummaryrefslogtreecommitdiff
path: root/docs/doxygen/nel/class_NLAILOGIC__CClause.html
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--docs/doxygen/nel/class_NLAILOGIC__CClause.html1337
1 files changed, 1337 insertions, 0 deletions
diff --git a/docs/doxygen/nel/class_NLAILOGIC__CClause.html b/docs/doxygen/nel/class_NLAILOGIC__CClause.html
new file mode 100644
index 00000000..99c398c3
--- /dev/null
+++ b/docs/doxygen/nel/class_NLAILOGIC__CClause.html
@@ -0,0 +1,1337 @@
+<!doctype html public "-//W3C//DTD HTML 4.0 Transitional//EN" "http://www.w3.org/TR/REC-html40/loose.dtd">
+<HTML>
+<HEAD>
+ <TITLE>nevrax.org : docs</TITLE>
+ <LINK REL=stylesheet TYPE="text/css" HREF="http://www.nevrax.org/inc/css/nevrax.css">
+ <link href="doxygen.css" rel="stylesheet" type="text/css">
+</HEAD>
+<BODY MARGINHEIGHT="0" MARGINWIDTH="0">
+
+<!-- uplinks -->
+<TABLE CELLSPACING=0 CELLPADDING=0 BORDER=0>
+ <TR>
+ <TD WIDTH=16><IMG SRC="http://www.nevrax.org/inc/img/pixel.gif" WIDTH="16" HEIGHT="16" BORDER=0 ALT=""></TD>
+ <TD WIDTH=140 BGCOLOR=#dddddd><IMG SRC="http://www.nevrax.org/inc/img/pixel.gif" WIDTH="140" HEIGHT="16" BORDER=0 ALT=""></TD>
+ <TD WIDTH=16><IMG SRC="http://www.nevrax.org/inc/img/pixel.gif" WIDTH="16" HEIGHT="16" BORDER=0 ALT=""></TD>
+ <TD><IMG width=6 height=14 SRC="http://www.nevrax.org/inc/img/reddots.gif" ALT="#" VSPACE=2 HSPACE=2 BORDER=0 ></TD><TD VALIGN=middle>&nbsp;<A CLASS=uplinks HREF=http://www.nevrax.org><b>Home</B></FONT></A>&nbsp;&nbsp;&nbsp;</TD>
+ <TD><IMG width=6 height=14 SRC="http://www.nevrax.org/inc/img/reddots.gif" ALT="#" VSPACE=2 HSPACE=2 BORDER=0 ></TD><TD VALIGN=middle>&nbsp;<A CLASS=uplinks HREF=http://www.nevrax.com><b>nevrax.com</B></FONT></A>&nbsp;&nbsp;&nbsp;</TD>
+ </TR>
+</TABLE>
+
+<!-- banner Nevrax -->
+<TABLE CELLSPACING=0 CELLPADDING=0 BORDER=0 WIDTH=100%>
+ <TR><TD BGCOLOR="#000000" BACKGROUND="http://www.nevrax.org/inc/img/black_banner.jpg"><A HREF="http://www.nevrax.org"><IMG SRC="http://www.nevrax.org/inc/img/nevrax.gif" WIDTH="170" HEIGHT="45" BORDER=0 ALT="Nevrax" ></A></TD></TR>
+</TABLE>
+
+<!-- main table -->
+<TABLE CELLSPACING=0 CELLPADDING=0 BORDER=0 height=100%>
+ <TR>
+ <TD WIDTH=16><IMG SRC="http://www.nevrax.org/inc/img/pixel.gif" WIDTH="16" HEIGHT="10" BORDER=0 ALT=""></TD>
+ <TD WIDTH=140 BGCOLOR=#dddddd VALIGN=TOP ALIGN=middle><IMG SRC="http://www.nevrax.org/inc/img/pixel.gif" WIDTH="140" HEIGHT="10" BORDER=0 ALT="">
+
+ <!------ Begin Box ------>
+ <TABLE BORDER=0 CELLSPACING=0 CELLPADDING=0 BGCOLOR=black><TR><TD><TABLE border=0 cellspacing=2 cellpadding=0 width=120><tr><TD ALIGN=middle bgcolor=black>
+ <FONT COLOR=white FACE="sans-serif"><B>Nevrax.org</B></FONT></TD></TR><tr><td colspan=2 bgcolor=#FFFFFF>
+ <TABLE cellspacing=0 cellpadding=1 border=0>
+ <tr><td ALIGN=middle><a class='linkbox' href="http://www.nevrax.org/news/" TITLE="Rubrique news"><img width=13 height=15 hspace=5 border=0 src=http://www.nevrax.org/inc/img/picto-news.gif ALT=#></A></td><td><a class='linkbox' href="http://www.nevrax.org/news/" TITLE="News">News</a></td></tr>
+ <tr><td ALIGN=middle><a class='linkbox' href="http://www.nevrax.org/mail/" TITLE="Rubrique mail"><img width=15 height=11 hspace=5 border=0 src=http://www.nevrax.org/inc/img/picto-mail.gif ALT=#></A></td><td><a class='linkbox' href="http://www.nevrax.org/mail/" TITLE="Mailing list archive">Mailing-list</a></td></tr>
+ <tr><td ALIGN=middle><a class='linkbox' href="http://www.nevrax.org/docs/" TITLE="Rubrique docs"><img width=14 height=16 hspace=5 border=0 src=http://www.nevrax.org/inc/img/picto-docs.gif ALT=#></A></td><td><a class='linkbox' href="http://www.nevrax.org/docs/" TITLE="Documentation">Documentation</a></td></tr>
+ <tr><td ALIGN=middle><a class='linkbox' href="http://www.nevrax.org/cvs/" TITLE="Rubrique cvs"><img width=13 height=17 hspace=5 border=0 src=http://www.nevrax.org/inc/img/picto-cvs.gif ALT=#></A></td><td><a class='linkbox' href="http://www.nevrax.org/cvs/" TITLE="CVS Web">CVS</a></td></tr>
+ <tr><td ALIGN=middle><a class='linkbox' href="http://www.nevrax.org/bugs/" TITLE="Rubrique bugs"><img width=20 height=16 hspace=5 border=0 src=http://www.nevrax.org/inc/img/picto-bugs.gif ALT=#></A></td><td><a class='linkbox' href="http://www.nevrax.org/bugs/" TITLE="Bugtracking">Bugs</a></td></tr>
+ <tr><td ALIGN=middle><a class='linkbox' href="http://www.nevrax.org/GPL.php3" TITLE="Rubrique license"><img width=18 height=12 hspace=5 border=0 src=http://www.nevrax.org/inc/img/picto-gpl.gif ALT=#></A></td><td><a class='linkbox' href="http://www.nevrax.org/GPL.php3" TITLE="License">License</a></td></tr>
+ </TABLE>
+ </TD></TR></TABLE></TD></TR></TABLE>
+ <!------ End Box ------>
+
+ </TD>
+ <TD WIDTH=15><IMG SRC="http://www.nevrax.org/inc/img/pixel.gif" WIDTH="16" HEIGHT="16" BORDER=0 ALT=""></TD>
+ <TD ALIGN=left valign=top><IMG SRC="http://www.nevrax.org/inc/img/pixel.gif" WIDTH="140" HEIGHT="10" BORDER=0 ALT="">
+
+<!-- title -->
+<TABLE background="http://www.nevrax.org/inc/img/redline.gif" CELLSPACING=0 CELLPADDING=0 BORDER=0 width=100%><tr><td>
+<A HREF="http://www.nevrax.org/docs/"><img src="http://www.nevrax.org/inc/img/t_docs.gif" ALT="Docs" HEIGHT=20 BORDER=0></A>
+</td><td><IMG SRC="http://www.nevrax.org/inc/img/pixel.gif" WIDTH="1" HEIGHT="1" BORDER=0 ALT="">
+</td></tr></table>
+&nbsp;
+
+<!-- block -->
+<TABLE bgcolor="#dddddd" CELLSPACING=0 CELLPADDING=0 BORDER=0 width=100%><tr><td width=1% valign=middle><img width=6 height=14 hspace=2 vspace=2 src="http://www.nevrax.org/inc/img/reddots.gif"></TD>
+ <TD><B>Documentation</B></TD>
+ <TD ALIGN=RIGHT>&nbsp;</td>
+</tr></table>
+<!-- Generated by Doxygen 1.2.2 on Thu May 17 22:28:17 2001 -->
+<center>
+<a class="qindex" href="index.html">Main Page</a> &nbsp; <a class="qindex" href="namespaces.html">Namespace List</a> &nbsp; <a class="qindex" href="hierarchy.html">Class Hierarchy</a> &nbsp; <a class="qindex" href="classes.html">Alphabetical List</a> &nbsp; <a class="qindex" href="annotated.html">Compound List</a> &nbsp; <a class="qindex" href="files.html">File List</a> &nbsp; <a class="qindex" href="namespacemembers.html">Namespace Members</a> &nbsp; <a class="qindex" href="functions.html">Compound Members</a> &nbsp; <a class="qindex" href="globals.html">File Members</a> &nbsp; <a class="qindex" href="pages.html">Related Pages</a> &nbsp; <a class="qindexRef" doxygen="_cgi:http://www.nevrax.org/cgi-bin/nel-search.cgi" href="http://www.nevrax.org/cgi-bin/nel-search.cgi">Search</a> &nbsp; </center>
+<hr><h1>NLAILOGIC::CClause Class Reference</h1><code>#include &lt;<a class="el" href="clause_h-source.html">clause.h</a>&gt;</code>
+<p>
+Inheritance diagram for NLAILOGIC::CClause<p><center><img src="class_NLAILOGIC__CClause_inherit_graph.gif" border="0" usemap="#NLAILOGIC::CClause_inherit_map" alt="Inheritance graph"></center>
+<map name="NLAILOGIC::CClause_inherit_map">
+<area href="class_NLAILOGIC__CRule.html" shape="rect" coords="28,733,153,752">
+<area href="class_NLAILOGIC__CVarSet.html" shape="rect" coords="21,600,160,619">
+<area href="class_NLAILOGIC__IBaseBoolType.html" shape="rect" coords="3,533,179,552">
+<area href="class_NLAIAGENT__IObjetOp.html" shape="rect" coords="17,467,164,485">
+<area href="class_NLAIAGENT__IObjectIA.html" shape="rect" coords="15,400,167,419">
+<area href="class_NLAIAGENT__IBasicObjectIA.html" shape="rect" coords="0,333,181,352">
+<area href="class_NLAIC__IBasicInterface.html" shape="rect" coords="20,267,161,285">
+<area href="class_NLAIC__IBasicType.html" shape="rect" coords="29,200,152,219">
+<area href="class_NLAIC__IPointerGestion.html" shape="rect" coords="19,133,163,152">
+<area href="class_NLMISC__IStreamable.html" shape="rect" coords="23,67,159,85">
+<area href="class_NLMISC__IClassable.html" shape="rect" coords="28,0,153,19">
+</map>
+<center><font size="2">[<a href="graph_legend.html">legend</a>]</font></center>Collaboration diagram for NLAILOGIC::CClause:<p><center><img src="class_NLAILOGIC__CClause_coll_graph.gif" border="0" usemap="#NLAILOGIC::CClause_coll_map" alt="Collaboration graph"></center>
+<map name="NLAILOGIC::CClause_coll_map">
+<area href="class_NLAILOGIC__CVarSet.html" shape="rect" coords="324,111,463,130">
+<area href="class_NLAILOGIC__IBaseBoolType.html" shape="rect" coords="1,32,177,51">
+<area href="class_NLAIC__CIdentType.html" shape="rect" coords="27,199,152,218">
+<area href="class_NLAILOGIC__CValueSet.html" shape="rect" coords="319,244,468,263">
+<area href="class_NLAILOGIC__CBoolAssert.html" shape="rect" coords="312,322,475,340">
+<area href="class_NLAILOGIC__IBaseAssert.html" shape="rect" coords="11,376,168,395">
+</map>
+<center><font size="2">[<a href="graph_legend.html">legend</a>]</font></center><a href="class_NLAILOGIC__CClause-members.html">List of all members.</a><table border=0 cellpadding=0 cellspacing=0>
+<tr><td colspan=2><br><h2>Public Methods</h2></td></tr>
+<tr><td nowrap align=right valign=top>&nbsp;</td><td valign=bottom><a class="el" href="class_NLAILOGIC__CClause.html#a0">CClause</a> ()</td></tr>
+<tr><td nowrap align=right valign=top>&nbsp;</td><td valign=bottom><a class="el" href="class_NLAILOGIC__CClause.html#a1">CClause</a> (const CClause &amp;)</td></tr>
+<tr><td nowrap align=right valign=top>&nbsp;</td><td valign=bottom><a class="el" href="class_NLAILOGIC__CClause.html#a2">CClause</a> (std::list&lt;<a class="el" href="class_NLAILOGIC__CFactPattern.html">CFactPattern</a> *&gt; &amp;)</td></tr>
+<tr><td nowrap align=right valign=top>&nbsp;</td><td valign=bottom><a class="el" href="class_NLAILOGIC__CClause.html#a3">~CClause</a> ()</td></tr>
+<tr><td nowrap align=right valign=top>virtual void&nbsp;</td><td valign=bottom><a class="el" href="class_NLAILOGIC__CClause.html#a4">addCond</a> (<a class="el" href="class_NLAILOGIC__CFactPattern.html">CFactPattern</a> *cond)</td></tr>
+<tr><td nowrap align=right valign=top>virtual void&nbsp;</td><td valign=bottom><a class="el" href="class_NLAILOGIC__CClause.html#a5">getDebugString</a> (char *) const</td></tr>
+<tr><td>&nbsp;</td><td><font size=-1><em>This is a Debug function, text is an character pointer to receive the debug text output, the debug text containe all think sensible to interset user.</em> <a href="#a5">More...</a><em></em></font><br><br></td></tr>
+<tr><td nowrap align=right valign=top>virtual <a class="el" href="class_NLAILOGIC__CVarSet.html">CVarSet</a>*&nbsp;</td><td valign=bottom><a class="el" href="class_NLAILOGIC__CClause.html#a6">unify</a> (<a class="el" href="class_NLAILOGIC__CVarSet.html">CVarSet</a> *)</td></tr>
+<tr><td nowrap align=right valign=top><a class="el" href="class_NLAILOGIC__CValueSet.html">CValueSet</a>*&nbsp;</td><td valign=bottom><a class="el" href="class_NLAILOGIC__CClause.html#a7">unifyLiaison</a> ( const <a class="el" href="class_NLAILOGIC__CValueSet.html">CValueSet</a> *, std::list&lt;<a class="el" href="class_NLAIAGENT__IObjetOp.html">NLAIAGENT::IObjetOp</a> *&gt; *, std::vector&lt;<a class="el" href="types_nl_h.html#a8">sint32</a>&gt; &amp;)</td></tr>
+<tr><td nowrap align=right valign=top>virtual void&nbsp;</td><td valign=bottom><a class="el" href="class_NLAILOGIC__CClause.html#a8">propagate</a> (std::list&lt;<a class="el" href="class_NLAIAGENT__IObjetOp.html">NLAIAGENT::IObjetOp</a> *&gt; *, std::vector&lt;<a class="el" href="types_nl_h.html#a8">sint32</a>&gt; &amp;)</td></tr>
+<tr><td nowrap align=right valign=top>virtual void&nbsp;</td><td valign=bottom><a class="el" href="class_NLAILOGIC__CClause.html#a9">propagate</a> (<a class="el" href="class_NLAILOGIC__CFactPattern.html">CFactPattern</a> *)</td></tr>
+<tr><td nowrap align=right valign=top>std::list&lt;CClause *&gt;*&nbsp;</td><td valign=bottom><a class="el" href="class_NLAILOGIC__CClause.html#a10">getInputs</a> ()</td></tr>
+<tr><td nowrap align=right valign=top>virtual const <a class="el" href="class_NLAIC__IBasicType.html">NLAIC::IBasicType</a>*&nbsp;</td><td valign=bottom><a class="el" href="class_NLAILOGIC__CClause.html#a11">clone</a> () const</td></tr>
+<tr><td>&nbsp;</td><td><font size=-1><em>This function allow a pointer copy, that mean that the new class have the sam attributs caracteristics as the owne.</em> <a href="#a11">More...</a><em></em></font><br><br></td></tr>
+<tr><td nowrap align=right valign=top>virtual const <a class="el" href="class_NLAIC__IBasicType.html">NLAIC::IBasicType</a>*&nbsp;</td><td valign=bottom><a class="el" href="class_NLAILOGIC__CClause.html#a12">newInstance</a> () const</td></tr>
+<tr><td>&nbsp;</td><td><font size=-1><em>This function allow a new instance, that mean that the class is a class factory.</em> <a href="#a12">More...</a><em></em></font><br><br></td></tr>
+<tr><td nowrap align=right valign=top>virtual <a class="el" href="class_NLAIAGENT__IObjetOp.html">NLAIAGENT::IObjetOp</a>*&nbsp;</td><td valign=bottom><a class="el" href="class_NLAILOGIC__CClause.html#a13">operator!</a> () const</td></tr>
+<tr><td>&nbsp;</td><td><font size=-1><em>throw (<a class="el" href="class_NLAIE__CExceptionNotImplemented.html">NLAIE::CExceptionNotImplemented</a>).</em> <a href="#a13">More...</a><em></em></font><br><br></td></tr>
+<tr><td nowrap align=right valign=top>virtual <a class="el" href="class_NLAIAGENT__IObjetOp.html">NLAIAGENT::IObjetOp</a>*&nbsp;</td><td valign=bottom><a class="el" href="class_NLAILOGIC__CClause.html#a14">operator!=</a> (<a class="el" href="class_NLAIAGENT__IObjetOp.html">NLAIAGENT::IObjetOp</a> &amp;a) const</td></tr>
+<tr><td>&nbsp;</td><td><font size=-1><em>throw (<a class="el" href="class_NLAIE__CExceptionNotImplemented.html">NLAIE::CExceptionNotImplemented</a>).</em> <a href="#a14">More...</a><em></em></font><br><br></td></tr>
+<tr><td nowrap align=right valign=top>virtual <a class="el" href="class_NLAIAGENT__IObjetOp.html">NLAIAGENT::IObjetOp</a>*&nbsp;</td><td valign=bottom><a class="el" href="class_NLAILOGIC__CClause.html#a15">operator==</a> (<a class="el" href="class_NLAIAGENT__IObjetOp.html">NLAIAGENT::IObjetOp</a> &amp;a) const</td></tr>
+<tr><td>&nbsp;</td><td><font size=-1><em>throw (<a class="el" href="class_NLAIE__CExceptionNotImplemented.html">NLAIE::CExceptionNotImplemented</a>).</em> <a href="#a15">More...</a><em></em></font><br><br></td></tr>
+<tr><td nowrap align=right valign=top>virtual bool&nbsp;</td><td valign=bottom><a class="el" href="class_NLAILOGIC__CClause.html#a16">isTrue</a> () const</td></tr>
+<tr><td>&nbsp;</td><td><font size=-1><em>throw (<a class="el" href="class_NLAIE__CExceptionNotImplemented.html">NLAIE::CExceptionNotImplemented</a>).</em> <a href="#a16">More...</a><em></em></font><br><br></td></tr>
+<tr><td nowrap align=right valign=top>virtual float&nbsp;</td><td valign=bottom><a class="el" href="class_NLAILOGIC__CClause.html#a17">truthValue</a> () const</td></tr>
+<tr><td>&nbsp;</td><td><font size=-1><em>Returns a value in [0,1].</em> <a href="#a17">More...</a><em></em></font><br><br></td></tr>
+<tr><td nowrap align=right valign=top>void&nbsp;</td><td valign=bottom><a class="el" href="class_NLAILOGIC__CClause.html#a18">showConflicts</a> ()</td></tr>
+<tr><td nowrap align=right valign=top>void&nbsp;</td><td valign=bottom><a class="el" href="class_NLAILOGIC__CClause.html#a19">showBuffer</a> ()</td></tr>
+<tr><td nowrap align=right valign=top>void&nbsp;</td><td valign=bottom><a class="el" href="class_NLAILOGIC__CClause.html#a20">showLiaisons</a> ()</td></tr>
+<tr><td nowrap align=right valign=top>virtual void&nbsp;</td><td valign=bottom><a class="el" href="class_NLAILOGIC__CClause.html#a21">addBuffer</a> ()</td></tr>
+<tr><td nowrap align=right valign=top>virtual void&nbsp;</td><td valign=bottom><a class="el" href="class_NLAILOGIC__CClause.html#a22">addConflicts</a> ()</td></tr>
+<tr><td nowrap align=right valign=top>std::vector&lt;<a class="el" href="class_NLAILOGIC__IBaseAssert.html">IBaseAssert</a> *&gt;&amp;&nbsp;</td><td valign=bottom><a class="el" href="class_NLAILOGIC__CClause.html#a23">getAssert</a> ()</td></tr>
+<tr><td nowrap align=right valign=top><a class="el" href="types_nl_h.html#a8">sint32</a>&nbsp;</td><td valign=bottom><a class="el" href="class_NLAILOGIC__CClause.html#a24">nbVars</a> ()</td></tr>
+<tr><td nowrap align=right valign=top>void&nbsp;</td><td valign=bottom><a class="el" href="class_NLAILOGIC__CClause.html#a25">init</a> (<a class="el" href="class_NLAIAGENT__IObjectIA.html">NLAIAGENT::IObjectIA</a> *)</td></tr>
+<tr><td>&nbsp;</td><td><font size=-1><em>Init method alows to init the attribut of an object.</em> <a href="#a25">More...</a><em></em></font><br><br></td></tr>
+<tr><td colspan=2><br><h2>Static Public Attributes</h2></td></tr>
+<tr><td nowrap align=right valign=top>const <a class="el" href="class_NLAIC__CIdentType.html">NLAIC::CIdentType</a>&nbsp;</td><td valign=bottom><a class="el" href="class_NLAILOGIC__CClause.html#p0">IdClause</a></td></tr>
+<tr><td colspan=2><br><h2>Protected Methods</h2></td></tr>
+<tr><td nowrap align=right valign=top><a class="el" href="types_nl_h.html#a8">sint32</a>&nbsp;</td><td valign=bottom><a class="el" href="class_NLAILOGIC__CClause.html#b0">findAssert</a> (<a class="el" href="class_NLAILOGIC__IBaseAssert.html">IBaseAssert</a> *)</td></tr>
+<tr><td colspan=2><br><h2>Protected Attributes</h2></td></tr>
+<tr><td nowrap align=right valign=top>std::list&lt;<a class="el" href="class_NLAILOGIC__CBoolAssert.html">CBoolAssert</a> *&gt;&nbsp;</td><td valign=bottom><a class="el" href="class_NLAILOGIC__CClause.html#n0">_SimpleConds</a></td></tr>
+<tr><td nowrap align=right valign=top>std::vector&lt;<a class="el" href="class_NLAILOGIC__IBaseBoolType.html">IBaseBoolType</a> *&gt;&nbsp;</td><td valign=bottom><a class="el" href="class_NLAILOGIC__CClause.html#n1">_Conds</a></td></tr>
+<tr><td nowrap align=right valign=top>std::vector&lt; std::vector&lt;<a class="el" href="types_nl_h.html#a8">sint32</a>&gt; &gt;&nbsp;</td><td valign=bottom><a class="el" href="class_NLAILOGIC__CClause.html#n2">_PosVarsCond</a></td></tr>
+<tr><td nowrap align=right valign=top>std::list&lt; <a class="el" href="class_NLAILOGIC__CValueSet.html">CValueSet</a> *&gt;&nbsp;</td><td valign=bottom><a class="el" href="class_NLAILOGIC__CClause.html#n3">_Liaisons</a></td></tr>
+<tr><td nowrap align=right valign=top>std::list&lt; <a class="el" href="class_NLAILOGIC__CValueSet.html">CValueSet</a> *&gt;&nbsp;</td><td valign=bottom><a class="el" href="class_NLAILOGIC__CClause.html#n4">_BufLiaisons</a></td></tr>
+<tr><td nowrap align=right valign=top>std::list&lt; <a class="el" href="class_NLAILOGIC__CValueSet.html">CValueSet</a> *&gt;&nbsp;</td><td valign=bottom><a class="el" href="class_NLAILOGIC__CClause.html#n5">_Conflits</a></td></tr>
+<tr><td nowrap align=right valign=top><a class="el" href="types_nl_h.html#a8">sint32</a>&nbsp;</td><td valign=bottom><a class="el" href="class_NLAILOGIC__CClause.html#n6">_NbValid</a></td></tr>
+<tr><td nowrap align=right valign=top>std::vector&lt;<a class="el" href="class_NLAILOGIC__IBaseAssert.html">IBaseAssert</a> *&gt;&nbsp;</td><td valign=bottom><a class="el" href="class_NLAILOGIC__CClause.html#n7">_Asserts</a></td></tr>
+<tr><td nowrap align=right valign=top>bool&nbsp;</td><td valign=bottom><a class="el" href="class_NLAILOGIC__CClause.html#n8">_FirstOrderTrue</a></td></tr>
+</table>
+<hr><h2>Constructor &amp; Destructor Documentation</h2>
+<a name="a0" doxytag="NLAILOGIC::CClause::CClause"></a><p>
+<table width="100%" cellpadding="2" cellspacing="0" border="0">
+ <tr>
+ <td class="md">
+ <table cellpadding="0" cellspacing="0" border="0">
+ <tr>
+ <td nowrap valign="top"><b>
+NLAILOGIC::CClause::CClause (
+ </b></td>
+ <td valign="bottom"><b>
+)
+ </b></td>
+ </tr>
+
+ </table>
+ </td>
+ </tr>
+</table>
+<table cellspacing=5 cellpadding=0 border=0>
+ <tr>
+ <td>
+ &nbsp;
+ </td>
+ <td>
+
+<p>
+
+<p>
+Definition at line <a class="el" href="clause_cpp-source.html#l00030">30</a> of file <a class="el" href="clause_cpp-source.html">clause.cpp</a>. </td>
+ </tr>
+</table>
+<a name="a1" doxytag="NLAILOGIC::CClause::CClause"></a><p>
+<table width="100%" cellpadding="2" cellspacing="0" border="0">
+ <tr>
+ <td class="md">
+ <table cellpadding="0" cellspacing="0" border="0">
+ <tr>
+ <td nowrap valign="top"><b>
+NLAILOGIC::CClause::CClause (
+ </b></td>
+ <td valign="bottom"><b>
+const CClause &amp; <em>cl</em>&nbsp;)
+ </b></td>
+ </tr>
+
+ </table>
+ </td>
+ </tr>
+</table>
+<table cellspacing=5 cellpadding=0 border=0>
+ <tr>
+ <td>
+ &nbsp;
+ </td>
+ <td>
+
+<p>
+
+<p>
+Definition at line <a class="el" href="clause_cpp-source.html#l00048">48</a> of file <a class="el" href="clause_cpp-source.html">clause.cpp</a>. </td>
+ </tr>
+</table>
+<a name="a2" doxytag="NLAILOGIC::CClause::CClause"></a><p>
+<table width="100%" cellpadding="2" cellspacing="0" border="0">
+ <tr>
+ <td class="md">
+ <table cellpadding="0" cellspacing="0" border="0">
+ <tr>
+ <td nowrap valign="top"><b>
+NLAILOGIC::CClause::CClause (
+ </b></td>
+ <td valign="bottom"><b>
+std::list&lt; <a class="el" href="class_NLAILOGIC__CFactPattern.html">CFactPattern</a> *&gt;&amp; <em>conds</em>&nbsp;)
+ </b></td>
+ </tr>
+
+ </table>
+ </td>
+ </tr>
+</table>
+<table cellspacing=5 cellpadding=0 border=0>
+ <tr>
+ <td>
+ &nbsp;
+ </td>
+ <td>
+
+<p>
+
+<p>
+Definition at line <a class="el" href="clause_cpp-source.html#l00036">36</a> of file <a class="el" href="clause_cpp-source.html">clause.cpp</a>. </td>
+ </tr>
+</table>
+<a name="a3" doxytag="NLAILOGIC::CClause::~CClause"></a><p>
+<table width="100%" cellpadding="2" cellspacing="0" border="0">
+ <tr>
+ <td class="md">
+ <table cellpadding="0" cellspacing="0" border="0">
+ <tr>
+ <td nowrap valign="top"><b>
+NLAILOGIC::CClause::~CClause (
+ </b></td>
+ <td valign="bottom"><b>
+)
+ </b></td>
+ </tr>
+
+ </table>
+ </td>
+ </tr>
+</table>
+<table cellspacing=5 cellpadding=0 border=0>
+ <tr>
+ <td>
+ &nbsp;
+ </td>
+ <td>
+
+<p>
+
+<p>
+Definition at line <a class="el" href="clause_cpp-source.html#l00074">74</a> of file <a class="el" href="clause_cpp-source.html">clause.cpp</a>. </td>
+ </tr>
+</table>
+<hr><h2>Member Function Documentation</h2>
+<a name="a21" doxytag="NLAILOGIC::CClause::addBuffer"></a><p>
+<table width="100%" cellpadding="2" cellspacing="0" border="0">
+ <tr>
+ <td class="md">
+ <table cellpadding="0" cellspacing="0" border="0">
+ <tr>
+ <td nowrap valign="top"><b>
+void NLAILOGIC::CClause::addBuffer (
+ </b></td>
+ <td valign="bottom"><b>
+)<code> [virtual]</code>
+ </b></td>
+ </tr>
+
+ </table>
+ </td>
+ </tr>
+</table>
+<table cellspacing=5 cellpadding=0 border=0>
+ <tr>
+ <td>
+ &nbsp;
+ </td>
+ <td>
+
+<p>
+
+<p>
+Definition at line <a class="el" href="clause_cpp-source.html#l00331">331</a> of file <a class="el" href="clause_cpp-source.html">clause.cpp</a>. </td>
+ </tr>
+</table>
+<a name="a4" doxytag="NLAILOGIC::CClause::addCond"></a><p>
+<table width="100%" cellpadding="2" cellspacing="0" border="0">
+ <tr>
+ <td class="md">
+ <table cellpadding="0" cellspacing="0" border="0">
+ <tr>
+ <td nowrap valign="top"><b>
+void NLAILOGIC::CClause::addCond (
+ </b></td>
+ <td valign="bottom"><b>
+<a class="el" href="class_NLAILOGIC__CFactPattern.html">CFactPattern</a> * <em>cond</em>&nbsp;)<code> [virtual]</code>
+ </b></td>
+ </tr>
+
+ </table>
+ </td>
+ </tr>
+</table>
+<table cellspacing=5 cellpadding=0 border=0>
+ <tr>
+ <td>
+ &nbsp;
+ </td>
+ <td>
+
+<p>
+
+<p>
+Definition at line <a class="el" href="clause_cpp-source.html#l00124">124</a> of file <a class="el" href="clause_cpp-source.html">clause.cpp</a>. </td>
+ </tr>
+</table>
+<a name="a22" doxytag="NLAILOGIC::CClause::addConflicts"></a><p>
+<table width="100%" cellpadding="2" cellspacing="0" border="0">
+ <tr>
+ <td class="md">
+ <table cellpadding="0" cellspacing="0" border="0">
+ <tr>
+ <td nowrap valign="top"><b>
+void NLAILOGIC::CClause::addConflicts (
+ </b></td>
+ <td valign="bottom"><b>
+)<code> [virtual]</code>
+ </b></td>
+ </tr>
+
+ </table>
+ </td>
+ </tr>
+</table>
+<table cellspacing=5 cellpadding=0 border=0>
+ <tr>
+ <td>
+ &nbsp;
+ </td>
+ <td>
+
+<p>
+
+<p>
+Reimplemented in <a class="el" href="class_NLAILOGIC__CRule.html#a8">NLAILOGIC::CRule</a>.
+<p>
+Definition at line <a class="el" href="clause_cpp-source.html#l00344">344</a> of file <a class="el" href="clause_cpp-source.html">clause.cpp</a>. </td>
+ </tr>
+</table>
+<a name="a11" doxytag="NLAILOGIC::CClause::clone"></a><p>
+<table width="100%" cellpadding="2" cellspacing="0" border="0">
+ <tr>
+ <td class="md">
+ <table cellpadding="0" cellspacing="0" border="0">
+ <tr>
+ <td nowrap valign="top"><b>
+const <a class="el" href="class_NLAIC__IBasicType.html">NLAIC::IBasicType</a> * NLAILOGIC::CClause::clone (
+ </b></td>
+ <td valign="bottom"><b>
+void&nbsp;) const<code> [virtual]</code>
+ </b></td>
+ </tr>
+
+ </table>
+ </td>
+ </tr>
+</table>
+<table cellspacing=5 cellpadding=0 border=0>
+ <tr>
+ <td>
+ &nbsp;
+ </td>
+ <td>
+
+<p>
+This function allow a pointer copy, that mean that the new class have the sam attributs caracteristics as the owne.
+<p>
+
+<p>
+Reimplemented from <a class="el" href="class_NLAILOGIC__CVarSet.html#a5">NLAILOGIC::CVarSet</a>.
+<p>
+Reimplemented in <a class="el" href="class_NLAILOGIC__CRule.html#a10">NLAILOGIC::CRule</a>.
+<p>
+Definition at line <a class="el" href="clause_cpp-source.html#l00098">98</a> of file <a class="el" href="clause_cpp-source.html">clause.cpp</a>. </td>
+ </tr>
+</table>
+<a name="b0" doxytag="NLAILOGIC::CClause::findAssert"></a><p>
+<table width="100%" cellpadding="2" cellspacing="0" border="0">
+ <tr>
+ <td class="md">
+ <table cellpadding="0" cellspacing="0" border="0">
+ <tr>
+ <td nowrap valign="top"><b>
+<a class="el" href="types_nl_h.html#a8">sint32</a> NLAILOGIC::CClause::findAssert (
+ </b></td>
+ <td valign="bottom"><b>
+<a class="el" href="class_NLAILOGIC__IBaseAssert.html">IBaseAssert</a> * <em>a</em>&nbsp;)<code> [protected]</code>
+ </b></td>
+ </tr>
+
+ </table>
+ </td>
+ </tr>
+</table>
+<table cellspacing=5 cellpadding=0 border=0>
+ <tr>
+ <td>
+ &nbsp;
+ </td>
+ <td>
+
+<p>
+
+<p>
+Definition at line <a class="el" href="clause_cpp-source.html#l00110">110</a> of file <a class="el" href="clause_cpp-source.html">clause.cpp</a>. </td>
+ </tr>
+</table>
+<a name="a23" doxytag="NLAILOGIC::CClause::getAssert"></a><p>
+<table width="100%" cellpadding="2" cellspacing="0" border="0">
+ <tr>
+ <td class="md">
+ <table cellpadding="0" cellspacing="0" border="0">
+ <tr>
+ <td nowrap valign="top"><b>
+std::vector&lt; <a class="el" href="class_NLAILOGIC__IBaseAssert.html">IBaseAssert</a> *&gt;&amp; NLAILOGIC::CClause::getAssert (
+ </b></td>
+ <td valign="bottom"><b>
+)
+ </b></td>
+ </tr>
+
+ </table>
+ </td>
+ </tr>
+</table>
+<table cellspacing=5 cellpadding=0 border=0>
+ <tr>
+ <td>
+ &nbsp;
+ </td>
+ <td>
+
+<p>
+
+<p>
+Definition at line <a class="el" href="clause_cpp-source.html#l00349">349</a> of file <a class="el" href="clause_cpp-source.html">clause.cpp</a>. </td>
+ </tr>
+</table>
+<a name="a5" doxytag="NLAILOGIC::CClause::getDebugString"></a><p>
+<table width="100%" cellpadding="2" cellspacing="0" border="0">
+ <tr>
+ <td class="md">
+ <table cellpadding="0" cellspacing="0" border="0">
+ <tr>
+ <td nowrap valign="top"><b>
+void NLAILOGIC::CClause::getDebugString (
+ </b></td>
+ <td valign="bottom"><b>
+char * <em>txt</em>&nbsp;) const<code> [virtual]</code>
+ </b></td>
+ </tr>
+
+ </table>
+ </td>
+ </tr>
+</table>
+<table cellspacing=5 cellpadding=0 border=0>
+ <tr>
+ <td>
+ &nbsp;
+ </td>
+ <td>
+
+<p>
+This is a Debug function, text is an character pointer to receive the debug text output, the debug text containe all think sensible to interset user.
+<p>
+
+<p>
+Reimplemented from <a class="el" href="class_NLAILOGIC__CVarSet.html#a10">NLAILOGIC::CVarSet</a>.
+<p>
+Reimplemented in <a class="el" href="class_NLAILOGIC__CRule.html#a12">NLAILOGIC::CRule</a>.
+<p>
+Definition at line <a class="el" href="clause_cpp-source.html#l00183">183</a> of file <a class="el" href="clause_cpp-source.html">clause.cpp</a>. </td>
+ </tr>
+</table>
+<a name="a10" doxytag="NLAILOGIC::CClause::getInputs"></a><p>
+<table width="100%" cellpadding="2" cellspacing="0" border="0">
+ <tr>
+ <td class="md">
+ <table cellpadding="0" cellspacing="0" border="0">
+ <tr>
+ <td nowrap valign="top"><b>
+std::list&lt; CClause *&gt;* NLAILOGIC::CClause::getInputs (
+ </b></td>
+ <td valign="bottom"><b>
+)
+ </b></td>
+ </tr>
+
+ </table>
+ </td>
+ </tr>
+</table>
+<table cellspacing=5 cellpadding=0 border=0>
+ <tr>
+ <td>
+ &nbsp;
+ </td>
+ <td>
+
+<p>
+
+<p>
+Definition at line <a class="el" href="clause_cpp-source.html#l00371">371</a> of file <a class="el" href="clause_cpp-source.html">clause.cpp</a>. </td>
+ </tr>
+</table>
+<a name="a25" doxytag="NLAILOGIC::CClause::init"></a><p>
+<table width="100%" cellpadding="2" cellspacing="0" border="0">
+ <tr>
+ <td class="md">
+ <table cellpadding="0" cellspacing="0" border="0">
+ <tr>
+ <td nowrap valign="top"><b>
+void NLAILOGIC::CClause::init (
+ </b></td>
+ <td valign="bottom"><b>
+IObjectIA * <em>params</em>&nbsp;)<code> [virtual]</code>
+ </b></td>
+ </tr>
+
+ </table>
+ </td>
+ </tr>
+</table>
+<table cellspacing=5 cellpadding=0 border=0>
+ <tr>
+ <td>
+ &nbsp;
+ </td>
+ <td>
+
+<p>
+Init method alows to init the attribut of an object.
+<p>
+the maparmetre is in more time a list of IObjectIA.
+<p>
+Reimplemented from <a class="el" href="class_NLAIAGENT__IObjectIA.html#a1">NLAIAGENT::IObjectIA</a>.
+<p>
+Reimplemented in <a class="el" href="class_NLAILOGIC__CRule.html#a3">NLAILOGIC::CRule</a>.
+<p>
+Definition at line <a class="el" href="clause_cpp-source.html#l00381">381</a> of file <a class="el" href="clause_cpp-source.html">clause.cpp</a>. </td>
+ </tr>
+</table>
+<a name="a16" doxytag="NLAILOGIC::CClause::isTrue"></a><p>
+<table width="100%" cellpadding="2" cellspacing="0" border="0">
+ <tr>
+ <td class="md">
+ <table cellpadding="0" cellspacing="0" border="0">
+ <tr>
+ <td nowrap valign="top"><b>
+bool NLAILOGIC::CClause::isTrue (
+ </b></td>
+ <td valign="bottom"><b>
+) const<code> [virtual]</code>
+ </b></td>
+ </tr>
+
+ </table>
+ </td>
+ </tr>
+</table>
+<table cellspacing=5 cellpadding=0 border=0>
+ <tr>
+ <td>
+ &nbsp;
+ </td>
+ <td>
+
+<p>
+throw (<a class="el" href="class_NLAIE__CExceptionNotImplemented.html">NLAIE::CExceptionNotImplemented</a>).
+<p>
+
+<p>
+Reimplemented from <a class="el" href="class_NLAILOGIC__CVarSet.html#a25">NLAILOGIC::CVarSet</a>.
+<p>
+Definition at line <a class="el" href="clause_cpp-source.html#l00276">276</a> of file <a class="el" href="clause_cpp-source.html">clause.cpp</a>. </td>
+ </tr>
+</table>
+<a name="a24" doxytag="NLAILOGIC::CClause::nbVars"></a><p>
+<table width="100%" cellpadding="2" cellspacing="0" border="0">
+ <tr>
+ <td class="md">
+ <table cellpadding="0" cellspacing="0" border="0">
+ <tr>
+ <td nowrap valign="top"><b>
+<a class="el" href="types_nl_h.html#a8">sint32</a> NLAILOGIC::CClause::nbVars (
+ </b></td>
+ <td valign="bottom"><b>
+)
+ </b></td>
+ </tr>
+
+ </table>
+ </td>
+ </tr>
+</table>
+<table cellspacing=5 cellpadding=0 border=0>
+ <tr>
+ <td>
+ &nbsp;
+ </td>
+ <td>
+
+<p>
+
+<p>
+Definition at line <a class="el" href="clause_cpp-source.html#l00376">376</a> of file <a class="el" href="clause_cpp-source.html">clause.cpp</a>. </td>
+ </tr>
+</table>
+<a name="a12" doxytag="NLAILOGIC::CClause::newInstance"></a><p>
+<table width="100%" cellpadding="2" cellspacing="0" border="0">
+ <tr>
+ <td class="md">
+ <table cellpadding="0" cellspacing="0" border="0">
+ <tr>
+ <td nowrap valign="top"><b>
+const <a class="el" href="class_NLAIC__IBasicType.html">NLAIC::IBasicType</a> * NLAILOGIC::CClause::newInstance (
+ </b></td>
+ <td valign="bottom"><b>
+void&nbsp;) const<code> [virtual]</code>
+ </b></td>
+ </tr>
+
+ </table>
+ </td>
+ </tr>
+</table>
+<table cellspacing=5 cellpadding=0 border=0>
+ <tr>
+ <td>
+ &nbsp;
+ </td>
+ <td>
+
+<p>
+This function allow a new instance, that mean that the class is a class factory.
+<p>
+
+<p>
+Reimplemented from <a class="el" href="class_NLAILOGIC__CVarSet.html#a6">NLAILOGIC::CVarSet</a>.
+<p>
+Reimplemented in <a class="el" href="class_NLAILOGIC__CRule.html#a11">NLAILOGIC::CRule</a>.
+<p>
+Definition at line <a class="el" href="clause_cpp-source.html#l00104">104</a> of file <a class="el" href="clause_cpp-source.html">clause.cpp</a>. </td>
+ </tr>
+</table>
+<a name="a13" doxytag="NLAILOGIC::CClause::operator!"></a><p>
+<table width="100%" cellpadding="2" cellspacing="0" border="0">
+ <tr>
+ <td class="md">
+ <table cellpadding="0" cellspacing="0" border="0">
+ <tr>
+ <td nowrap valign="top"><b>
+IObjetOp * NLAILOGIC::CClause::operator! (
+ </b></td>
+ <td valign="bottom"><b>
+) const<code> [virtual]</code>
+ </b></td>
+ </tr>
+
+ </table>
+ </td>
+ </tr>
+</table>
+<table cellspacing=5 cellpadding=0 border=0>
+ <tr>
+ <td>
+ &nbsp;
+ </td>
+ <td>
+
+<p>
+throw (<a class="el" href="class_NLAIE__CExceptionNotImplemented.html">NLAIE::CExceptionNotImplemented</a>).
+<p>
+
+<p>
+Reimplemented from <a class="el" href="class_NLAILOGIC__CVarSet.html#a23">NLAILOGIC::CVarSet</a>.
+<p>
+Definition at line <a class="el" href="clause_cpp-source.html#l00265">265</a> of file <a class="el" href="clause_cpp-source.html">clause.cpp</a>. </td>
+ </tr>
+</table>
+<a name="a14" doxytag="NLAILOGIC::CClause::operator!="></a><p>
+<table width="100%" cellpadding="2" cellspacing="0" border="0">
+ <tr>
+ <td class="md">
+ <table cellpadding="0" cellspacing="0" border="0">
+ <tr>
+ <td nowrap valign="top"><b>
+IObjetOp * NLAILOGIC::CClause::operator!= (
+ </b></td>
+ <td valign="bottom"><b>
+<a class="el" href="class_NLAIAGENT__IObjetOp.html">NLAIAGENT::IObjetOp</a> &amp; <em>a</em>&nbsp;) const<code> [virtual]</code>
+ </b></td>
+ </tr>
+
+ </table>
+ </td>
+ </tr>
+</table>
+<table cellspacing=5 cellpadding=0 border=0>
+ <tr>
+ <td>
+ &nbsp;
+ </td>
+ <td>
+
+<p>
+throw (<a class="el" href="class_NLAIE__CExceptionNotImplemented.html">NLAIE::CExceptionNotImplemented</a>).
+<p>
+
+<p>
+Reimplemented from <a class="el" href="class_NLAILOGIC__CVarSet.html#a24">NLAILOGIC::CVarSet</a>.
+<p>
+Definition at line <a class="el" href="clause_cpp-source.html#l00271">271</a> of file <a class="el" href="clause_cpp-source.html">clause.cpp</a>. </td>
+ </tr>
+</table>
+<a name="a15" doxytag="NLAILOGIC::CClause::operator=="></a><p>
+<table width="100%" cellpadding="2" cellspacing="0" border="0">
+ <tr>
+ <td class="md">
+ <table cellpadding="0" cellspacing="0" border="0">
+ <tr>
+ <td nowrap valign="top"><b>
+IObjetOp * NLAILOGIC::CClause::operator== (
+ </b></td>
+ <td valign="bottom"><b>
+<a class="el" href="class_NLAIAGENT__IObjetOp.html">NLAIAGENT::IObjetOp</a> &amp; <em>a</em>&nbsp;) const<code> [virtual]</code>
+ </b></td>
+ </tr>
+
+ </table>
+ </td>
+ </tr>
+</table>
+<table cellspacing=5 cellpadding=0 border=0>
+ <tr>
+ <td>
+ &nbsp;
+ </td>
+ <td>
+
+<p>
+throw (<a class="el" href="class_NLAIE__CExceptionNotImplemented.html">NLAIE::CExceptionNotImplemented</a>).
+<p>
+
+<p>
+Reimplemented from <a class="el" href="class_NLAIAGENT__IObjetOp.html#a20">NLAIAGENT::IObjetOp</a>.
+<p>
+Definition at line <a class="el" href="clause_cpp-source.html#l00289">289</a> of file <a class="el" href="clause_cpp-source.html">clause.cpp</a>. </td>
+ </tr>
+</table>
+<a name="a9" doxytag="NLAILOGIC::CClause::propagate"></a><p>
+<table width="100%" cellpadding="2" cellspacing="0" border="0">
+ <tr>
+ <td class="md">
+ <table cellpadding="0" cellspacing="0" border="0">
+ <tr>
+ <td nowrap valign="top"><b>
+void NLAILOGIC::CClause::propagate (
+ </b></td>
+ <td valign="bottom"><b>
+<a class="el" href="class_NLAILOGIC__CFactPattern.html">CFactPattern</a> * <em>fp</em>&nbsp;)<code> [virtual]</code>
+ </b></td>
+ </tr>
+
+ </table>
+ </td>
+ </tr>
+</table>
+<table cellspacing=5 cellpadding=0 border=0>
+ <tr>
+ <td>
+ &nbsp;
+ </td>
+ <td>
+
+<p>
+
+<p>
+Definition at line <a class="el" href="clause_cpp-source.html#l00196">196</a> of file <a class="el" href="clause_cpp-source.html">clause.cpp</a>. </td>
+ </tr>
+</table>
+<a name="a8" doxytag="NLAILOGIC::CClause::propagate"></a><p>
+<table width="100%" cellpadding="2" cellspacing="0" border="0">
+ <tr>
+ <td class="md">
+ <table cellpadding="0" cellspacing="0" border="0">
+ <tr>
+ <td nowrap valign="top"><b>
+virtual void NLAILOGIC::CClause::propagate (
+ </b></td>
+ <td valign="bottom"><b>
+std::list&lt; <a class="el" href="class_NLAIAGENT__IObjetOp.html">NLAIAGENT::IObjetOp</a> *&gt;*,
+ </b></td>
+ </tr>
+ <tr>
+ <td></td>
+ <td><b>
+std::vector&lt; <a class="el" href="types_nl_h.html#a8">sint32</a> &gt;&amp;&nbsp;)<code> [virtual]</code>
+ </b></td>
+ </tr>
+
+ </table>
+ </td>
+ </tr>
+</table>
+<table cellspacing=5 cellpadding=0 border=0>
+ <tr>
+ <td>
+ &nbsp;
+ </td>
+ <td>
+
+<p>
+ </td>
+ </tr>
+</table>
+<a name="a19" doxytag="NLAILOGIC::CClause::showBuffer"></a><p>
+<table width="100%" cellpadding="2" cellspacing="0" border="0">
+ <tr>
+ <td class="md">
+ <table cellpadding="0" cellspacing="0" border="0">
+ <tr>
+ <td nowrap valign="top"><b>
+void NLAILOGIC::CClause::showBuffer (
+ </b></td>
+ <td valign="bottom"><b>
+)
+ </b></td>
+ </tr>
+
+ </table>
+ </td>
+ </tr>
+</table>
+<table cellspacing=5 cellpadding=0 border=0>
+ <tr>
+ <td>
+ &nbsp;
+ </td>
+ <td>
+
+<p>
+
+<p>
+Definition at line <a class="el" href="clause_cpp-source.html#l00305">305</a> of file <a class="el" href="clause_cpp-source.html">clause.cpp</a>. </td>
+ </tr>
+</table>
+<a name="a18" doxytag="NLAILOGIC::CClause::showConflicts"></a><p>
+<table width="100%" cellpadding="2" cellspacing="0" border="0">
+ <tr>
+ <td class="md">
+ <table cellpadding="0" cellspacing="0" border="0">
+ <tr>
+ <td nowrap valign="top"><b>
+void NLAILOGIC::CClause::showConflicts (
+ </b></td>
+ <td valign="bottom"><b>
+)
+ </b></td>
+ </tr>
+
+ </table>
+ </td>
+ </tr>
+</table>
+<table cellspacing=5 cellpadding=0 border=0>
+ <tr>
+ <td>
+ &nbsp;
+ </td>
+ <td>
+
+<p>
+
+<p>
+Definition at line <a class="el" href="clause_cpp-source.html#l00294">294</a> of file <a class="el" href="clause_cpp-source.html">clause.cpp</a>. </td>
+ </tr>
+</table>
+<a name="a20" doxytag="NLAILOGIC::CClause::showLiaisons"></a><p>
+<table width="100%" cellpadding="2" cellspacing="0" border="0">
+ <tr>
+ <td class="md">
+ <table cellpadding="0" cellspacing="0" border="0">
+ <tr>
+ <td nowrap valign="top"><b>
+void NLAILOGIC::CClause::showLiaisons (
+ </b></td>
+ <td valign="bottom"><b>
+)
+ </b></td>
+ </tr>
+
+ </table>
+ </td>
+ </tr>
+</table>
+<table cellspacing=5 cellpadding=0 border=0>
+ <tr>
+ <td>
+ &nbsp;
+ </td>
+ <td>
+
+<p>
+
+<p>
+Definition at line <a class="el" href="clause_cpp-source.html#l00317">317</a> of file <a class="el" href="clause_cpp-source.html">clause.cpp</a>. </td>
+ </tr>
+</table>
+<a name="a17" doxytag="NLAILOGIC::CClause::truthValue"></a><p>
+<table width="100%" cellpadding="2" cellspacing="0" border="0">
+ <tr>
+ <td class="md">
+ <table cellpadding="0" cellspacing="0" border="0">
+ <tr>
+ <td nowrap valign="top"><b>
+float NLAILOGIC::CClause::truthValue (
+ </b></td>
+ <td valign="bottom"><b>
+) const<code> [virtual]</code>
+ </b></td>
+ </tr>
+
+ </table>
+ </td>
+ </tr>
+</table>
+<table cellspacing=5 cellpadding=0 border=0>
+ <tr>
+ <td>
+ &nbsp;
+ </td>
+ <td>
+
+<p>
+Returns a value in [0,1].
+<p>
+
+<p>
+Reimplemented from <a class="el" href="class_NLAILOGIC__CVarSet.html#a11">NLAILOGIC::CVarSet</a>.
+<p>
+Definition at line <a class="el" href="clause_cpp-source.html#l00281">281</a> of file <a class="el" href="clause_cpp-source.html">clause.cpp</a>. </td>
+ </tr>
+</table>
+<a name="a6" doxytag="NLAILOGIC::CClause::unify"></a><p>
+<table width="100%" cellpadding="2" cellspacing="0" border="0">
+ <tr>
+ <td class="md">
+ <table cellpadding="0" cellspacing="0" border="0">
+ <tr>
+ <td nowrap valign="top"><b>
+<a class="el" href="class_NLAILOGIC__CVarSet.html">CVarSet</a> * NLAILOGIC::CClause::unify (
+ </b></td>
+ <td valign="bottom"><b>
+<a class="el" href="class_NLAILOGIC__CVarSet.html">CVarSet</a> * <em>fp</em>&nbsp;)<code> [virtual]</code>
+ </b></td>
+ </tr>
+
+ </table>
+ </td>
+ </tr>
+</table>
+<table cellspacing=5 cellpadding=0 border=0>
+ <tr>
+ <td>
+ &nbsp;
+ </td>
+ <td>
+
+<p>
+
+<p>
+Reimplemented from <a class="el" href="class_NLAILOGIC__CVarSet.html#a18">NLAILOGIC::CVarSet</a>.
+<p>
+Definition at line <a class="el" href="clause_cpp-source.html#l00354">354</a> of file <a class="el" href="clause_cpp-source.html">clause.cpp</a>. </td>
+ </tr>
+</table>
+<a name="a7" doxytag="NLAILOGIC::CClause::unifyLiaison"></a><p>
+<table width="100%" cellpadding="2" cellspacing="0" border="0">
+ <tr>
+ <td class="md">
+ <table cellpadding="0" cellspacing="0" border="0">
+ <tr>
+ <td nowrap valign="top"><b>
+<a class="el" href="class_NLAILOGIC__CValueSet.html">CValueSet</a>* NLAILOGIC::CClause::unifyLiaison (
+ </b></td>
+ <td valign="bottom"><b>
+const <a class="el" href="class_NLAILOGIC__CValueSet.html">CValueSet</a> * <em>fp</em>,
+ </b></td>
+ </tr>
+ <tr>
+ <td></td>
+ <td><b>
+std::list&lt; <a class="el" href="class_NLAIAGENT__IObjetOp.html">NLAIAGENT::IObjetOp</a> *&gt;*,
+ </b></td>
+ </tr>
+ <tr>
+ <td></td>
+ <td><b>
+std::vector&lt; <a class="el" href="types_nl_h.html#a8">sint32</a> &gt;&amp;&nbsp;)
+ </b></td>
+ </tr>
+
+ </table>
+ </td>
+ </tr>
+</table>
+<table cellspacing=5 cellpadding=0 border=0>
+ <tr>
+ <td>
+ &nbsp;
+ </td>
+ <td>
+
+<p>
+ </td>
+ </tr>
+</table>
+<hr><h2>Member Data Documentation</h2>
+<a name="p0" doxytag="NLAILOGIC::CClause::IdClause"></a><p>
+<table width="100%" cellpadding="2" cellspacing="0" border="0">
+ <tr>
+ <td class="md">
+ <table cellpadding="0" cellspacing="0" border="0">
+ <tr>
+ <td nowrap valign="top"><b>
+const <a class="el" href="class_NLAIC__CIdentType.html">NLAIC::CIdentType</a> CClause::IdClause<code> [static]</code>
+ </b></td>
+ </tr>
+
+ </table>
+ </td>
+ </tr>
+</table>
+<table cellspacing=5 cellpadding=0 border=0>
+ <tr>
+ <td>
+ &nbsp;
+ </td>
+ <td>
+
+<p>
+<b>Initializer:</b><div class="fragment"><pre>NLAIC::CIdentType( <font class="stringliteral">"Clause"</font>, <a class="code" href="class_NLAIC__CSelfClassFactory.html">NLAIC::CSelfClassFactory</a>(<a class="code" href="class_NLAILOGIC__CClause.html#a0">CClause</a>()),
+ NLAIC::CTypeOfObject::tLogic,
+ NLAIC::CTypeOfOperator::opAdd )</div></pre>
+<p>
+Definition at line <a class="el" href="static_def_init_cpp-source.html#l00340">340</a> of file <a class="el" href="static_def_init_cpp-source.html">static_def_init.cpp</a>. </td>
+ </tr>
+</table>
+<a name="n7" doxytag="NLAILOGIC::CClause::_Asserts"></a><p>
+<table width="100%" cellpadding="2" cellspacing="0" border="0">
+ <tr>
+ <td class="md">
+ <table cellpadding="0" cellspacing="0" border="0">
+ <tr>
+ <td nowrap valign="top"><b>
+std::vector&lt; <a class="el" href="class_NLAILOGIC__IBaseAssert.html">IBaseAssert</a> *&gt; NLAILOGIC::CClause::_Asserts<code> [protected]</code>
+ </b></td>
+ </tr>
+
+ </table>
+ </td>
+ </tr>
+</table>
+<table cellspacing=5 cellpadding=0 border=0>
+ <tr>
+ <td>
+ &nbsp;
+ </td>
+ <td>
+
+<p>
+
+<p>
+Definition at line <a class="el" href="clause_h-source.html#l00048">48</a> of file <a class="el" href="clause_h-source.html">clause.h</a>. </td>
+ </tr>
+</table>
+<a name="n4" doxytag="NLAILOGIC::CClause::_BufLiaisons"></a><p>
+<table width="100%" cellpadding="2" cellspacing="0" border="0">
+ <tr>
+ <td class="md">
+ <table cellpadding="0" cellspacing="0" border="0">
+ <tr>
+ <td nowrap valign="top"><b>
+std::list&lt; <a class="el" href="class_NLAILOGIC__CValueSet.html">CValueSet</a> *&gt; NLAILOGIC::CClause::_BufLiaisons<code> [protected]</code>
+ </b></td>
+ </tr>
+
+ </table>
+ </td>
+ </tr>
+</table>
+<table cellspacing=5 cellpadding=0 border=0>
+ <tr>
+ <td>
+ &nbsp;
+ </td>
+ <td>
+
+<p>
+
+<p>
+Definition at line <a class="el" href="clause_h-source.html#l00043">43</a> of file <a class="el" href="clause_h-source.html">clause.h</a>. </td>
+ </tr>
+</table>
+<a name="n1" doxytag="NLAILOGIC::CClause::_Conds"></a><p>
+<table width="100%" cellpadding="2" cellspacing="0" border="0">
+ <tr>
+ <td class="md">
+ <table cellpadding="0" cellspacing="0" border="0">
+ <tr>
+ <td nowrap valign="top"><b>
+std::vector&lt; <a class="el" href="class_NLAILOGIC__IBaseBoolType.html">IBaseBoolType</a> *&gt; NLAILOGIC::CClause::_Conds<code> [protected]</code>
+ </b></td>
+ </tr>
+
+ </table>
+ </td>
+ </tr>
+</table>
+<table cellspacing=5 cellpadding=0 border=0>
+ <tr>
+ <td>
+ &nbsp;
+ </td>
+ <td>
+
+<p>
+
+<p>
+Definition at line <a class="el" href="clause_h-source.html#l00040">40</a> of file <a class="el" href="clause_h-source.html">clause.h</a>. </td>
+ </tr>
+</table>
+<a name="n5" doxytag="NLAILOGIC::CClause::_Conflits"></a><p>
+<table width="100%" cellpadding="2" cellspacing="0" border="0">
+ <tr>
+ <td class="md">
+ <table cellpadding="0" cellspacing="0" border="0">
+ <tr>
+ <td nowrap valign="top"><b>
+std::list&lt; <a class="el" href="class_NLAILOGIC__CValueSet.html">CValueSet</a> *&gt; NLAILOGIC::CClause::_Conflits<code> [protected]</code>
+ </b></td>
+ </tr>
+
+ </table>
+ </td>
+ </tr>
+</table>
+<table cellspacing=5 cellpadding=0 border=0>
+ <tr>
+ <td>
+ &nbsp;
+ </td>
+ <td>
+
+<p>
+
+<p>
+Definition at line <a class="el" href="clause_h-source.html#l00044">44</a> of file <a class="el" href="clause_h-source.html">clause.h</a>. </td>
+ </tr>
+</table>
+<a name="n8" doxytag="NLAILOGIC::CClause::_FirstOrderTrue"></a><p>
+<table width="100%" cellpadding="2" cellspacing="0" border="0">
+ <tr>
+ <td class="md">
+ <table cellpadding="0" cellspacing="0" border="0">
+ <tr>
+ <td nowrap valign="top"><b>
+bool NLAILOGIC::CClause::_FirstOrderTrue<code> [protected]</code>
+ </b></td>
+ </tr>
+
+ </table>
+ </td>
+ </tr>
+</table>
+<table cellspacing=5 cellpadding=0 border=0>
+ <tr>
+ <td>
+ &nbsp;
+ </td>
+ <td>
+
+<p>
+
+<p>
+Definition at line <a class="el" href="clause_h-source.html#l00050">50</a> of file <a class="el" href="clause_h-source.html">clause.h</a>. </td>
+ </tr>
+</table>
+<a name="n3" doxytag="NLAILOGIC::CClause::_Liaisons"></a><p>
+<table width="100%" cellpadding="2" cellspacing="0" border="0">
+ <tr>
+ <td class="md">
+ <table cellpadding="0" cellspacing="0" border="0">
+ <tr>
+ <td nowrap valign="top"><b>
+std::list&lt; <a class="el" href="class_NLAILOGIC__CValueSet.html">CValueSet</a> *&gt; NLAILOGIC::CClause::_Liaisons<code> [protected]</code>
+ </b></td>
+ </tr>
+
+ </table>
+ </td>
+ </tr>
+</table>
+<table cellspacing=5 cellpadding=0 border=0>
+ <tr>
+ <td>
+ &nbsp;
+ </td>
+ <td>
+
+<p>
+
+<p>
+Definition at line <a class="el" href="clause_h-source.html#l00042">42</a> of file <a class="el" href="clause_h-source.html">clause.h</a>. </td>
+ </tr>
+</table>
+<a name="n6" doxytag="NLAILOGIC::CClause::_NbValid"></a><p>
+<table width="100%" cellpadding="2" cellspacing="0" border="0">
+ <tr>
+ <td class="md">
+ <table cellpadding="0" cellspacing="0" border="0">
+ <tr>
+ <td nowrap valign="top"><b>
+<a class="el" href="types_nl_h.html#a8">sint32</a> NLAILOGIC::CClause::_NbValid<code> [protected]</code>
+ </b></td>
+ </tr>
+
+ </table>
+ </td>
+ </tr>
+</table>
+<table cellspacing=5 cellpadding=0 border=0>
+ <tr>
+ <td>
+ &nbsp;
+ </td>
+ <td>
+
+<p>
+
+<p>
+Definition at line <a class="el" href="clause_h-source.html#l00045">45</a> of file <a class="el" href="clause_h-source.html">clause.h</a>. </td>
+ </tr>
+</table>
+<a name="n2" doxytag="NLAILOGIC::CClause::_PosVarsCond"></a><p>
+<table width="100%" cellpadding="2" cellspacing="0" border="0">
+ <tr>
+ <td class="md">
+ <table cellpadding="0" cellspacing="0" border="0">
+ <tr>
+ <td nowrap valign="top"><b>
+std::vector&lt; std::vector&lt; <a class="el" href="types_nl_h.html#a8">sint32</a> &gt; &gt; NLAILOGIC::CClause::_PosVarsCond<code> [protected]</code>
+ </b></td>
+ </tr>
+
+ </table>
+ </td>
+ </tr>
+</table>
+<table cellspacing=5 cellpadding=0 border=0>
+ <tr>
+ <td>
+ &nbsp;
+ </td>
+ <td>
+
+<p>
+
+<p>
+Definition at line <a class="el" href="clause_h-source.html#l00041">41</a> of file <a class="el" href="clause_h-source.html">clause.h</a>. </td>
+ </tr>
+</table>
+<a name="n0" doxytag="NLAILOGIC::CClause::_SimpleConds"></a><p>
+<table width="100%" cellpadding="2" cellspacing="0" border="0">
+ <tr>
+ <td class="md">
+ <table cellpadding="0" cellspacing="0" border="0">
+ <tr>
+ <td nowrap valign="top"><b>
+std::list&lt; <a class="el" href="class_NLAILOGIC__CBoolAssert.html">CBoolAssert</a> *&gt; NLAILOGIC::CClause::_SimpleConds<code> [protected]</code>
+ </b></td>
+ </tr>
+
+ </table>
+ </td>
+ </tr>
+</table>
+<table cellspacing=5 cellpadding=0 border=0>
+ <tr>
+ <td>
+ &nbsp;
+ </td>
+ <td>
+
+<p>
+
+<p>
+Definition at line <a class="el" href="clause_h-source.html#l00039">39</a> of file <a class="el" href="clause_h-source.html">clause.h</a>. </td>
+ </tr>
+</table>
+<hr>The documentation for this class was generated from the following files:<ul>
+<li><a class="el" href="clause_h-source.html">clause.h</a><li><a class="el" href="clause_cpp-source.html">clause.cpp</a><li><a class="el" href="static_def_init_cpp-source.html">static_def_init.cpp</a></ul>
+
+
+<!-- footer -->
+<BR><FONT Size=+5>&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; </FONT>
+</TD>
+<TD WIDTH=15><IMG SRC=http://www.nevrax.org/inc/img/pixel.gif WIDTH=15 HEIGHT=15 BORDER=0 ALT=""></TD>
+</TR>
+</TABLE>
+</BODY>
+</HTML>