aboutsummaryrefslogtreecommitdiff
path: root/docs/doxygen/nel/classNLAILOGIC_1_1CFirstOrderOperator.html
diff options
context:
space:
mode:
Diffstat (limited to 'docs/doxygen/nel/classNLAILOGIC_1_1CFirstOrderOperator.html')
-rw-r--r--docs/doxygen/nel/classNLAILOGIC_1_1CFirstOrderOperator.html1731
1 files changed, 1731 insertions, 0 deletions
diff --git a/docs/doxygen/nel/classNLAILOGIC_1_1CFirstOrderOperator.html b/docs/doxygen/nel/classNLAILOGIC_1_1CFirstOrderOperator.html
new file mode 100644
index 00000000..7309cccf
--- /dev/null
+++ b/docs/doxygen/nel/classNLAILOGIC_1_1CFirstOrderOperator.html
@@ -0,0 +1,1731 @@
+<!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.14 -->
+<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::CFirstOrderOperator Class Reference</h1><code>#include &lt;<a class="el" href="fo__operator_8h-source.html">fo_operator.h</a>&gt;</code>
+<p>
+<p>Inheritance diagram for NLAILOGIC::CFirstOrderOperator:
+<p><center><img src="classNLAILOGIC_1_1CFirstOrderOperator.gif" usemap="#NLAILOGIC::CFirstOrderOperator_map" border="0"></center>
+<map name="NLAILOGIC::CFirstOrderOperator_map">
+<area href="classNLAILOGIC_1_1IBaseOperator.html" alt="NLAILOGIC::IBaseOperator" shape="rect" coords="0,504,203,528">
+<area href="classNLAILOGIC_1_1IBaseBoolType.html" alt="NLAILOGIC::IBaseBoolType" shape="rect" coords="0,448,203,472">
+<area href="classNLAIAGENT_1_1IObjetOp.html" alt="NLAIAGENT::IObjetOp" shape="rect" coords="0,392,203,416">
+<area href="classNLAIAGENT_1_1IObjectIA.html" alt="NLAIAGENT::IObjectIA" shape="rect" coords="0,336,203,360">
+<area href="classNLAIAGENT_1_1IBasicObjectIA.html" alt="NLAIAGENT::IBasicObjectIA" shape="rect" coords="0,280,203,304">
+<area href="classNLAIC_1_1IBasicInterface.html" alt="NLAIC::IBasicInterface" shape="rect" coords="0,224,203,248">
+<area href="classNLAIC_1_1IBasicType.html" alt="NLAIC::IBasicType" shape="rect" coords="0,168,203,192">
+<area href="classNLAIC_1_1IPointerGestion.html" alt="NLAIC::IPointerGestion" shape="rect" coords="0,112,203,136">
+<area href="classNLMISC_1_1IStreamable.html" alt="NLMISC::IStreamable" shape="rect" coords="0,56,203,80">
+<area href="classNLMISC_1_1IClassable.html" alt="NLMISC::IClassable" shape="rect" coords="0,0,203,24">
+</map>
+<a href="classNLAILOGIC_1_1CFirstOrderOperator-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="classNLAILOGIC_1_1CFirstOrderOperator.html#a0">CFirstOrderOperator</a> ()</td></tr>
+<tr><td nowrap align=right valign=top>&nbsp;</td><td valign=bottom><a class="el" href="classNLAILOGIC_1_1CFirstOrderOperator.html#a1">CFirstOrderOperator</a> (const CFirstOrderOperator &amp;)</td></tr>
+<tr><td nowrap align=right valign=top>&nbsp;</td><td valign=bottom><a class="el" href="classNLAILOGIC_1_1CFirstOrderOperator.html#a2">~CFirstOrderOperator</a> ()</td></tr>
+<tr><td nowrap align=right valign=top><a class="el" href="classstd_1_1list.html">std::list</a>&lt; <a class="el" href="classNLAILOGIC_1_1CFactPattern.html">CFactPattern</a> * &gt; *&nbsp;</td><td valign=bottom><a class="el" href="classNLAILOGIC_1_1CFirstOrderOperator.html#a3">forward</a> (<a class="el" href="classNLAILOGIC_1_1CFactPattern.html">CFactPattern</a> *)</td></tr>
+<tr><td>&nbsp;</td><td><font size=-1><em>Gives the postcondition for a <a class="el" href="classNLAILOGIC_1_1CFact.html">CFact</a> in the preconditions.</em> <a href="#a3">More...</a><em></em></font><br><br></td></tr>
+<tr><td nowrap align=right valign=top><a class="el" href="classstd_1_1list.html">std::list</a>&lt; <a class="el" href="classNLAILOGIC_1_1CFactPattern.html">CFactPattern</a> * &gt; *&nbsp;</td><td valign=bottom><a class="el" href="classNLAILOGIC_1_1CFirstOrderOperator.html#a4">backward</a> (<a class="el" href="classNLAILOGIC_1_1CFactPattern.html">CFactPattern</a> *)</td></tr>
+<tr><td>&nbsp;</td><td><font size=-1><em>Gives the precondition for a <a class="el" href="classNLAILOGIC_1_1CFact.html">CFact</a> in the postconditions.</em> <a href="#a4">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="classNLAILOGIC_1_1CFirstOrderOperator.html#a5">addPrecondition</a> (<a class="el" href="classNLAILOGIC_1_1CFactPattern.html">CFactPattern</a> *)</td></tr>
+<tr><td>&nbsp;</td><td><font size=-1><em>Adds a first order logic precondition to the operator.</em> <a href="#a5">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="classNLAILOGIC_1_1CFirstOrderOperator.html#a6">addPostcondition</a> (<a class="el" href="classNLAILOGIC_1_1CFactPattern.html">CFactPattern</a> *)</td></tr>
+<tr><td>&nbsp;</td><td><font size=-1><em>Adds a first order logic postcondition to the operator.</em> <a href="#a6">More...</a><em></em></font><br><br></td></tr>
+<tr><td nowrap align=right valign=top><a class="el" href="classstd_1_1list.html">std::list</a>&lt; <a class="el" href="classNLAILOGIC_1_1CFact.html">CFact</a> * &gt; *&nbsp;</td><td valign=bottom><a class="el" href="classNLAILOGIC_1_1CFirstOrderOperator.html#a7">backward</a> (<a class="el" href="classstd_1_1list.html">std::list</a>&lt; <a class="el" href="classNLAILOGIC_1_1CFact.html">CFact</a> * &gt; &amp;)</td></tr>
+<tr><td>&nbsp;</td><td><font size=-1><em>Returns the result of backarding a list of facts through the operator.</em> <a href="#a7">More...</a><em></em></font><br><br></td></tr>
+<tr><td nowrap align=right valign=top><a class="el" href="classstd_1_1list.html">std::list</a>&lt; <a class="el" href="classNLAILOGIC_1_1CFact.html">CFact</a> * &gt; *&nbsp;</td><td valign=bottom><a class="el" href="classNLAILOGIC_1_1CFirstOrderOperator.html#a8">forward</a> (<a class="el" href="classstd_1_1list.html">std::list</a>&lt; <a class="el" href="classNLAILOGIC_1_1CFact.html">CFact</a> * &gt; &amp;)</td></tr>
+<tr><td>&nbsp;</td><td><font size=-1><em>Returns the conclusions of the operator for given preconditions facts.</em> <a href="#a8">More...</a><em></em></font><br><br></td></tr>
+<tr><td nowrap align=right valign=top><a class="el" href="classstd_1_1list.html">std::list</a>&lt; <a class="el" href="classNLAILOGIC_1_1CFact.html">CFact</a> * &gt; *&nbsp;</td><td valign=bottom><a class="el" href="classNLAILOGIC_1_1CFirstOrderOperator.html#a9">propagate</a> (<a class="el" href="classstd_1_1list.html">std::list</a>&lt; <a class="el" href="classNLAILOGIC_1_1CFact.html">CFact</a> * &gt; &amp;)</td></tr>
+<tr><td>&nbsp;</td><td><font size=-1><em>Propagates facts through the operator and network of asserts/ operators.</em> <a href="#a9">More...</a><em></em></font><br><br></td></tr>
+<tr><td nowrap align=right valign=top>virtual const <a class="el" href="classNLAIC_1_1IBasicType.html">NLAIC::IBasicType</a> *&nbsp;</td><td valign=bottom><a class="el" href="classNLAILOGIC_1_1CFirstOrderOperator.html#a10">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="#a10">More...</a><em></em></font><br><br></td></tr>
+<tr><td nowrap align=right valign=top>virtual const <a class="el" href="classNLAIC_1_1IBasicType.html">NLAIC::IBasicType</a> *&nbsp;</td><td valign=bottom><a class="el" href="classNLAILOGIC_1_1CFirstOrderOperator.html#a11">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="#a11">More...</a><em></em></font><br><br></td></tr>
+<tr><td nowrap align=right valign=top>virtual void&nbsp;</td><td valign=bottom><a class="el" href="classNLAILOGIC_1_1CFirstOrderOperator.html#a12">save</a> (<a class="el" href="classNLMISC_1_1IStream.html">NLMISC::IStream</a> &amp;os)</td></tr>
+<tr><td>&nbsp;</td><td><font size=-1><em>Save the class in a stream.</em> <a href="#a12">More...</a><em></em></font><br><br></td></tr>
+<tr><td nowrap align=right valign=top>virtual void&nbsp;</td><td valign=bottom><a class="el" href="classNLAILOGIC_1_1CFirstOrderOperator.html#a13">load</a> (<a class="el" href="classNLMISC_1_1IStream.html">NLMISC::IStream</a> &amp;is)</td></tr>
+<tr><td>&nbsp;</td><td><font size=-1><em>Load the class from a stream.</em> <a href="#a13">More...</a><em></em></font><br><br></td></tr>
+<tr><td nowrap align=right valign=top>virtual void&nbsp;</td><td valign=bottom><a class="el" href="classNLAILOGIC_1_1CFirstOrderOperator.html#a14">getDebugString</a> (std::string &amp;) 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="#a14">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="classNLAILOGIC_1_1CFirstOrderOperator.html#a15">isEqual</a> (const CFirstOrderOperator &amp;a) const</td></tr>
+<tr><td nowrap align=right valign=top>virtual const <a class="el" href="structNLAIAGENT_1_1IObjectIA_1_1CProcessResult.html">NLAIAGENT::IObjectIA::CProcessResult</a> &amp;&nbsp;</td><td valign=bottom><a class="el" href="classNLAILOGIC_1_1CFirstOrderOperator.html#a16">run</a> ()</td></tr>
+<tr><td>&nbsp;</td><td><font size=-1><em>Some where Run method define the process of the agen.</em> <a href="#a16">More...</a><em></em></font><br><br></td></tr>
+<tr><td nowrap align=right valign=top>bool&nbsp;</td><td valign=bottom><a class="el" href="classNLAILOGIC_1_1CFirstOrderOperator.html#a17">isEqual</a> (const <a class="el" href="classNLAIAGENT_1_1IBasicObjectIA.html">NLAIAGENT::IBasicObjectIA</a> &amp;a) const</td></tr>
+<tr><td nowrap align=right valign=top>const <a class="el" href="classNLAIC_1_1CIdentType.html">NLAIC::CIdentType</a> &amp;&nbsp;</td><td valign=bottom><a class="el" href="classNLAILOGIC_1_1CFirstOrderOperator.html#a18">getType</a> () const</td></tr>
+<tr><td>&nbsp;</td><td><font size=-1><em>getType return a unique string how represente the class, it can be the name of the class.</em> <a href="#a18">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="classNLAILOGIC_1_1CFirstOrderOperator.html#a19">operator==</a> (CFirstOrderOperator *)</td></tr>
+<tr><td nowrap align=right valign=top><a class="el" href="classstd_1_1list.html">std::list</a>&lt; <a class="el" href="classNLAILOGIC_1_1CFact.html">CFact</a> * &gt; *&nbsp;</td><td valign=bottom><a class="el" href="classNLAILOGIC_1_1CFirstOrderOperator.html#a20">test</a> (<a class="el" href="classstd_1_1list.html">std::list</a>&lt; <a class="el" href="classNLAILOGIC_1_1CFact.html">CFact</a> * &gt; &amp;)</td></tr>
+<tr><td nowrap align=right valign=top>virtual bool&nbsp;</td><td valign=bottom><a class="el" href="classNLAILOGIC_1_1CFirstOrderOperator.html#a21">isTrue</a> () const</td></tr>
+<tr><td>&nbsp;</td><td><font size=-1><em>Returns true if the preconditions are validated.</em> <a href="#a21">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="classNLAILOGIC_1_1CFirstOrderOperator.html#a22">truthValue</a> () const</td></tr>
+<tr><td>&nbsp;</td><td><font size=-1><em>Returns a value in [0,1].</em> <a href="#a22">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="classNLAILOGIC_1_1CFirstOrderOperator.html#a23">isValid</a> (<a class="el" href="classNLAILOGIC_1_1CFactBase.html">CFactBase</a> *)</td></tr>
+<tr><td>&nbsp;</td><td><font size=-1><em>Asks wether the operator's preconditions are validated,.</em> <a href="#a23">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="classNLAILOGIC_1_1CFirstOrderOperator.html#a24">priority</a> () const</td></tr>
+<tr><td>&nbsp;</td><td><font size=-1><em>Priority of the operator.</em> <a href="#a24">More...</a><em></em></font><br><br></td></tr>
+<tr><td nowrap align=right valign=top>virtual void&nbsp;</td><td valign=bottom><a class="el" href="classNLAILOGIC_1_1CFirstOrderOperator.html#a25">success</a> ()</td></tr>
+<tr><td>&nbsp;</td><td><font size=-1><em>Own success and failure functions These function telle other operators and goals that might be waiting for the execution of this one.</em> <a href="#a25">More...</a><em></em></font><br><br></td></tr>
+<tr><td nowrap align=right valign=top>virtual void&nbsp;</td><td valign=bottom><a class="el" href="classNLAILOGIC_1_1CFirstOrderOperator.html#a26">failure</a> ()</td></tr>
+<tr><td nowrap align=right valign=top>virtual void&nbsp;</td><td valign=bottom><a class="el" href="classNLAILOGIC_1_1CFirstOrderOperator.html#a27">success</a> (<a class="el" href="classNLAILOGIC_1_1IBaseOperator.html">IBaseOperator</a> *)</td></tr>
+<tr><td>&nbsp;</td><td><font size=-1><em>Dependencies failure and success notification These functions are called by other operators or goals who failed or succeeded.</em> <a href="#a27">More...</a><em></em></font><br><br></td></tr>
+<tr><td nowrap align=right valign=top>virtual void&nbsp;</td><td valign=bottom><a class="el" href="classNLAILOGIC_1_1CFirstOrderOperator.html#a28">failure</a> (<a class="el" href="classNLAILOGIC_1_1IBaseOperator.html">IBaseOperator</a> *)</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="classNLAIC_1_1CIdentType.html">NLAIC::CIdentType</a>&nbsp;</td><td valign=bottom><a class="el" href="classNLAILOGIC_1_1CFirstOrderOperator.html#p0">IdCFirstOrderOperator</a></td></tr>
+<tr><td colspan=2><br><h2>Protected Methods</h2></td></tr>
+<tr><td nowrap align=right valign=top>void&nbsp;</td><td valign=bottom><a class="el" href="classNLAILOGIC_1_1CFirstOrderOperator.html#b0">compileFactPattern</a> (<a class="el" href="classNLAILOGIC_1_1CFactPattern.html">CFactPattern</a> *, std::vector&lt; <a class="el" href="classNLAILOGIC_1_1IBaseAssert.html">IBaseAssert</a> * &gt; &amp;, std::vector&lt; <a class="el" href="memory__common_8h.html#a10">sint32</a> &gt; &amp;)</td></tr>
+<tr><td>&nbsp;</td><td><font size=-1><em>Pos of a postcondition pattern's vars in the operator's vars tableTransforms a <a class="el" href="classNLAILOGIC_1_1CFactPattern.html">CFactPattern</a> in an assert and a list of variable positions in the operator.</em> <a href="#b0">More...</a><em></em></font><br><br></td></tr>
+<tr><td nowrap align=right valign=top><a class="el" href="memory__common_8h.html#a10">sint32</a>&nbsp;</td><td valign=bottom><a class="el" href="classNLAILOGIC_1_1CFirstOrderOperator.html#b1">CFirstOrderOperator::getVarPos</a> (<a class="el" href="classNLAILOGIC_1_1IBaseVar.html">IBaseVar</a> *var)</td></tr>
+<tr><td>&nbsp;</td><td><font size=-1><em>Returns the pos of a vraiables in the operator's vars table, -1 if not found.</em> <a href="#b1">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="classNLAILOGIC_1_1CFirstOrderOperator.html#b2">getPosListForward</a> (<a class="el" href="memory__common_8h.html#a10">sint32</a>, <a class="el" href="memory__common_8h.html#a10">sint32</a>, std::vector&lt; <a class="el" href="memory__common_8h.html#a10">sint32</a> &gt; &amp;)</td></tr>
+<tr><td nowrap align=right valign=top>void&nbsp;</td><td valign=bottom><a class="el" href="classNLAILOGIC_1_1CFirstOrderOperator.html#b3">getPosListBackward</a> (<a class="el" href="memory__common_8h.html#a10">sint32</a>, <a class="el" href="memory__common_8h.html#a10">sint32</a>, std::vector&lt; <a class="el" href="memory__common_8h.html#a10">sint32</a> &gt; &amp;)</td></tr>
+<tr><td nowrap align=right valign=top>void&nbsp;</td><td valign=bottom><a class="el" href="classNLAILOGIC_1_1CFirstOrderOperator.html#b4">getAssertPos</a> (<a class="el" href="classNLAILOGIC_1_1IBaseAssert.html">IBaseAssert</a> *, std::vector&lt; <a class="el" href="classNLAILOGIC_1_1IBaseAssert.html">IBaseAssert</a> * &gt; &amp;, std::vector&lt; <a class="el" href="memory__common_8h.html#a10">sint32</a> &gt; &amp;)</td></tr>
+<tr><td nowrap align=right valign=top><a class="el" href="classNLAILOGIC_1_1CValueSet.html">CValueSet</a> *&nbsp;</td><td valign=bottom><a class="el" href="classNLAILOGIC_1_1CFirstOrderOperator.html#b5">unifyBackward</a> (<a class="el" href="classstd_1_1list.html">std::list</a>&lt; <a class="el" href="classNLAILOGIC_1_1CFact.html">CFact</a> * &gt; &amp;)</td></tr>
+<tr><td nowrap align=right valign=top><a class="el" href="classNLAILOGIC_1_1CValueSet.html">CValueSet</a> *&nbsp;</td><td valign=bottom><a class="el" href="classNLAILOGIC_1_1CFirstOrderOperator.html#b6">unifyForward</a> (<a class="el" href="classstd_1_1list.html">std::list</a>&lt; <a class="el" href="classNLAILOGIC_1_1CFact.html">CFact</a> * &gt; &amp;)</td></tr>
+<tr><td nowrap align=right valign=top><a class="el" href="classNLAILOGIC_1_1CFact.html">CFact</a> *&nbsp;</td><td valign=bottom><a class="el" href="classNLAILOGIC_1_1CFirstOrderOperator.html#b7">buildFromVars</a> (<a class="el" href="classNLAILOGIC_1_1IBaseAssert.html">IBaseAssert</a> *, std::vector&lt; <a class="el" href="memory__common_8h.html#a10">sint32</a> &gt; &amp;, <a class="el" href="classNLAILOGIC_1_1CValueSet.html">CValueSet</a> *)</td></tr>
+<tr><td nowrap align=right valign=top><a class="el" href="classstd_1_1list.html">std::list</a>&lt; <a class="el" href="classNLAILOGIC_1_1CValueSet.html">CValueSet</a> * &gt; *&nbsp;</td><td valign=bottom><a class="el" href="classNLAILOGIC_1_1CFirstOrderOperator.html#b8">propagate</a> (<a class="el" href="classstd_1_1list.html">std::list</a>&lt; <a class="el" href="classNLAILOGIC_1_1CValueSet.html">CValueSet</a> * &gt; &amp;, <a class="el" href="classNLAILOGIC_1_1CValueSet.html">CValueSet</a> *, std::vector&lt; <a class="el" href="memory__common_8h.html#a10">sint32</a> &gt; &amp;)</td></tr>
+<tr><td>&nbsp;</td><td><font size=-1><em>Forward chaining.</em> <a href="#b8">More...</a><em></em></font><br><br></td></tr>
+<tr><td nowrap align=right valign=top><a class="el" href="classNLAILOGIC_1_1CValueSet.html">CValueSet</a> *&nbsp;</td><td valign=bottom><a class="el" href="classNLAILOGIC_1_1CFirstOrderOperator.html#b9">unifyLiaison</a> (const <a class="el" href="classNLAILOGIC_1_1CValueSet.html">CValueSet</a> *, <a class="el" href="classNLAILOGIC_1_1CValueSet.html">CValueSet</a> *, std::vector&lt; <a class="el" href="memory__common_8h.html#a10">sint32</a> &gt; &amp;)</td></tr>
+<tr><td>&nbsp;</td><td><font size=-1><em>Tries to unify an instaciation of the operator's variables with a new <a class="el" href="classNLAILOGIC_1_1CFact.html">CFact</a>.</em> <a href="#b9">More...</a><em></em></font><br><br></td></tr>
+<tr><td colspan=2><br><h2>Protected Attributes</h2></td></tr>
+<tr><td nowrap align=right valign=top>std::vector&lt; <a class="el" href="classNLAILOGIC_1_1IBaseVar.html">IBaseVar</a> * &gt;&nbsp;</td><td valign=bottom><a class="el" href="classNLAILOGIC_1_1CFirstOrderOperator.html#n0">_Vars</a></td></tr>
+<tr><td nowrap align=right valign=top>std::vector&lt; std::vector&lt;<br>
+ <a class="el" href="memory__common_8h.html#a10">sint32</a> &gt; &gt;&nbsp;</td><td valign=bottom><a class="el" href="classNLAILOGIC_1_1CFirstOrderOperator.html#n1">_PosVarsCond</a></td></tr>
+<tr><td>&nbsp;</td><td><font size=-1><em>Variables of the operator.</em> <a href="#n1">More...</a><em></em></font><br><br></td></tr>
+<tr><td nowrap align=right valign=top>std::vector&lt; std::vector&lt;<br>
+ <a class="el" href="memory__common_8h.html#a10">sint32</a> &gt; &gt;&nbsp;</td><td valign=bottom><a class="el" href="classNLAILOGIC_1_1CFirstOrderOperator.html#n2">_PosVarsConc</a></td></tr>
+<tr><td>&nbsp;</td><td><font size=-1><em>Pos of a precondition pattern's vars in the operator's vars table.</em> <a href="#n2">More...</a><em></em></font><br><br></td></tr>
+</table>
+<hr><h2>Constructor &amp; Destructor Documentation</h2>
+<a name="a0" doxytag="NLAILOGIC::CFirstOrderOperator::CFirstOrderOperator"></a><p>
+<table width="100%" cellpadding="2" cellspacing="0" border="0">
+ <tr>
+ <td class="md">
+ <table cellpadding="0" cellspacing="0" border="0">
+ <tr>
+ <td class="md" nowrap valign="top"> NLAILOGIC::CFirstOrderOperator::CFirstOrderOperator </td>
+ <td class="md" valign="top">(&nbsp;</td>
+ <td class="mdname1" valign="top" nowrap>&nbsp; </td>
+ <td class="md" valign="top">)&nbsp;</td>
+ <td class="md" nowrap></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="fo__operator_8cpp-source.html#l00035">35</a> of file <a class="el" href="fo__operator_8cpp-source.html">fo_operator.cpp</a>.
+<p>
+References <a class="el" href="operator_8h-source.html#l00048">NLAILOGIC::IBaseOperator::_Comment</a>.
+<p>
+Referenced by <a class="el" href="fo__operator_8cpp-source.html#l00486">clone</a>, and <a class="el" href="fo__operator_8cpp-source.html#l00492">newInstance</a>. </td>
+ </tr>
+</table>
+<a name="a1" doxytag="NLAILOGIC::CFirstOrderOperator::CFirstOrderOperator"></a><p>
+<table width="100%" cellpadding="2" cellspacing="0" border="0">
+ <tr>
+ <td class="md">
+ <table cellpadding="0" cellspacing="0" border="0">
+ <tr>
+ <td class="md" nowrap valign="top"> NLAILOGIC::CFirstOrderOperator::CFirstOrderOperator </td>
+ <td class="md" valign="top">(&nbsp;</td>
+ <td class="md" nowrap valign="top">const CFirstOrderOperator &amp;&nbsp;</td>
+ <td class="mdname1" valign="top" nowrap>&nbsp; </td>
+ <td class="md" valign="top">)&nbsp;</td>
+ <td class="md" nowrap></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="fo__operator_8cpp-source.html#l00040">40</a> of file <a class="el" href="fo__operator_8cpp-source.html">fo_operator.cpp</a>.
+<p>
+References <a class="el" href="operator_8h-source.html#l00048">NLAILOGIC::IBaseOperator::_Comment</a>, <a class="el" href="operator_8h-source.html#l00054">NLAILOGIC::IBaseOperator::_Concs</a>, <a class="el" href="operator_8h-source.html#l00052">NLAILOGIC::IBaseOperator::_Conds</a>, <a class="el" href="fo__operator_8h-source.html#l00046">_PosVarsConc</a>, and <a class="el" href="fo__operator_8h-source.html#l00045">_PosVarsCond</a>. </td>
+ </tr>
+</table>
+<a name="a2" doxytag="NLAILOGIC::CFirstOrderOperator::~CFirstOrderOperator"></a><p>
+<table width="100%" cellpadding="2" cellspacing="0" border="0">
+ <tr>
+ <td class="md">
+ <table cellpadding="0" cellspacing="0" border="0">
+ <tr>
+ <td class="md" nowrap valign="top"> NLAILOGIC::CFirstOrderOperator::~CFirstOrderOperator </td>
+ <td class="md" valign="top">(&nbsp;</td>
+ <td class="mdname1" valign="top" nowrap>&nbsp; </td>
+ <td class="md" valign="top">)&nbsp;</td>
+ <td class="md" nowrap></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="fo__operator_8cpp-source.html#l00109">109</a> of file <a class="el" href="fo__operator_8cpp-source.html">fo_operator.cpp</a>.
+<p>
+References <a class="el" href="fo__operator_8h-source.html#l00044">_Vars</a>. </td>
+ </tr>
+</table>
+<hr><h2>Member Function Documentation</h2>
+<a name="a6" doxytag="NLAILOGIC::CFirstOrderOperator::addPostcondition"></a><p>
+<table width="100%" cellpadding="2" cellspacing="0" border="0">
+ <tr>
+ <td class="md">
+ <table cellpadding="0" cellspacing="0" border="0">
+ <tr>
+ <td class="md" nowrap valign="top"> void NLAILOGIC::CFirstOrderOperator::addPostcondition </td>
+ <td class="md" valign="top">(&nbsp;</td>
+ <td class="md" nowrap valign="top"><a class="el" href="classNLAILOGIC_1_1CFactPattern.html">CFactPattern</a> *&nbsp;</td>
+ <td class="mdname1" valign="top" nowrap>&nbsp; </td>
+ <td class="md" valign="top">)&nbsp;</td>
+ <td class="md" nowrap></td>
+ </tr>
+
+ </table>
+ </td>
+ </tr>
+</table>
+<table cellspacing=5 cellpadding=0 border=0>
+ <tr>
+ <td>
+ &nbsp;
+ </td>
+ <td>
+
+<p>
+Adds a first order logic postcondition to the operator.
+<p>
+
+<p>
+Definition at line <a class="el" href="fo__operator_8cpp-source.html#l00159">159</a> of file <a class="el" href="fo__operator_8cpp-source.html">fo_operator.cpp</a>.
+<p>
+References <a class="el" href="operator_8h-source.html#l00054">NLAILOGIC::IBaseOperator::_Concs</a>, <a class="el" href="operator_8h-source.html#l00052">NLAILOGIC::IBaseOperator::_Conds</a>, <a class="el" href="fo__operator_8h-source.html#l00046">_PosVarsConc</a>, and <a class="el" href="fo__operator_8cpp-source.html#l00115">compileFactPattern</a>. </td>
+ </tr>
+</table>
+<a name="a5" doxytag="NLAILOGIC::CFirstOrderOperator::addPrecondition"></a><p>
+<table width="100%" cellpadding="2" cellspacing="0" border="0">
+ <tr>
+ <td class="md">
+ <table cellpadding="0" cellspacing="0" border="0">
+ <tr>
+ <td class="md" nowrap valign="top"> void NLAILOGIC::CFirstOrderOperator::addPrecondition </td>
+ <td class="md" valign="top">(&nbsp;</td>
+ <td class="md" nowrap valign="top"><a class="el" href="classNLAILOGIC_1_1CFactPattern.html">CFactPattern</a> *&nbsp;</td>
+ <td class="mdname1" valign="top" nowrap>&nbsp; </td>
+ <td class="md" valign="top">)&nbsp;</td>
+ <td class="md" nowrap></td>
+ </tr>
+
+ </table>
+ </td>
+ </tr>
+</table>
+<table cellspacing=5 cellpadding=0 border=0>
+ <tr>
+ <td>
+ &nbsp;
+ </td>
+ <td>
+
+<p>
+Adds a first order logic precondition to the operator.
+<p>
+
+<p>
+Definition at line <a class="el" href="fo__operator_8cpp-source.html#l00145">145</a> of file <a class="el" href="fo__operator_8cpp-source.html">fo_operator.cpp</a>.
+<p>
+References <a class="el" href="operator_8h-source.html#l00052">NLAILOGIC::IBaseOperator::_Conds</a>, <a class="el" href="fo__operator_8h-source.html#l00045">_PosVarsCond</a>, and <a class="el" href="fo__operator_8cpp-source.html#l00115">compileFactPattern</a>. </td>
+ </tr>
+</table>
+<a name="a7" doxytag="NLAILOGIC::CFirstOrderOperator::backward"></a><p>
+<table width="100%" cellpadding="2" cellspacing="0" border="0">
+ <tr>
+ <td class="md">
+ <table cellpadding="0" cellspacing="0" border="0">
+ <tr>
+ <td class="md" nowrap valign="top"> <a class="el" href="classstd_1_1list.html">std::list</a>&lt; <a class="el" href="classNLAILOGIC_1_1CFact.html">CFact</a> * &gt; * NLAILOGIC::CFirstOrderOperator::backward </td>
+ <td class="md" valign="top">(&nbsp;</td>
+ <td class="md" nowrap valign="top"><a class="el" href="classstd_1_1list.html">std::list</a>&lt; <a class="el" href="classNLAILOGIC_1_1CFact.html">CFact</a> * &gt; &amp;&nbsp;</td>
+ <td class="mdname1" valign="top" nowrap>&nbsp; </td>
+ <td class="md" valign="top">)&nbsp;</td>
+ <td class="md" nowrap><code> [virtual]</code></td>
+ </tr>
+
+ </table>
+ </td>
+ </tr>
+</table>
+<table cellspacing=5 cellpadding=0 border=0>
+ <tr>
+ <td>
+ &nbsp;
+ </td>
+ <td>
+
+<p>
+Returns the result of backarding a list of facts through the operator.
+<p>
+
+<p>
+Implements <a class="el" href="classNLAILOGIC_1_1IBaseOperator.html#a1">NLAILOGIC::IBaseOperator</a>.
+<p>
+Definition at line <a class="el" href="fo__operator_8cpp-source.html#l00313">313</a> of file <a class="el" href="fo__operator_8cpp-source.html">fo_operator.cpp</a>.
+<p>
+References <a class="el" href="operator_8h-source.html#l00052">NLAILOGIC::IBaseOperator::_Conds</a>, <a class="el" href="fo__operator_8h-source.html#l00045">_PosVarsCond</a>, <a class="el" href="fo__operator_8cpp-source.html#l00303">buildFromVars</a>, and <a class="el" href="fo__operator_8cpp-source.html#l00225">unifyBackward</a>. </td>
+ </tr>
+</table>
+<a name="a4" doxytag="NLAILOGIC::CFirstOrderOperator::backward"></a><p>
+<table width="100%" cellpadding="2" cellspacing="0" border="0">
+ <tr>
+ <td class="md">
+ <table cellpadding="0" cellspacing="0" border="0">
+ <tr>
+ <td class="md" nowrap valign="top"> <a class="el" href="classstd_1_1list.html">std::list</a>&lt;<a class="el" href="classNLAILOGIC_1_1CFactPattern.html">CFactPattern</a> *&gt;* NLAILOGIC::CFirstOrderOperator::backward </td>
+ <td class="md" valign="top">(&nbsp;</td>
+ <td class="md" nowrap valign="top"><a class="el" href="classNLAILOGIC_1_1CFactPattern.html">CFactPattern</a> *&nbsp;</td>
+ <td class="mdname1" valign="top" nowrap>&nbsp; </td>
+ <td class="md" valign="top">)&nbsp;</td>
+ <td class="md" nowrap></td>
+ </tr>
+
+ </table>
+ </td>
+ </tr>
+</table>
+<table cellspacing=5 cellpadding=0 border=0>
+ <tr>
+ <td>
+ &nbsp;
+ </td>
+ <td>
+
+<p>
+Gives the precondition for a <a class="el" href="classNLAILOGIC_1_1CFact.html">CFact</a> in the postconditions.
+<p>
+
+<p>
+Referenced by <a class="el" href="fo__operator_8cpp-source.html#l00472">test</a>. </td>
+ </tr>
+</table>
+<a name="b7" doxytag="NLAILOGIC::CFirstOrderOperator::buildFromVars"></a><p>
+<table width="100%" cellpadding="2" cellspacing="0" border="0">
+ <tr>
+ <td class="md">
+ <table cellpadding="0" cellspacing="0" border="0">
+ <tr>
+ <td class="md" nowrap valign="top"> <a class="el" href="classNLAILOGIC_1_1CFact.html">CFact</a> * NLAILOGIC::CFirstOrderOperator::buildFromVars </td>
+ <td class="md" valign="top">(&nbsp;</td>
+ <td class="md" nowrap valign="top"><a class="el" href="classNLAILOGIC_1_1IBaseAssert.html">IBaseAssert</a> *&nbsp;</td>
+ <td class="mdname" nowrap>&nbsp;, </td>
+ </tr>
+ <tr>
+ <td></td>
+ <td></td>
+ <td class="md" nowrap>std::vector&lt; <a class="el" href="memory__common_8h.html#a10">sint32</a> &gt; &amp;&nbsp;</td>
+ <td class="mdname" nowrap>&nbsp;, </td>
+ </tr>
+ <tr>
+ <td></td>
+ <td></td>
+ <td class="md" nowrap><a class="el" href="classNLAILOGIC_1_1CValueSet.html">CValueSet</a> *&nbsp;</td>
+ <td class="mdname" nowrap>&nbsp;</td>
+ </tr>
+ <tr>
+ <td></td>
+ <td class="md">)&nbsp;</td>
+ <td class="md" colspan="2"><code> [protected]</code></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="fo__operator_8cpp-source.html#l00303">303</a> of file <a class="el" href="fo__operator_8cpp-source.html">fo_operator.cpp</a>.
+<p>
+References <a class="el" href="debug_8h-source.html#l00473">assert</a>.
+<p>
+Referenced by <a class="el" href="fo__operator_8cpp-source.html#l00313">backward</a>, <a class="el" href="fo__operator_8cpp-source.html#l00330">forward</a>, and <a class="el" href="fo__operator_8cpp-source.html#l00355">propagate</a>. </td>
+ </tr>
+</table>
+<a name="b1" doxytag="NLAILOGIC::CFirstOrderOperator::CFirstOrderOperator::getVarPos"></a><p>
+<table width="100%" cellpadding="2" cellspacing="0" border="0">
+ <tr>
+ <td class="md">
+ <table cellpadding="0" cellspacing="0" border="0">
+ <tr>
+ <td class="md" nowrap valign="top"> <a class="el" href="memory__common_8h.html#a10">sint32</a> NLAILOGIC::CFirstOrderOperator::CFirstOrderOperator::getVarPos </td>
+ <td class="md" valign="top">(&nbsp;</td>
+ <td class="md" nowrap valign="top"><a class="el" href="classNLAILOGIC_1_1IBaseVar.html">IBaseVar</a> *&nbsp;</td>
+ <td class="mdname1" valign="top" nowrap>&nbsp; <em>var</em> </td>
+ <td class="md" valign="top">)&nbsp;</td>
+ <td class="md" nowrap><code> [protected]</code></td>
+ </tr>
+
+ </table>
+ </td>
+ </tr>
+</table>
+<table cellspacing=5 cellpadding=0 border=0>
+ <tr>
+ <td>
+ &nbsp;
+ </td>
+ <td>
+
+<p>
+Returns the pos of a vraiables in the operator's vars table, -1 if not found.
+<p>
+ </td>
+ </tr>
+</table>
+<a name="a10" doxytag="NLAILOGIC::CFirstOrderOperator::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 class="md" nowrap valign="top"> const <a class="el" href="classNLAIC_1_1IBasicType.html">NLAIC::IBasicType</a> * NLAILOGIC::CFirstOrderOperator::clone </td>
+ <td class="md" valign="top">(&nbsp;</td>
+ <td class="mdname1" valign="top" nowrap>&nbsp; </td>
+ <td class="md" valign="top">)&nbsp;</td>
+ <td class="md" nowrap> const<code> [virtual]</code></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>
+Implements <a class="el" href="classNLAIC_1_1IBasicType.html#a3">NLAIC::IBasicType</a>.
+<p>
+Definition at line <a class="el" href="fo__operator_8cpp-source.html#l00486">486</a> of file <a class="el" href="fo__operator_8cpp-source.html">fo_operator.cpp</a>.
+<p>
+References <a class="el" href="fo__operator_8cpp-source.html#l00035">CFirstOrderOperator</a>, and <a class="el" href="fo__operator_8cpp-source.html#l00486">clone</a>.
+<p>
+Referenced by <a class="el" href="fo__operator_8cpp-source.html#l00486">clone</a>. </td>
+ </tr>
+</table>
+<a name="b0" doxytag="NLAILOGIC::CFirstOrderOperator::compileFactPattern"></a><p>
+<table width="100%" cellpadding="2" cellspacing="0" border="0">
+ <tr>
+ <td class="md">
+ <table cellpadding="0" cellspacing="0" border="0">
+ <tr>
+ <td class="md" nowrap valign="top"> void NLAILOGIC::CFirstOrderOperator::compileFactPattern </td>
+ <td class="md" valign="top">(&nbsp;</td>
+ <td class="md" nowrap valign="top"><a class="el" href="classNLAILOGIC_1_1CFactPattern.html">CFactPattern</a> *&nbsp;</td>
+ <td class="mdname" nowrap>&nbsp;, </td>
+ </tr>
+ <tr>
+ <td></td>
+ <td></td>
+ <td class="md" nowrap>std::vector&lt; <a class="el" href="classNLAILOGIC_1_1IBaseAssert.html">IBaseAssert</a> * &gt; &amp;&nbsp;</td>
+ <td class="mdname" nowrap>&nbsp;, </td>
+ </tr>
+ <tr>
+ <td></td>
+ <td></td>
+ <td class="md" nowrap>std::vector&lt; <a class="el" href="memory__common_8h.html#a10">sint32</a> &gt; &amp;&nbsp;</td>
+ <td class="mdname" nowrap>&nbsp;</td>
+ </tr>
+ <tr>
+ <td></td>
+ <td class="md">)&nbsp;</td>
+ <td class="md" colspan="2"><code> [protected]</code></td>
+ </tr>
+
+ </table>
+ </td>
+ </tr>
+</table>
+<table cellspacing=5 cellpadding=0 border=0>
+ <tr>
+ <td>
+ &nbsp;
+ </td>
+ <td>
+
+<p>
+Pos of a postcondition pattern's vars in the operator's vars tableTransforms a <a class="el" href="classNLAILOGIC_1_1CFactPattern.html">CFactPattern</a> in an assert and a list of variable positions in the operator.
+<p>
+
+<p>
+Definition at line <a class="el" href="fo__operator_8cpp-source.html#l00115">115</a> of file <a class="el" href="fo__operator_8cpp-source.html">fo_operator.cpp</a>.
+<p>
+References <a class="el" href="fo__operator_8h-source.html#l00044">_Vars</a>.
+<p>
+Referenced by <a class="el" href="fo__operator_8cpp-source.html#l00159">addPostcondition</a>, and <a class="el" href="fo__operator_8cpp-source.html#l00145">addPrecondition</a>. </td>
+ </tr>
+</table>
+<a name="a28" doxytag="NLAILOGIC::CFirstOrderOperator::failure"></a><p>
+<table width="100%" cellpadding="2" cellspacing="0" border="0">
+ <tr>
+ <td class="md">
+ <table cellpadding="0" cellspacing="0" border="0">
+ <tr>
+ <td class="md" nowrap valign="top"> void NLAILOGIC::CFirstOrderOperator::failure </td>
+ <td class="md" valign="top">(&nbsp;</td>
+ <td class="md" nowrap valign="top"><a class="el" href="classNLAILOGIC_1_1IBaseOperator.html">IBaseOperator</a> *&nbsp;</td>
+ <td class="mdname1" valign="top" nowrap>&nbsp; </td>
+ <td class="md" valign="top">)&nbsp;</td>
+ <td class="md" nowrap><code> [virtual]</code></td>
+ </tr>
+
+ </table>
+ </td>
+ </tr>
+</table>
+<table cellspacing=5 cellpadding=0 border=0>
+ <tr>
+ <td>
+ &nbsp;
+ </td>
+ <td>
+
+<p>
+
+<p>
+Implements <a class="el" href="classNLAILOGIC_1_1IBaseOperator.html#a15">NLAILOGIC::IBaseOperator</a>.
+<p>
+Definition at line <a class="el" href="fo__operator_8cpp-source.html#l00644">644</a> of file <a class="el" href="fo__operator_8cpp-source.html">fo_operator.cpp</a>. </td>
+ </tr>
+</table>
+<a name="a26" doxytag="NLAILOGIC::CFirstOrderOperator::failure"></a><p>
+<table width="100%" cellpadding="2" cellspacing="0" border="0">
+ <tr>
+ <td class="md">
+ <table cellpadding="0" cellspacing="0" border="0">
+ <tr>
+ <td class="md" nowrap valign="top"> void NLAILOGIC::CFirstOrderOperator::failure </td>
+ <td class="md" valign="top">(&nbsp;</td>
+ <td class="mdname1" valign="top" nowrap>&nbsp; </td>
+ <td class="md" valign="top">)&nbsp;</td>
+ <td class="md" nowrap><code> [virtual]</code></td>
+ </tr>
+
+ </table>
+ </td>
+ </tr>
+</table>
+<table cellspacing=5 cellpadding=0 border=0>
+ <tr>
+ <td>
+ &nbsp;
+ </td>
+ <td>
+
+<p>
+
+<p>
+Implements <a class="el" href="classNLAILOGIC_1_1IBaseOperator.html#a13">NLAILOGIC::IBaseOperator</a>.
+<p>
+Definition at line <a class="el" href="fo__operator_8cpp-source.html#l00636">636</a> of file <a class="el" href="fo__operator_8cpp-source.html">fo_operator.cpp</a>. </td>
+ </tr>
+</table>
+<a name="a8" doxytag="NLAILOGIC::CFirstOrderOperator::forward"></a><p>
+<table width="100%" cellpadding="2" cellspacing="0" border="0">
+ <tr>
+ <td class="md">
+ <table cellpadding="0" cellspacing="0" border="0">
+ <tr>
+ <td class="md" nowrap valign="top"> <a class="el" href="classstd_1_1list.html">std::list</a>&lt; <a class="el" href="classNLAILOGIC_1_1CFact.html">CFact</a> * &gt; * NLAILOGIC::CFirstOrderOperator::forward </td>
+ <td class="md" valign="top">(&nbsp;</td>
+ <td class="md" nowrap valign="top"><a class="el" href="classstd_1_1list.html">std::list</a>&lt; <a class="el" href="classNLAILOGIC_1_1CFact.html">CFact</a> * &gt; &amp;&nbsp;</td>
+ <td class="mdname1" valign="top" nowrap>&nbsp; </td>
+ <td class="md" valign="top">)&nbsp;</td>
+ <td class="md" nowrap><code> [virtual]</code></td>
+ </tr>
+
+ </table>
+ </td>
+ </tr>
+</table>
+<table cellspacing=5 cellpadding=0 border=0>
+ <tr>
+ <td>
+ &nbsp;
+ </td>
+ <td>
+
+<p>
+Returns the conclusions of the operator for given preconditions facts.
+<p>
+
+<p>
+Implements <a class="el" href="classNLAILOGIC_1_1IBaseOperator.html#a2">NLAILOGIC::IBaseOperator</a>.
+<p>
+Definition at line <a class="el" href="fo__operator_8cpp-source.html#l00330">330</a> of file <a class="el" href="fo__operator_8cpp-source.html">fo_operator.cpp</a>.
+<p>
+References <a class="el" href="operator_8h-source.html#l00054">NLAILOGIC::IBaseOperator::_Concs</a>, <a class="el" href="fo__operator_8h-source.html#l00046">_PosVarsConc</a>, <a class="el" href="fo__operator_8cpp-source.html#l00303">buildFromVars</a>, and <a class="el" href="fo__operator_8cpp-source.html#l00264">unifyForward</a>. </td>
+ </tr>
+</table>
+<a name="a3" doxytag="NLAILOGIC::CFirstOrderOperator::forward"></a><p>
+<table width="100%" cellpadding="2" cellspacing="0" border="0">
+ <tr>
+ <td class="md">
+ <table cellpadding="0" cellspacing="0" border="0">
+ <tr>
+ <td class="md" nowrap valign="top"> <a class="el" href="classstd_1_1list.html">std::list</a>&lt; <a class="el" href="classNLAILOGIC_1_1CFactPattern.html">CFactPattern</a> * &gt; * NLAILOGIC::CFirstOrderOperator::forward </td>
+ <td class="md" valign="top">(&nbsp;</td>
+ <td class="md" nowrap valign="top"><a class="el" href="classNLAILOGIC_1_1CFactPattern.html">CFactPattern</a> *&nbsp;</td>
+ <td class="mdname1" valign="top" nowrap>&nbsp; </td>
+ <td class="md" valign="top">)&nbsp;</td>
+ <td class="md" nowrap></td>
+ </tr>
+
+ </table>
+ </td>
+ </tr>
+</table>
+<table cellspacing=5 cellpadding=0 border=0>
+ <tr>
+ <td>
+ &nbsp;
+ </td>
+ <td>
+
+<p>
+Gives the postcondition for a <a class="el" href="classNLAILOGIC_1_1CFact.html">CFact</a> in the preconditions.
+<p>
+
+<p>
+Definition at line <a class="el" href="fo__operator_8cpp-source.html#l00220">220</a> of file <a class="el" href="fo__operator_8cpp-source.html">fo_operator.cpp</a>. </td>
+ </tr>
+</table>
+<a name="b4" doxytag="NLAILOGIC::CFirstOrderOperator::getAssertPos"></a><p>
+<table width="100%" cellpadding="2" cellspacing="0" border="0">
+ <tr>
+ <td class="md">
+ <table cellpadding="0" cellspacing="0" border="0">
+ <tr>
+ <td class="md" nowrap valign="top"> void NLAILOGIC::CFirstOrderOperator::getAssertPos </td>
+ <td class="md" valign="top">(&nbsp;</td>
+ <td class="md" nowrap valign="top"><a class="el" href="classNLAILOGIC_1_1IBaseAssert.html">IBaseAssert</a> *&nbsp;</td>
+ <td class="mdname" nowrap>&nbsp;, </td>
+ </tr>
+ <tr>
+ <td></td>
+ <td></td>
+ <td class="md" nowrap>std::vector&lt; <a class="el" href="classNLAILOGIC_1_1IBaseAssert.html">IBaseAssert</a> * &gt; &amp;&nbsp;</td>
+ <td class="mdname" nowrap>&nbsp;, </td>
+ </tr>
+ <tr>
+ <td></td>
+ <td></td>
+ <td class="md" nowrap>std::vector&lt; <a class="el" href="memory__common_8h.html#a10">sint32</a> &gt; &amp;&nbsp;</td>
+ <td class="mdname" nowrap>&nbsp;</td>
+ </tr>
+ <tr>
+ <td></td>
+ <td class="md">)&nbsp;</td>
+ <td class="md" colspan="2"><code> [protected]</code></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="fo__operator_8cpp-source.html#l00211">211</a> of file <a class="el" href="fo__operator_8cpp-source.html">fo_operator.cpp</a>.
+<p>
+References <a class="el" href="opcode__register_8cpp-source.html#l00036">NLAISCRIPT::l</a>.
+<p>
+Referenced by <a class="el" href="fo__operator_8cpp-source.html#l00355">propagate</a>, <a class="el" href="fo__operator_8cpp-source.html#l00225">unifyBackward</a>, and <a class="el" href="fo__operator_8cpp-source.html#l00264">unifyForward</a>. </td>
+ </tr>
+</table>
+<a name="a14" doxytag="NLAILOGIC::CFirstOrderOperator::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 class="md" nowrap valign="top"> void NLAILOGIC::CFirstOrderOperator::getDebugString </td>
+ <td class="md" valign="top">(&nbsp;</td>
+ <td class="md" nowrap valign="top">std::string &amp;&nbsp;</td>
+ <td class="mdname1" valign="top" nowrap>&nbsp; </td>
+ <td class="md" valign="top">)&nbsp;</td>
+ <td class="md" nowrap> const<code> [virtual]</code></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>
+Implements <a class="el" href="classNLAIC_1_1IBasicType.html#a5">NLAIC::IBasicType</a>.
+<p>
+Definition at line <a class="el" href="fo__operator_8cpp-source.html#l00506">506</a> of file <a class="el" href="fo__operator_8cpp-source.html">fo_operator.cpp</a>.
+<p>
+References <a class="el" href="operator_8h-source.html#l00048">NLAILOGIC::IBaseOperator::_Comment</a>, <a class="el" href="operator_8h-source.html#l00054">NLAILOGIC::IBaseOperator::_Concs</a>, <a class="el" href="operator_8h-source.html#l00052">NLAILOGIC::IBaseOperator::_Conds</a>, <a class="el" href="fo__operator_8h-source.html#l00046">_PosVarsConc</a>, <a class="el" href="fo__operator_8h-source.html#l00045">_PosVarsCond</a>, and <a class="el" href="fo__operator_8h-source.html#l00044">_Vars</a>. </td>
+ </tr>
+</table>
+<a name="b3" doxytag="NLAILOGIC::CFirstOrderOperator::getPosListBackward"></a><p>
+<table width="100%" cellpadding="2" cellspacing="0" border="0">
+ <tr>
+ <td class="md">
+ <table cellpadding="0" cellspacing="0" border="0">
+ <tr>
+ <td class="md" nowrap valign="top"> void NLAILOGIC::CFirstOrderOperator::getPosListBackward </td>
+ <td class="md" valign="top">(&nbsp;</td>
+ <td class="md" nowrap valign="top"><a class="el" href="memory__common_8h.html#a10">sint32</a>&nbsp;</td>
+ <td class="mdname" nowrap>&nbsp;, </td>
+ </tr>
+ <tr>
+ <td></td>
+ <td></td>
+ <td class="md" nowrap><a class="el" href="memory__common_8h.html#a10">sint32</a>&nbsp;</td>
+ <td class="mdname" nowrap>&nbsp;, </td>
+ </tr>
+ <tr>
+ <td></td>
+ <td></td>
+ <td class="md" nowrap>std::vector&lt; <a class="el" href="memory__common_8h.html#a10">sint32</a> &gt; &amp;&nbsp;</td>
+ <td class="mdname" nowrap>&nbsp;</td>
+ </tr>
+ <tr>
+ <td></td>
+ <td class="md">)&nbsp;</td>
+ <td class="md" colspan="2"><code> [protected]</code></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="fo__operator_8cpp-source.html#l00174">174</a> of file <a class="el" href="fo__operator_8cpp-source.html">fo_operator.cpp</a>.
+<p>
+References <a class="el" href="fo__operator_8h-source.html#l00046">_PosVarsConc</a>, and <a class="el" href="fo__operator_8h-source.html#l00045">_PosVarsCond</a>. </td>
+ </tr>
+</table>
+<a name="b2" doxytag="NLAILOGIC::CFirstOrderOperator::getPosListForward"></a><p>
+<table width="100%" cellpadding="2" cellspacing="0" border="0">
+ <tr>
+ <td class="md">
+ <table cellpadding="0" cellspacing="0" border="0">
+ <tr>
+ <td class="md" nowrap valign="top"> void NLAILOGIC::CFirstOrderOperator::getPosListForward </td>
+ <td class="md" valign="top">(&nbsp;</td>
+ <td class="md" nowrap valign="top"><a class="el" href="memory__common_8h.html#a10">sint32</a>&nbsp;</td>
+ <td class="mdname" nowrap>&nbsp;, </td>
+ </tr>
+ <tr>
+ <td></td>
+ <td></td>
+ <td class="md" nowrap><a class="el" href="memory__common_8h.html#a10">sint32</a>&nbsp;</td>
+ <td class="mdname" nowrap>&nbsp;, </td>
+ </tr>
+ <tr>
+ <td></td>
+ <td></td>
+ <td class="md" nowrap>std::vector&lt; <a class="el" href="memory__common_8h.html#a10">sint32</a> &gt; &amp;&nbsp;</td>
+ <td class="mdname" nowrap>&nbsp;</td>
+ </tr>
+ <tr>
+ <td></td>
+ <td class="md">)&nbsp;</td>
+ <td class="md" colspan="2"><code> [protected]</code></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="fo__operator_8cpp-source.html#l00193">193</a> of file <a class="el" href="fo__operator_8cpp-source.html">fo_operator.cpp</a>.
+<p>
+References <a class="el" href="fo__operator_8h-source.html#l00046">_PosVarsConc</a>, and <a class="el" href="fo__operator_8h-source.html#l00045">_PosVarsCond</a>. </td>
+ </tr>
+</table>
+<a name="a18" doxytag="NLAILOGIC::CFirstOrderOperator::getType"></a><p>
+<table width="100%" cellpadding="2" cellspacing="0" border="0">
+ <tr>
+ <td class="md">
+ <table cellpadding="0" cellspacing="0" border="0">
+ <tr>
+ <td class="md" nowrap valign="top"> const <a class="el" href="classNLAIC_1_1CIdentType.html">NLAIC::CIdentType</a> &amp; NLAILOGIC::CFirstOrderOperator::getType </td>
+ <td class="md" valign="top">(&nbsp;</td>
+ <td class="mdname1" valign="top" nowrap>&nbsp; </td>
+ <td class="md" valign="top">)&nbsp;</td>
+ <td class="md" nowrap> const<code> [virtual]</code></td>
+ </tr>
+
+ </table>
+ </td>
+ </tr>
+</table>
+<table cellspacing=5 cellpadding=0 border=0>
+ <tr>
+ <td>
+ &nbsp;
+ </td>
+ <td>
+
+<p>
+getType return a unique string how represente the class, it can be the name of the class.
+<p>
+This function is used for the sytem regstry class (see the definition of the template class Gen::CRegistry).
+<p>
+Implements <a class="el" href="classNLAIC_1_1IBasicType.html#a2">NLAIC::IBasicType</a>.
+<p>
+Definition at line <a class="el" href="fo__operator_8cpp-source.html#l00575">575</a> of file <a class="el" href="fo__operator_8cpp-source.html">fo_operator.cpp</a>.
+<p>
+References <a class="el" href="static__def__init_8cpp-source.html#l00521">IdCFirstOrderOperator</a>. </td>
+ </tr>
+</table>
+<a name="a17" doxytag="NLAILOGIC::CFirstOrderOperator::isEqual"></a><p>
+<table width="100%" cellpadding="2" cellspacing="0" border="0">
+ <tr>
+ <td class="md">
+ <table cellpadding="0" cellspacing="0" border="0">
+ <tr>
+ <td class="md" nowrap valign="top"> bool NLAILOGIC::CFirstOrderOperator::isEqual </td>
+ <td class="md" valign="top">(&nbsp;</td>
+ <td class="md" nowrap valign="top">const <a class="el" href="classNLAIAGENT_1_1IBasicObjectIA.html">NLAIAGENT::IBasicObjectIA</a> &amp;&nbsp;</td>
+ <td class="mdname1" valign="top" nowrap>&nbsp; <em>a</em> </td>
+ <td class="md" valign="top">)&nbsp;</td>
+ <td class="md" nowrap> const</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="fo__operator_8cpp-source.html#l00565">565</a> of file <a class="el" href="fo__operator_8cpp-source.html">fo_operator.cpp</a>. </td>
+ </tr>
+</table>
+<a name="a15" doxytag="NLAILOGIC::CFirstOrderOperator::isEqual"></a><p>
+<table width="100%" cellpadding="2" cellspacing="0" border="0">
+ <tr>
+ <td class="md">
+ <table cellpadding="0" cellspacing="0" border="0">
+ <tr>
+ <td class="md" nowrap valign="top"> bool NLAILOGIC::CFirstOrderOperator::isEqual </td>
+ <td class="md" valign="top">(&nbsp;</td>
+ <td class="md" nowrap valign="top">const CFirstOrderOperator &amp;&nbsp;</td>
+ <td class="mdname1" valign="top" nowrap>&nbsp; <em>a</em> </td>
+ <td class="md" valign="top">)&nbsp;</td>
+ <td class="md" nowrap> const<code> [virtual]</code></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="fo__operator_8cpp-source.html#l00555">555</a> of file <a class="el" href="fo__operator_8cpp-source.html">fo_operator.cpp</a>. </td>
+ </tr>
+</table>
+<a name="a21" doxytag="NLAILOGIC::CFirstOrderOperator::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 class="md" nowrap valign="top"> bool NLAILOGIC::CFirstOrderOperator::isTrue </td>
+ <td class="md" valign="top">(&nbsp;</td>
+ <td class="mdname1" valign="top" nowrap>&nbsp; </td>
+ <td class="md" valign="top">)&nbsp;</td>
+ <td class="md" nowrap> const<code> [virtual]</code></td>
+ </tr>
+
+ </table>
+ </td>
+ </tr>
+</table>
+<table cellspacing=5 cellpadding=0 border=0>
+ <tr>
+ <td>
+ &nbsp;
+ </td>
+ <td>
+
+<p>
+Returns true if the preconditions are validated.
+<p>
+
+<p>
+Implements <a class="el" href="classNLAIAGENT_1_1IObjetOp.html#a18">NLAIAGENT::IObjetOp</a>.
+<p>
+Definition at line <a class="el" href="fo__operator_8cpp-source.html#l00570">570</a> of file <a class="el" href="fo__operator_8cpp-source.html">fo_operator.cpp</a>. </td>
+ </tr>
+</table>
+<a name="a23" doxytag="NLAILOGIC::CFirstOrderOperator::isValid"></a><p>
+<table width="100%" cellpadding="2" cellspacing="0" border="0">
+ <tr>
+ <td class="md">
+ <table cellpadding="0" cellspacing="0" border="0">
+ <tr>
+ <td class="md" nowrap valign="top"> bool NLAILOGIC::CFirstOrderOperator::isValid </td>
+ <td class="md" valign="top">(&nbsp;</td>
+ <td class="md" nowrap valign="top"><a class="el" href="classNLAILOGIC_1_1CFactBase.html">CFactBase</a> *&nbsp;</td>
+ <td class="mdname1" valign="top" nowrap>&nbsp; </td>
+ <td class="md" valign="top">)&nbsp;</td>
+ <td class="md" nowrap><code> [virtual]</code></td>
+ </tr>
+
+ </table>
+ </td>
+ </tr>
+</table>
+<table cellspacing=5 cellpadding=0 border=0>
+ <tr>
+ <td>
+ &nbsp;
+ </td>
+ <td>
+
+<p>
+Asks wether the operator's preconditions are validated,.
+<p>
+
+<p>
+Implements <a class="el" href="classNLAILOGIC_1_1IBaseOperator.html#a10">NLAILOGIC::IBaseOperator</a>.
+<p>
+Definition at line <a class="el" href="fo__operator_8cpp-source.html#l00591">591</a> of file <a class="el" href="fo__operator_8cpp-source.html">fo_operator.cpp</a>.
+<p>
+References <a class="el" href="operator_8h-source.html#l00052">NLAILOGIC::IBaseOperator::_Conds</a>, <a class="el" href="fo__operator_8cpp-source.html#l00429">propagate</a>, and <a class="el" href="driver__opengl__extension__def_8h-source.html#l00815">res</a>. </td>
+ </tr>
+</table>
+<a name="a13" doxytag="NLAILOGIC::CFirstOrderOperator::load"></a><p>
+<table width="100%" cellpadding="2" cellspacing="0" border="0">
+ <tr>
+ <td class="md">
+ <table cellpadding="0" cellspacing="0" border="0">
+ <tr>
+ <td class="md" nowrap valign="top"> void NLAILOGIC::CFirstOrderOperator::load </td>
+ <td class="md" valign="top">(&nbsp;</td>
+ <td class="md" nowrap valign="top"><a class="el" href="classNLMISC_1_1IStream.html">NLMISC::IStream</a> &amp;&nbsp;</td>
+ <td class="mdname1" valign="top" nowrap>&nbsp; <em>is</em> </td>
+ <td class="md" valign="top">)&nbsp;</td>
+ <td class="md" nowrap><code> [virtual]</code></td>
+ </tr>
+
+ </table>
+ </td>
+ </tr>
+</table>
+<table cellspacing=5 cellpadding=0 border=0>
+ <tr>
+ <td>
+ &nbsp;
+ </td>
+ <td>
+
+<p>
+Load the class from a stream.
+<p>
+
+<p>
+Reimplemented from <a class="el" href="classNLAILOGIC_1_1IBaseOperator.html#a19">NLAILOGIC::IBaseOperator</a>.
+<p>
+Definition at line <a class="el" href="fo__operator_8cpp-source.html#l00502">502</a> of file <a class="el" href="fo__operator_8cpp-source.html">fo_operator.cpp</a>. </td>
+ </tr>
+</table>
+<a name="a11" doxytag="NLAILOGIC::CFirstOrderOperator::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 class="md" nowrap valign="top"> const <a class="el" href="classNLAIC_1_1IBasicType.html">NLAIC::IBasicType</a> * NLAILOGIC::CFirstOrderOperator::newInstance </td>
+ <td class="md" valign="top">(&nbsp;</td>
+ <td class="mdname1" valign="top" nowrap>&nbsp; </td>
+ <td class="md" valign="top">)&nbsp;</td>
+ <td class="md" nowrap> const<code> [virtual]</code></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>
+Implements <a class="el" href="classNLAIC_1_1IBasicType.html#a4">NLAIC::IBasicType</a>.
+<p>
+Definition at line <a class="el" href="fo__operator_8cpp-source.html#l00492">492</a> of file <a class="el" href="fo__operator_8cpp-source.html">fo_operator.cpp</a>.
+<p>
+References <a class="el" href="fo__operator_8cpp-source.html#l00035">CFirstOrderOperator</a>. </td>
+ </tr>
+</table>
+<a name="a19" doxytag="NLAILOGIC::CFirstOrderOperator::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 class="md" nowrap valign="top"> bool NLAILOGIC::CFirstOrderOperator::operator== </td>
+ <td class="md" valign="top">(&nbsp;</td>
+ <td class="md" nowrap valign="top">CFirstOrderOperator *&nbsp;</td>
+ <td class="mdname1" valign="top" nowrap>&nbsp; </td>
+ <td class="md" valign="top">)&nbsp;</td>
+ <td class="md" nowrap><code> [virtual]</code></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="fo__operator_8cpp-source.html#l00580">580</a> of file <a class="el" href="fo__operator_8cpp-source.html">fo_operator.cpp</a>. </td>
+ </tr>
+</table>
+<a name="a24" doxytag="NLAILOGIC::CFirstOrderOperator::priority"></a><p>
+<table width="100%" cellpadding="2" cellspacing="0" border="0">
+ <tr>
+ <td class="md">
+ <table cellpadding="0" cellspacing="0" border="0">
+ <tr>
+ <td class="md" nowrap valign="top"> float NLAILOGIC::CFirstOrderOperator::priority </td>
+ <td class="md" valign="top">(&nbsp;</td>
+ <td class="mdname1" valign="top" nowrap>&nbsp; </td>
+ <td class="md" valign="top">)&nbsp;</td>
+ <td class="md" nowrap> const<code> [virtual]</code></td>
+ </tr>
+
+ </table>
+ </td>
+ </tr>
+</table>
+<table cellspacing=5 cellpadding=0 border=0>
+ <tr>
+ <td>
+ &nbsp;
+ </td>
+ <td>
+
+<p>
+Priority of the operator.
+<p>
+
+<p>
+Implements <a class="el" href="classNLAILOGIC_1_1IBaseOperator.html#a11">NLAILOGIC::IBaseOperator</a>.
+<p>
+Definition at line <a class="el" href="fo__operator_8cpp-source.html#l00627">627</a> of file <a class="el" href="fo__operator_8cpp-source.html">fo_operator.cpp</a>. </td>
+ </tr>
+</table>
+<a name="a9" doxytag="NLAILOGIC::CFirstOrderOperator::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 class="md" nowrap valign="top"> <a class="el" href="classstd_1_1list.html">std::list</a>&lt; <a class="el" href="classNLAILOGIC_1_1CFact.html">CFact</a> * &gt; * NLAILOGIC::CFirstOrderOperator::propagate </td>
+ <td class="md" valign="top">(&nbsp;</td>
+ <td class="md" nowrap valign="top"><a class="el" href="classstd_1_1list.html">std::list</a>&lt; <a class="el" href="classNLAILOGIC_1_1CFact.html">CFact</a> * &gt; &amp;&nbsp;</td>
+ <td class="mdname1" valign="top" nowrap>&nbsp; </td>
+ <td class="md" valign="top">)&nbsp;</td>
+ <td class="md" nowrap><code> [virtual]</code></td>
+ </tr>
+
+ </table>
+ </td>
+ </tr>
+</table>
+<table cellspacing=5 cellpadding=0 border=0>
+ <tr>
+ <td>
+ &nbsp;
+ </td>
+ <td>
+
+<p>
+Propagates facts through the operator and network of asserts/ operators.
+<p>
+
+<p>
+Implements <a class="el" href="classNLAILOGIC_1_1IBaseOperator.html#a3">NLAILOGIC::IBaseOperator</a>.
+<p>
+Definition at line <a class="el" href="fo__operator_8cpp-source.html#l00355">355</a> of file <a class="el" href="fo__operator_8cpp-source.html">fo_operator.cpp</a>.
+<p>
+References <a class="el" href="operator_8h-source.html#l00054">NLAILOGIC::IBaseOperator::_Concs</a>, <a class="el" href="operator_8h-source.html#l00052">NLAILOGIC::IBaseOperator::_Conds</a>, <a class="el" href="fo__operator_8h-source.html#l00046">_PosVarsConc</a>, <a class="el" href="fo__operator_8h-source.html#l00045">_PosVarsCond</a>, <a class="el" href="fo__operator_8h-source.html#l00044">_Vars</a>, <a class="el" href="fo__operator_8cpp-source.html#l00303">buildFromVars</a>, <a class="el" href="fo__operator_8cpp-source.html#l00211">getAssertPos</a>, <a class="el" href="fo__operator_8cpp-source.html#l00429">propagate</a>, and <a class="el" href="driver__opengl__extension__def_8h-source.html#l00689">r</a>. </td>
+ </tr>
+</table>
+<a name="b8" doxytag="NLAILOGIC::CFirstOrderOperator::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 class="md" nowrap valign="top"> <a class="el" href="classstd_1_1list.html">std::list</a>&lt; <a class="el" href="classNLAILOGIC_1_1CValueSet.html">CValueSet</a> * &gt; * NLAILOGIC::CFirstOrderOperator::propagate </td>
+ <td class="md" valign="top">(&nbsp;</td>
+ <td class="md" nowrap valign="top"><a class="el" href="classstd_1_1list.html">std::list</a>&lt; <a class="el" href="classNLAILOGIC_1_1CValueSet.html">CValueSet</a> * &gt; &amp;&nbsp;</td>
+ <td class="mdname" nowrap>&nbsp;, </td>
+ </tr>
+ <tr>
+ <td></td>
+ <td></td>
+ <td class="md" nowrap><a class="el" href="classNLAILOGIC_1_1CValueSet.html">CValueSet</a> *&nbsp;</td>
+ <td class="mdname" nowrap>&nbsp;, </td>
+ </tr>
+ <tr>
+ <td></td>
+ <td></td>
+ <td class="md" nowrap>std::vector&lt; <a class="el" href="memory__common_8h.html#a10">sint32</a> &gt; &amp;&nbsp;</td>
+ <td class="mdname" nowrap>&nbsp;</td>
+ </tr>
+ <tr>
+ <td></td>
+ <td class="md">)&nbsp;</td>
+ <td class="md" colspan="2"><code> [protected]</code></td>
+ </tr>
+
+ </table>
+ </td>
+ </tr>
+</table>
+<table cellspacing=5 cellpadding=0 border=0>
+ <tr>
+ <td>
+ &nbsp;
+ </td>
+ <td>
+
+<p>
+Forward chaining.
+<p>
+
+<p>
+Definition at line <a class="el" href="fo__operator_8cpp-source.html#l00429">429</a> of file <a class="el" href="fo__operator_8cpp-source.html">fo_operator.cpp</a>.
+<p>
+References <a class="el" href="opcode__register_8cpp-source.html#l00036">NLAISCRIPT::l</a>, and <a class="el" href="fo__operator_8cpp-source.html#l00416">unifyLiaison</a>.
+<p>
+Referenced by <a class="el" href="fo__operator_8cpp-source.html#l00591">isValid</a>, and <a class="el" href="fo__operator_8cpp-source.html#l00355">propagate</a>. </td>
+ </tr>
+</table>
+<a name="a16" doxytag="NLAILOGIC::CFirstOrderOperator::run"></a><p>
+<table width="100%" cellpadding="2" cellspacing="0" border="0">
+ <tr>
+ <td class="md">
+ <table cellpadding="0" cellspacing="0" border="0">
+ <tr>
+ <td class="md" nowrap valign="top"> const IObjectIA::CProcessResult &amp; NLAILOGIC::CFirstOrderOperator::run </td>
+ <td class="md" valign="top">(&nbsp;</td>
+ <td class="mdname1" valign="top" nowrap>&nbsp; </td>
+ <td class="md" valign="top">)&nbsp;</td>
+ <td class="md" nowrap><code> [virtual]</code></td>
+ </tr>
+
+ </table>
+ </td>
+ </tr>
+</table>
+<table cellspacing=5 cellpadding=0 border=0>
+ <tr>
+ <td>
+ &nbsp;
+ </td>
+ <td>
+
+<p>
+Some where Run method define the process of the agen.
+<p>
+
+<p>
+Implements <a class="el" href="classNLAILOGIC_1_1IBaseBoolType.html#a3">NLAILOGIC::IBaseBoolType</a>.
+<p>
+Definition at line <a class="el" href="fo__operator_8cpp-source.html#l00560">560</a> of file <a class="el" href="fo__operator_8cpp-source.html">fo_operator.cpp</a>. </td>
+ </tr>
+</table>
+<a name="a12" doxytag="NLAILOGIC::CFirstOrderOperator::save"></a><p>
+<table width="100%" cellpadding="2" cellspacing="0" border="0">
+ <tr>
+ <td class="md">
+ <table cellpadding="0" cellspacing="0" border="0">
+ <tr>
+ <td class="md" nowrap valign="top"> void NLAILOGIC::CFirstOrderOperator::save </td>
+ <td class="md" valign="top">(&nbsp;</td>
+ <td class="md" nowrap valign="top"><a class="el" href="classNLMISC_1_1IStream.html">NLMISC::IStream</a> &amp;&nbsp;</td>
+ <td class="mdname1" valign="top" nowrap>&nbsp; <em>os</em> </td>
+ <td class="md" valign="top">)&nbsp;</td>
+ <td class="md" nowrap><code> [virtual]</code></td>
+ </tr>
+
+ </table>
+ </td>
+ </tr>
+</table>
+<table cellspacing=5 cellpadding=0 border=0>
+ <tr>
+ <td>
+ &nbsp;
+ </td>
+ <td>
+
+<p>
+Save the class in a stream.
+<p>
+
+<p>
+Reimplemented from <a class="el" href="classNLAILOGIC_1_1IBaseOperator.html#a18">NLAILOGIC::IBaseOperator</a>.
+<p>
+Definition at line <a class="el" href="fo__operator_8cpp-source.html#l00498">498</a> of file <a class="el" href="fo__operator_8cpp-source.html">fo_operator.cpp</a>. </td>
+ </tr>
+</table>
+<a name="a27" doxytag="NLAILOGIC::CFirstOrderOperator::success"></a><p>
+<table width="100%" cellpadding="2" cellspacing="0" border="0">
+ <tr>
+ <td class="md">
+ <table cellpadding="0" cellspacing="0" border="0">
+ <tr>
+ <td class="md" nowrap valign="top"> void NLAILOGIC::CFirstOrderOperator::success </td>
+ <td class="md" valign="top">(&nbsp;</td>
+ <td class="md" nowrap valign="top"><a class="el" href="classNLAILOGIC_1_1IBaseOperator.html">IBaseOperator</a> *&nbsp;</td>
+ <td class="mdname1" valign="top" nowrap>&nbsp; </td>
+ <td class="md" valign="top">)&nbsp;</td>
+ <td class="md" nowrap><code> [virtual]</code></td>
+ </tr>
+
+ </table>
+ </td>
+ </tr>
+</table>
+<table cellspacing=5 cellpadding=0 border=0>
+ <tr>
+ <td>
+ &nbsp;
+ </td>
+ <td>
+
+<p>
+Dependencies failure and success notification These functions are called by other operators or goals who failed or succeeded.
+<p>
+
+<p>
+Implements <a class="el" href="classNLAILOGIC_1_1IBaseOperator.html#a14">NLAILOGIC::IBaseOperator</a>.
+<p>
+Definition at line <a class="el" href="fo__operator_8cpp-source.html#l00640">640</a> of file <a class="el" href="fo__operator_8cpp-source.html">fo_operator.cpp</a>. </td>
+ </tr>
+</table>
+<a name="a25" doxytag="NLAILOGIC::CFirstOrderOperator::success"></a><p>
+<table width="100%" cellpadding="2" cellspacing="0" border="0">
+ <tr>
+ <td class="md">
+ <table cellpadding="0" cellspacing="0" border="0">
+ <tr>
+ <td class="md" nowrap valign="top"> void NLAILOGIC::CFirstOrderOperator::success </td>
+ <td class="md" valign="top">(&nbsp;</td>
+ <td class="mdname1" valign="top" nowrap>&nbsp; </td>
+ <td class="md" valign="top">)&nbsp;</td>
+ <td class="md" nowrap><code> [virtual]</code></td>
+ </tr>
+
+ </table>
+ </td>
+ </tr>
+</table>
+<table cellspacing=5 cellpadding=0 border=0>
+ <tr>
+ <td>
+ &nbsp;
+ </td>
+ <td>
+
+<p>
+Own success and failure functions These function telle other operators and goals that might be waiting for the execution of this one.
+<p>
+
+<p>
+Implements <a class="el" href="classNLAILOGIC_1_1IBaseOperator.html#a12">NLAILOGIC::IBaseOperator</a>.
+<p>
+Definition at line <a class="el" href="fo__operator_8cpp-source.html#l00632">632</a> of file <a class="el" href="fo__operator_8cpp-source.html">fo_operator.cpp</a>. </td>
+ </tr>
+</table>
+<a name="a20" doxytag="NLAILOGIC::CFirstOrderOperator::test"></a><p>
+<table width="100%" cellpadding="2" cellspacing="0" border="0">
+ <tr>
+ <td class="md">
+ <table cellpadding="0" cellspacing="0" border="0">
+ <tr>
+ <td class="md" nowrap valign="top"> <a class="el" href="classstd_1_1list.html">std::list</a>&lt; <a class="el" href="classNLAILOGIC_1_1CFact.html">CFact</a> * &gt; * NLAILOGIC::CFirstOrderOperator::test </td>
+ <td class="md" valign="top">(&nbsp;</td>
+ <td class="md" nowrap valign="top"><a class="el" href="classstd_1_1list.html">std::list</a>&lt; <a class="el" href="classNLAILOGIC_1_1CFact.html">CFact</a> * &gt; &amp;&nbsp;</td>
+ <td class="mdname1" valign="top" nowrap>&nbsp; </td>
+ <td class="md" valign="top">)&nbsp;</td>
+ <td class="md" nowrap><code> [virtual]</code></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="classNLAILOGIC_1_1IBaseOperator.html#a0">NLAILOGIC::IBaseOperator</a>.
+<p>
+Definition at line <a class="el" href="fo__operator_8cpp-source.html#l00472">472</a> of file <a class="el" href="fo__operator_8cpp-source.html">fo_operator.cpp</a>.
+<p>
+References <a class="el" href="classNLAILOGIC_1_1CFirstOrderOperator.html#a4">backward</a>. </td>
+ </tr>
+</table>
+<a name="a22" doxytag="NLAILOGIC::CFirstOrderOperator::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 class="md" nowrap valign="top"> float NLAILOGIC::CFirstOrderOperator::truthValue </td>
+ <td class="md" valign="top">(&nbsp;</td>
+ <td class="mdname1" valign="top" nowrap>&nbsp; </td>
+ <td class="md" valign="top">)&nbsp;</td>
+ <td class="md" nowrap> const<code> [virtual]</code></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>
+Implements <a class="el" href="classNLAILOGIC_1_1IBaseBoolType.html#a2">NLAILOGIC::IBaseBoolType</a>.
+<p>
+Definition at line <a class="el" href="fo__operator_8cpp-source.html#l00585">585</a> of file <a class="el" href="fo__operator_8cpp-source.html">fo_operator.cpp</a>. </td>
+ </tr>
+</table>
+<a name="b5" doxytag="NLAILOGIC::CFirstOrderOperator::unifyBackward"></a><p>
+<table width="100%" cellpadding="2" cellspacing="0" border="0">
+ <tr>
+ <td class="md">
+ <table cellpadding="0" cellspacing="0" border="0">
+ <tr>
+ <td class="md" nowrap valign="top"> <a class="el" href="classNLAILOGIC_1_1CValueSet.html">CValueSet</a> * NLAILOGIC::CFirstOrderOperator::unifyBackward </td>
+ <td class="md" valign="top">(&nbsp;</td>
+ <td class="md" nowrap valign="top"><a class="el" href="classstd_1_1list.html">std::list</a>&lt; <a class="el" href="classNLAILOGIC_1_1CFact.html">CFact</a> * &gt; &amp;&nbsp;</td>
+ <td class="mdname1" valign="top" nowrap>&nbsp; </td>
+ <td class="md" valign="top">)&nbsp;</td>
+ <td class="md" nowrap><code> [protected]</code></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="fo__operator_8cpp-source.html#l00225">225</a> of file <a class="el" href="fo__operator_8cpp-source.html">fo_operator.cpp</a>.
+<p>
+References <a class="el" href="operator_8h-source.html#l00054">NLAILOGIC::IBaseOperator::_Concs</a>, <a class="el" href="fo__operator_8h-source.html#l00046">_PosVarsConc</a>, <a class="el" href="fo__operator_8h-source.html#l00044">_Vars</a>, <a class="el" href="fo__operator_8cpp-source.html#l00211">getAssertPos</a>, and <a class="el" href="baseai_8cpp-source.html#l00151">NLAIAGENT::IObjectIA::IObjectIA</a>.
+<p>
+Referenced by <a class="el" href="fo__operator_8cpp-source.html#l00313">backward</a>. </td>
+ </tr>
+</table>
+<a name="b6" doxytag="NLAILOGIC::CFirstOrderOperator::unifyForward"></a><p>
+<table width="100%" cellpadding="2" cellspacing="0" border="0">
+ <tr>
+ <td class="md">
+ <table cellpadding="0" cellspacing="0" border="0">
+ <tr>
+ <td class="md" nowrap valign="top"> <a class="el" href="classNLAILOGIC_1_1CValueSet.html">CValueSet</a> * NLAILOGIC::CFirstOrderOperator::unifyForward </td>
+ <td class="md" valign="top">(&nbsp;</td>
+ <td class="md" nowrap valign="top"><a class="el" href="classstd_1_1list.html">std::list</a>&lt; <a class="el" href="classNLAILOGIC_1_1CFact.html">CFact</a> * &gt; &amp;&nbsp;</td>
+ <td class="mdname1" valign="top" nowrap>&nbsp; </td>
+ <td class="md" valign="top">)&nbsp;</td>
+ <td class="md" nowrap><code> [protected]</code></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="fo__operator_8cpp-source.html#l00264">264</a> of file <a class="el" href="fo__operator_8cpp-source.html">fo_operator.cpp</a>.
+<p>
+References <a class="el" href="operator_8h-source.html#l00052">NLAILOGIC::IBaseOperator::_Conds</a>, <a class="el" href="fo__operator_8h-source.html#l00045">_PosVarsCond</a>, <a class="el" href="fo__operator_8h-source.html#l00044">_Vars</a>, <a class="el" href="fo__operator_8cpp-source.html#l00211">getAssertPos</a>, and <a class="el" href="baseai_8cpp-source.html#l00151">NLAIAGENT::IObjectIA::IObjectIA</a>.
+<p>
+Referenced by <a class="el" href="fo__operator_8cpp-source.html#l00330">forward</a>. </td>
+ </tr>
+</table>
+<a name="b9" doxytag="NLAILOGIC::CFirstOrderOperator::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 class="md" nowrap valign="top"> <a class="el" href="classNLAILOGIC_1_1CValueSet.html">CValueSet</a> * NLAILOGIC::CFirstOrderOperator::unifyLiaison </td>
+ <td class="md" valign="top">(&nbsp;</td>
+ <td class="md" nowrap valign="top">const <a class="el" href="classNLAILOGIC_1_1CValueSet.html">CValueSet</a> *&nbsp;</td>
+ <td class="mdname" nowrap>&nbsp;, </td>
+ </tr>
+ <tr>
+ <td></td>
+ <td></td>
+ <td class="md" nowrap><a class="el" href="classNLAILOGIC_1_1CValueSet.html">CValueSet</a> *&nbsp;</td>
+ <td class="mdname" nowrap>&nbsp;, </td>
+ </tr>
+ <tr>
+ <td></td>
+ <td></td>
+ <td class="md" nowrap>std::vector&lt; <a class="el" href="memory__common_8h.html#a10">sint32</a> &gt; &amp;&nbsp;</td>
+ <td class="mdname" nowrap>&nbsp;</td>
+ </tr>
+ <tr>
+ <td></td>
+ <td class="md">)&nbsp;</td>
+ <td class="md" colspan="2"><code> [protected]</code></td>
+ </tr>
+
+ </table>
+ </td>
+ </tr>
+</table>
+<table cellspacing=5 cellpadding=0 border=0>
+ <tr>
+ <td>
+ &nbsp;
+ </td>
+ <td>
+
+<p>
+Tries to unify an instaciation of the operator's variables with a new <a class="el" href="classNLAILOGIC_1_1CFact.html">CFact</a>.
+<p>
+
+<p>
+Definition at line <a class="el" href="fo__operator_8cpp-source.html#l00416">416</a> of file <a class="el" href="fo__operator_8cpp-source.html">fo_operator.cpp</a>.
+<p>
+Referenced by <a class="el" href="fo__operator_8cpp-source.html#l00429">propagate</a>. </td>
+ </tr>
+</table>
+<hr><h2>Member Data Documentation</h2>
+<a name="n2" doxytag="NLAILOGIC::CFirstOrderOperator::_PosVarsConc"></a><p>
+<table width="100%" cellpadding="2" cellspacing="0" border="0">
+ <tr>
+ <td class="md">
+ <table cellpadding="0" cellspacing="0" border="0">
+ <tr>
+ <td class="md" nowrap valign="top"> std::vector&lt; std::vector&lt;<a class="el" href="memory__common_8h.html#a10">sint32</a>&gt; &gt; NLAILOGIC::CFirstOrderOperator::_PosVarsConc<code> [protected]</code>
+ </table>
+ </td>
+ </tr>
+</table>
+<table cellspacing=5 cellpadding=0 border=0>
+ <tr>
+ <td>
+ &nbsp;
+ </td>
+ <td>
+
+<p>
+Pos of a precondition pattern's vars in the operator's vars table.
+<p>
+
+<p>
+Definition at line <a class="el" href="fo__operator_8h-source.html#l00046">46</a> of file <a class="el" href="fo__operator_8h-source.html">fo_operator.h</a>.
+<p>
+Referenced by <a class="el" href="fo__operator_8cpp-source.html#l00159">addPostcondition</a>, <a class="el" href="fo__operator_8cpp-source.html#l00040">CFirstOrderOperator</a>, <a class="el" href="fo__operator_8cpp-source.html#l00330">forward</a>, <a class="el" href="fo__operator_8cpp-source.html#l00506">getDebugString</a>, <a class="el" href="fo__operator_8cpp-source.html#l00174">getPosListBackward</a>, <a class="el" href="fo__operator_8cpp-source.html#l00193">getPosListForward</a>, <a class="el" href="fo__operator_8cpp-source.html#l00355">propagate</a>, and <a class="el" href="fo__operator_8cpp-source.html#l00225">unifyBackward</a>. </td>
+ </tr>
+</table>
+<a name="n1" doxytag="NLAILOGIC::CFirstOrderOperator::_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 class="md" nowrap valign="top"> std::vector&lt; std::vector&lt;<a class="el" href="memory__common_8h.html#a10">sint32</a>&gt; &gt; NLAILOGIC::CFirstOrderOperator::_PosVarsCond<code> [protected]</code>
+ </table>
+ </td>
+ </tr>
+</table>
+<table cellspacing=5 cellpadding=0 border=0>
+ <tr>
+ <td>
+ &nbsp;
+ </td>
+ <td>
+
+<p>
+Variables of the operator.
+<p>
+
+<p>
+Definition at line <a class="el" href="fo__operator_8h-source.html#l00045">45</a> of file <a class="el" href="fo__operator_8h-source.html">fo_operator.h</a>.
+<p>
+Referenced by <a class="el" href="fo__operator_8cpp-source.html#l00145">addPrecondition</a>, <a class="el" href="fo__operator_8cpp-source.html#l00313">backward</a>, <a class="el" href="fo__operator_8cpp-source.html#l00040">CFirstOrderOperator</a>, <a class="el" href="fo__operator_8cpp-source.html#l00506">getDebugString</a>, <a class="el" href="fo__operator_8cpp-source.html#l00174">getPosListBackward</a>, <a class="el" href="fo__operator_8cpp-source.html#l00193">getPosListForward</a>, <a class="el" href="fo__operator_8cpp-source.html#l00355">propagate</a>, and <a class="el" href="fo__operator_8cpp-source.html#l00264">unifyForward</a>. </td>
+ </tr>
+</table>
+<a name="n0" doxytag="NLAILOGIC::CFirstOrderOperator::_Vars"></a><p>
+<table width="100%" cellpadding="2" cellspacing="0" border="0">
+ <tr>
+ <td class="md">
+ <table cellpadding="0" cellspacing="0" border="0">
+ <tr>
+ <td class="md" nowrap valign="top"> std::vector&lt;<a class="el" href="classNLAILOGIC_1_1IBaseVar.html">IBaseVar</a> *&gt; NLAILOGIC::CFirstOrderOperator::_Vars<code> [protected]</code>
+ </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="fo__operator_8h-source.html#l00044">44</a> of file <a class="el" href="fo__operator_8h-source.html">fo_operator.h</a>.
+<p>
+Referenced by <a class="el" href="fo__operator_8cpp-source.html#l00115">compileFactPattern</a>, <a class="el" href="fo__operator_8cpp-source.html#l00506">getDebugString</a>, <a class="el" href="fo__operator_8cpp-source.html#l00355">propagate</a>, <a class="el" href="fo__operator_8cpp-source.html#l00225">unifyBackward</a>, <a class="el" href="fo__operator_8cpp-source.html#l00264">unifyForward</a>, and <a class="el" href="fo__operator_8cpp-source.html#l00109">~CFirstOrderOperator</a>. </td>
+ </tr>
+</table>
+<a name="p0" doxytag="NLAILOGIC::CFirstOrderOperator::IdCFirstOrderOperator"></a><p>
+<table width="100%" cellpadding="2" cellspacing="0" border="0">
+ <tr>
+ <td class="md">
+ <table cellpadding="0" cellspacing="0" border="0">
+ <tr>
+ <td class="md" nowrap valign="top"> const <a class="el" href="classNLAIC_1_1CIdentType.html">NLAIC::CIdentType</a> CFirstOrderOperator::IdCFirstOrderOperator<code> [static]</code>
+ </table>
+ </td>
+ </tr>
+</table>
+<table cellspacing=5 cellpadding=0 border=0>
+ <tr>
+ <td>
+ &nbsp;
+ </td>
+ <td>
+
+<p>
+<b>Initial value:</b><div class="fragment"><pre> <a class="code" href="classNLAIC_1_1CIdentType.html">NLAIC::CIdentType</a>( <font class="stringliteral">"FirstOrderOperator"</font>, <a class="code" href="classNLAIC_1_1CSelfClassFactory.html">NLAIC::CSelfClassFactory</a>(<a class="code" href="classNLAILOGIC_1_1CFirstOrderOperator.html#a0">CFirstOrderOperator</a>()),
+ <a class="code" href="classNLAIC_1_1CTypeOfObject.html#s12s2">NLAIC::CTypeOfObject::tLogic</a>,
+ <a class="code" href="classNLAIC_1_1CTypeOfOperator.html#s15s1">NLAIC::CTypeOfOperator::opAdd</a> )</pre></div>
+<p>
+Definition at line <a class="el" href="static__def__init_8cpp-source.html#l00521">521</a> of file <a class="el" href="static__def__init_8cpp-source.html">static_def_init.cpp</a>.
+<p>
+Referenced by <a class="el" href="fo__operator_8cpp-source.html#l00575">getType</a>. </td>
+ </tr>
+</table>
+<hr>The documentation for this class was generated from the following files:<ul>
+<li><a class="el" href="fo__operator_8h-source.html">fo_operator.h</a><li><a class="el" href="fo__operator_8cpp-source.html">fo_operator.cpp</a><li><a class="el" href="static__def__init_8cpp-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>