aboutsummaryrefslogtreecommitdiff
path: root/docs/doxygen/nel/fo__assert_8cpp-source.html
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--docs/doxygen/nel/fo__assert_8cpp-source.html378
1 files changed, 378 insertions, 0 deletions
diff --git a/docs/doxygen/nel/fo__assert_8cpp-source.html b/docs/doxygen/nel/fo__assert_8cpp-source.html
new file mode 100644
index 00000000..2e46ae60
--- /dev/null
+++ b/docs/doxygen/nel/fo__assert_8cpp-source.html
@@ -0,0 +1,378 @@
+<!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>fo_assert.cpp</h1><a href="fo__assert_8cpp.html">Go to the documentation of this file.</a><div class="fragment"><pre>00001 <font class="comment">/* Copyright, 2000 Nevrax Ltd.</font>
+00002 <font class="comment"> *</font>
+00003 <font class="comment"> * This file is part of NEVRAX &lt;MODULE_NAME&gt;.</font>
+00004 <font class="comment"> * NEVRAX &lt;MODULE_NAME&gt; is free software; you can redistribute it and/or modify</font>
+00005 <font class="comment"> * it under the terms of the GNU General Public License as published by</font>
+00006 <font class="comment"> * the Free Software Foundation; either version 2, or (at your option)</font>
+00007 <font class="comment"> * any later version.</font>
+00008 <font class="comment"></font>
+00009 <font class="comment"> * NEVRAX &lt;MODULE_NAME&gt; is distributed in the hope that it will be useful, but</font>
+00010 <font class="comment"> * WITHOUT ANY WARRANTY; without even the implied warranty of</font>
+00011 <font class="comment"> * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU</font>
+00012 <font class="comment"> * General Public License for more details.</font>
+00013 <font class="comment"></font>
+00014 <font class="comment"> * You should have received a copy of the GNU General Public License</font>
+00015 <font class="comment"> * along with NEVRAX &lt;MODULE_NAME&gt;; see the file COPYING. If not, write to the</font>
+00016 <font class="comment"> * Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston,</font>
+00017 <font class="comment"> * MA 02111-1307, USA.</font>
+00018 <font class="comment"> */</font>
+00019
+00020
+00021 <font class="preprocessor">#include "<a class="code" href="fo__assert_8h.html">nel/ai/logic/fo_assert.h</a>"</font>
+00022 <font class="preprocessor">#include "<a class="code" href="fo__operator_8h.html">nel/ai/logic/fo_operator.h</a>"</font>
+00023 <font class="preprocessor">#include "<a class="code" href="valueset_8h.html">nel/ai/logic/valueset.h</a>"</font>
+00024 <font class="preprocessor">#include "<a class="code" href="varset_8h.html">nel/ai/logic/varset.h</a>"</font>
+00025 <font class="preprocessor">#include "<a class="code" href="fact_8h.html">nel/ai/logic/fact.h</a>"</font>
+00026 <font class="preprocessor">#include "<a class="code" href="clause_8h.html">nel/ai/logic/clause.h</a>"</font>
+00027 <font class="preprocessor">#include "<a class="code" href="agent__digital_8h.html">nel/ai/agent/agent_digital.h</a>"</font>
+00028
+00029 <font class="keyword">namespace </font>NLAILOGIC
+00030 {
+00031 <font class="keyword">using</font> <font class="keyword">namespace </font>NLAIAGENT;
+00032
+<a name="l00033"></a><a class="code" href="classNLAILOGIC_1_1CFirstOrderAssert.html#a0">00033</a> CFirstOrderAssert::CFirstOrderAssert(<font class="keyword">const</font> IVarName &amp;n, <a class="code" href="types__nl_8h.html#a9">sint32</a> nb_vars) : IBaseAssert( n )
+00034 {
+00035 <a class="code" href="classNLAILOGIC_1_1CFirstOrderAssert.html#o2">_NbVars</a> = nb_vars;
+00036 <font class="comment">/* std::vector&lt;IBaseVar *&gt; *lv = new std::vector&lt;IBaseVar *&gt;;</font>
+00037 <font class="comment"> for (sint32 i = 0; i &lt; _NbVars; i++)</font>
+00038 <font class="comment"> lv-&gt;pushBack(NULL);*/</font>
+00039 }
+00040
+00041
+<a name="l00042"></a><a class="code" href="classNLAILOGIC_1_1CFirstOrderAssert.html#a1">00042</a> CFirstOrderAssert::CFirstOrderAssert(<font class="keyword">const</font> CFirstOrderAssert &amp;cp) : IBaseAssert( *cp._Name )
+00043 {
+00044
+00045 CConstIteratorContener <a class="code" href="driver__opengl__extension__def_8h.html#a262">r</a> = <a class="code" href="classNLAILOGIC_1_1CFirstOrderAssert.html#o1">_Facts</a>.<a class="code" href="classNLAIAGENT_1_1CVolatilMemmory.html#a3">getConstIterator</a>();
+00046 <font class="keywordflow">while</font>( !<a class="code" href="driver__opengl__extension__def_8h.html#a262">r</a>.isInEnd() )
+00047 {
+00048 <a class="code" href="classNLAILOGIC_1_1CFirstOrderAssert.html#o1">_Facts</a>.<a class="code" href="classNLAIAGENT_1_1CVolatilMemmory.html#a5">pushBack</a>( 50, (CValueSet *) (*r).clone() );
+00049 }
+00050 }
+00051
+<a name="l00052"></a><a class="code" href="classNLAILOGIC_1_1CFirstOrderAssert.html#a2">00052</a> CFirstOrderAssert::~CFirstOrderAssert()
+00053 {
+00054 <font class="keywordflow">while</font> ( <a class="code" href="classNLAILOGIC_1_1CFirstOrderAssert.html#o1">_Facts</a>.<a class="code" href="classNLAIAGENT_1_1CVolatilMemmory.html#a11">size</a>() )
+00055 {
+00056 <a class="code" href="classNLAILOGIC_1_1CFirstOrderAssert.html#o1">_Facts</a>.<a class="code" href="classNLAIAGENT_1_1CVolatilMemmory.html#a8">Front</a>()-&gt;release();
+00057 <a class="code" href="classNLAILOGIC_1_1CFirstOrderAssert.html#o1">_Facts</a>.<a class="code" href="classNLAIAGENT_1_1CVolatilMemmory.html#a6">popFront</a>();
+00058 }
+00059 }
+00060
+<a name="l00061"></a><a class="code" href="classNLAILOGIC_1_1CFirstOrderAssert.html#a3">00061</a> <font class="keywordtype">void</font> CFirstOrderAssert::connectClause(CClause *, std::vector&lt;sint32&gt; &amp;)
+00062 {
+00063 }
+00064
+<a name="l00065"></a><a class="code" href="classNLAILOGIC_1_1CFirstOrderAssert.html#a4">00065</a> <font class="keywordtype">void</font> CFirstOrderAssert::addFact(CVarSet *f)
+00066 {
+00067 <font class="comment">// Lorsqu'on ajoute un fait, le transmet à toutes les conditions qui en dépendent avec la position des variables dans la condition</font>
+00068 <font class="keywordflow">for</font> ( <a class="code" href="types__nl_8h.html#a9">sint32</a> i = 0; i &lt; (sint32)<a class="code" href="classNLAILOGIC_1_1IBaseAssert.html#n1">_Outputs</a>.size(); i++ )
+00069 {
+00070 <font class="comment">// Créé la liste des valeurs</font>
+00071 <a class="code" href="classstd_1_1list.html">std::list&lt;IObjetOp *&gt;</a> *values = f-&gt;getValues();
+00072
+00073 <font class="comment">// TODO: unifier pour bool et first order operator</font>
+00074 <font class="comment">// (CFirstOrderOperator *) _Outputs[i]-&gt;propagate(values, _PosVars[i] );</font>
+00075 <font class="keyword">delete</font> values;
+00076 }
+00077
+00078 <a class="code" href="classNLAILOGIC_1_1CFirstOrderAssert.html#o1">_Facts</a>.<a class="code" href="classNLAIAGENT_1_1CVolatilMemmory.html#a5">pushBack</a>( 50, f-&gt;asCValueSet() );
+00079 }
+00080
+<a name="l00081"></a><a class="code" href="classNLAILOGIC_1_1CFirstOrderAssert.html#a5">00081</a> <font class="keywordtype">void</font> CFirstOrderAssert::addFact(CValueSet *f)
+00082 {
+00083 <font class="comment">// Lorsqu'on ajoute un fait, le transmet à toutes les conditions qui en dépendent avec la position des variables dans la condition</font>
+00084 <font class="keywordflow">for</font> ( <a class="code" href="types__nl_8h.html#a9">sint32</a> i = 0; i &lt; (sint32)<a class="code" href="classNLAILOGIC_1_1IBaseAssert.html#n1">_Outputs</a>.size(); i++ )
+00085 {
+00086 <font class="comment">// Créé la liste des valeurs</font>
+00087 <font class="comment">// std::list&lt;IObjectIA *&gt; *values = f-&gt;getValues();</font>
+00088 <font class="comment">// TODO: unifier pour bool et first order operator </font>
+00089 <font class="comment">// _Outputs[i]-&gt;propagate(values, _PosVars[i] );</font>
+00090 }
+00091
+00092 <a class="code" href="classNLAILOGIC_1_1CFirstOrderAssert.html#o1">_Facts</a>.<a class="code" href="classNLAIAGENT_1_1CVolatilMemmory.html#a5">pushBack</a>( 50, (CValueSet *) f-&gt;clone() );
+00093 }
+00094
+<a name="l00095"></a><a class="code" href="classNLAILOGIC_1_1CFirstOrderAssert.html#a6">00095</a> <font class="keywordtype">void</font> CFirstOrderAssert::removeFact(CFact *f)
+00096 {
+00097 std::vector&lt;IBaseOperator *&gt;::iterator it_cl = <a class="code" href="classNLAILOGIC_1_1IBaseAssert.html#n1">_Outputs</a>.begin();
+00098 <font class="keywordflow">while</font> ( it_cl != <a class="code" href="classNLAILOGIC_1_1IBaseAssert.html#n1">_Outputs</a>.end() )
+00099 {
+00100 <font class="comment">// doit passer par un envoi de message!!!</font>
+00101 it_cl++;
+00102 }
+00103
+00104 CValueSet *tmp = f-&gt;asValueSet();
+00105
+00106 CConstIteratorContener it_f = <a class="code" href="classNLAILOGIC_1_1CFirstOrderAssert.html#o1">_Facts</a>.<a class="code" href="classNLAIAGENT_1_1CVolatilMemmory.html#a3">getConstIterator</a>();
+00107 <font class="keywordflow">while</font>( !it_f.isInEnd() )
+00108 {
+00109 <font class="keywordflow">if</font> ( *f == *(CValueSet *)((<font class="keyword">const</font> <a class="code" href="classNLAIAGENT_1_1IObjetOp.html#a0">IObjetOp</a>*)it_f) )
+00110 {
+00111 <a class="code" href="classNLAILOGIC_1_1CFirstOrderAssert.html#o1">_Facts</a>.<a class="code" href="classNLAIAGENT_1_1CVolatilMemmory.html#a10">erase</a>( it_f );
+00112 tmp-&gt;release();
+00113 <font class="keywordflow">return</font>;
+00114 }
+00115 it_f++;
+00116 }
+00117 tmp-&gt;release();
+00118 }
+00119
+<a name="l00120"></a><a class="code" href="classNLAILOGIC_1_1CFirstOrderAssert.html#a7">00120</a> <font class="keywordtype">void</font> CFirstOrderAssert::addClause(CClause *clause, std::vector&lt;sint32&gt; &amp;posvars)
+00121 {
+00122 <a class="code" href="classNLAILOGIC_1_1CFirstOrderAssert.html#o3">_Clauses</a>.push_back( clause );
+00123 <a class="code" href="classNLAILOGIC_1_1CFirstOrderAssert.html#o0">_PosVars</a>.push_back(std::vector&lt;sint32&gt;());
+00124
+00125 std::vector&lt;sint32&gt;::iterator it_pos = posvars.begin();
+00126 <font class="keywordflow">while</font> ( it_pos != posvars.end() )
+00127 {
+00128 <a class="code" href="classNLAILOGIC_1_1CFirstOrderAssert.html#o0">_PosVars</a>[ <a class="code" href="classNLAILOGIC_1_1CFirstOrderAssert.html#o3">_Clauses</a>.size() -1 ].push_back( *it_pos );
+00129 it_pos++;
+00130 }
+00131 }
+00132
+<a name="l00133"></a><a class="code" href="classNLAILOGIC_1_1CFirstOrderAssert.html#a10">00133</a> <font class="keyword">const</font> <a class="code" href="classNLAIC_1_1IBasicType.html">NLAIC::IBasicType</a> *CFirstOrderAssert::clone()<font class="keyword"> const</font>
+00134 <font class="keyword"> </font>{
+00135 <a class="code" href="classNLAILOGIC_1_1CFirstOrderAssert.html#a0">CFirstOrderAssert</a> *<a class="code" href="classNLAILOGIC_1_1CFirstOrderAssert.html#a10">clone</a> = <font class="keyword">new</font> <a class="code" href="classNLAILOGIC_1_1CFirstOrderAssert.html#a0">CFirstOrderAssert</a>( *<font class="keyword">this</font> );
+00136 <font class="keywordflow">return</font> (<a class="code" href="classNLAIC_1_1IBasicInterface.html">NLAIC::IBasicInterface</a> *) <a class="code" href="classNLAILOGIC_1_1CFirstOrderAssert.html#a10">clone</a>;
+00137 }
+00138
+<a name="l00139"></a><a class="code" href="classNLAILOGIC_1_1CFirstOrderAssert.html#a11">00139</a> <font class="keyword">const</font> <a class="code" href="classNLAIC_1_1IBasicType.html">NLAIC::IBasicType</a> *CFirstOrderAssert::newInstance()<font class="keyword"> const</font>
+00140 <font class="keyword"> </font>{
+00141 <font class="keywordflow">return</font> <a class="code" href="classNLAILOGIC_1_1CFirstOrderAssert.html#a10">clone</a>();
+00142 }
+00143
+<a name="l00144"></a><a class="code" href="classNLAILOGIC_1_1CFirstOrderAssert.html#a12">00144</a> <font class="keywordtype">void</font> CFirstOrderAssert::save(<a class="code" href="classNLMISC_1_1IStream.html">NLMISC::IStream</a> &amp;os)
+00145 {
+00146 }
+00147
+<a name="l00148"></a><a class="code" href="classNLAILOGIC_1_1CFirstOrderAssert.html#a13">00148</a> <font class="keywordtype">void</font> CFirstOrderAssert::load(<a class="code" href="classNLMISC_1_1IStream.html">NLMISC::IStream</a> &amp;is)
+00149 {
+00150 }
+00151
+<a name="l00152"></a><a class="code" href="classNLAILOGIC_1_1CFirstOrderAssert.html#a14">00152</a> <font class="keywordtype">void</font> CFirstOrderAssert::getDebugString(std::string &amp;text)<font class="keyword"> const</font>
+00153 <font class="keyword"> </font>{
+00154 std::string buf;
+00155 <a class="code" href="classNLAILOGIC_1_1IBaseAssert.html#a5">getName</a>().<a class="code" href="classNLAIC_1_1IBasicType.html#a5">getDebugString</a>(buf);
+00156 text += <a class="code" href="namespaceNLAIC.html#a5">NLAIC::stringGetBuild</a>(<font class="stringliteral">"&lt;CFirstOrderAssert&gt; %s"</font>, buf.c_str());
+00157 }
+00158
+<a name="l00159"></a><a class="code" href="classNLAILOGIC_1_1CFirstOrderAssert.html#a16">00159</a> <font class="keywordtype">bool</font> <a class="code" href="chain_8cpp.html#a2">CFirstOrderAssert::isEqual</a>(<font class="keyword">const</font> CFirstOrderAssert &amp;a)<font class="keyword"> const</font>
+00160 <font class="keyword"> </font>{
+00161 <font class="keywordflow">return</font> ( <a class="code" href="classNLAILOGIC_1_1IBaseAssert.html#a5">getName</a>() == a.getName() );
+00162 }
+00163
+<a name="l00164"></a><a class="code" href="classNLAILOGIC_1_1CFirstOrderAssert.html#a17">00164</a> <font class="keyword">const</font> IObjectIA::CProcessResult &amp;CFirstOrderAssert::run()
+00165 {
+00166 <font class="keywordflow">return</font> IObjectIA::ProcessRun;
+00167 }
+00168
+<a name="l00169"></a><a class="code" href="classNLAILOGIC_1_1CFirstOrderAssert.html#a15">00169</a> <font class="keywordtype">bool</font> <a class="code" href="chain_8cpp.html#a2">CFirstOrderAssert::isEqual</a>(<font class="keyword">const</font> IBasicObjectIA &amp;a)<font class="keyword"> const</font>
+00170 <font class="keyword"> </font>{
+00171 <font class="keywordflow">return</font> <font class="keyword">false</font>;
+00172 }
+00173
+<a name="l00174"></a><a class="code" href="classNLAILOGIC_1_1CFirstOrderAssert.html#a18">00174</a> <font class="keywordtype">bool</font> CFirstOrderAssert::isTrue()<font class="keyword"> const</font>
+00175 <font class="keyword"> </font>{
+00176 <font class="keywordflow">return</font> <font class="keyword">false</font>;
+00177 }
+00178
+<a name="l00179"></a><a class="code" href="classNLAILOGIC_1_1CFirstOrderAssert.html#a9">00179</a> <font class="keywordtype">void</font> CFirstOrderAssert::addInput(CClause *clause, std::vector&lt;sint32&gt; &amp;posvars)
+00180 {
+00181 <a class="code" href="classNLAILOGIC_1_1CFirstOrderAssert.html#o3">_Clauses</a>.push_back( clause );
+00182 <a class="code" href="classNLAILOGIC_1_1CFirstOrderAssert.html#o4">_PosVarsInputs</a>.push_back( std::vector&lt;sint32&gt;() );
+00183
+00184 std::vector&lt;sint32&gt;::iterator it_pos = posvars.begin();
+00185 <font class="keywordflow">while</font> ( it_pos != posvars.end() )
+00186 {
+00187 <a class="code" href="classNLAILOGIC_1_1CFirstOrderAssert.html#o4">_PosVarsInputs</a>[<a class="code" href="classNLAILOGIC_1_1IBaseAssert.html#n2">_Inputs</a>.size() - 1].push_back( *it_pos );
+00188 it_pos++;
+00189 }
+00190 }
+00191
+<a name="l00192"></a><a class="code" href="classNLAILOGIC_1_1CFirstOrderAssert.html#a8">00192</a> <font class="keyword">const</font> std::vector&lt;CClause *&gt; &amp;CFirstOrderAssert::getClauses()
+00193 {
+00194 <font class="keywordflow">return</font> <a class="code" href="classNLAILOGIC_1_1CFirstOrderAssert.html#o3">_Clauses</a>;
+00195 }
+00196
+<a name="l00197"></a><a class="code" href="classNLAILOGIC_1_1CFirstOrderAssert.html#a19">00197</a> <font class="keyword">const</font> <a class="code" href="classNLAIC_1_1CIdentType.html">NLAIC::CIdentType</a> &amp;CFirstOrderAssert::getType()<font class="keyword"> const</font>
+00198 <font class="keyword"> </font>{
+00199 <font class="keywordflow">return</font> <a class="code" href="classNLAILOGIC_1_1CFirstOrderAssert.html#p0">IdFirstOrderAssert</a>;
+00200 }
+00201
+<a name="l00202"></a><a class="code" href="classNLAILOGIC_1_1CFirstOrderAssert.html#a20">00202</a> <font class="keywordtype">void</font> CFirstOrderAssert::init(IObjectIA *<a class="code" href="driver__opengl__extension__def_8h.html#a235">params</a>)
+00203 {
+00204 ((IBaseGroupType *)<a class="code" href="driver__opengl__extension__def_8h.html#a235">params</a>)-&gt;popFront();
+00205
+00206 <a class="code" href="classNLAILOGIC_1_1CFirstOrderAssert.html#o2">_NbVars</a> = (sint32) ( (DigitalType *) ((IBaseGroupType *)<a class="code" href="driver__opengl__extension__def_8h.html#a235">params</a>)-&gt;popFront() )-&gt;getValue();
+00207 }
+00208
+<a name="l00209"></a><a class="code" href="classNLAILOGIC_1_1CFirstOrderAssert.html#a21">00209</a> <a class="code" href="types__nl_8h.html#a9">sint32</a> CFirstOrderAssert::nbVars()<font class="keyword"> const</font>
+00210 <font class="keyword"> </font>{
+00211 <font class="keywordflow">return</font> <a class="code" href="classNLAILOGIC_1_1CFirstOrderAssert.html#o2">_NbVars</a>;
+00212 }
+00213
+<a name="l00214"></a><a class="code" href="classNLAILOGIC_1_1CFirstOrderAssert.html#a22">00214</a> <font class="keywordtype">void</font> CFirstOrderAssert::backward(CValueSet *vs, <a class="code" href="classstd_1_1list.html">std::list&lt;CValueSet *&gt;</a> &amp;bindings)
+00215 {
+00216 <font class="comment">/* std::list&lt;CValueSet *&gt; *facts = new std::list&lt;CValueSet *&gt;;</font>
+00217 <font class="comment"> </font>
+00218 <font class="comment"> CFactPattern *tmp_fp = new CFactPattern(*vs);</font>
+00219 <font class="comment"> tmp_fp-&gt;setAssert( this );</font>
+00220 <font class="comment"></font>
+00221 <font class="comment"> std::list&lt;CClause *&gt;::iterator it_cl = _Inputs.begin();</font>
+00222 <font class="comment"> while ( it_cl != _Inputs.end() )</font>
+00223 <font class="comment"> {</font>
+00224 <font class="comment"> CVarSet *l = ( (CRule *) *it_cl )-&gt;backward( tmp_fp );</font>
+00225 <font class="comment"> if ( l )</font>
+00226 <font class="comment"> {</font>
+00227 <font class="comment"> char buf[1024 * 2];</font>
+00228 <font class="comment"> l-&gt;getDebugString( buf );</font>
+00229 <font class="comment"> bindings.pushBack( l );</font>
+00230 <font class="comment"> }</font>
+00231 <font class="comment"> it_cl++;</font>
+00232 <font class="comment"> }*/</font>
+00233 }
+00234
+<a name="l00235"></a><a class="code" href="classNLAILOGIC_1_1CFirstOrderAssert.html#a23">00235</a> <a class="code" href="classstd_1_1list.html">std::list&lt;CFact *&gt;</a> *CFirstOrderAssert::backward(CFact *fact)
+00236 {
+00237 <font class="comment">// Recherche dans l'assertion...</font>
+00238 <a class="code" href="classstd_1_1list.html">std::list&lt;CFact *&gt;</a> *result = <font class="keyword">new</font> <a class="code" href="classstd_1_1list.html">std::list&lt;CFact *&gt;</a>;
+00239 CValueSet *liaison;
+00240 <font class="comment">/*</font>
+00241 <font class="comment"> CConstIteratorContener it_f = _Facts.getConstIterator();</font>
+00242 <font class="comment"> while( !it_f.isInEnd() )</font>
+00243 <font class="comment"> {</font>
+00244 <font class="comment"> if ( *f == *(CFact *)((const IObjetOp*)it_f) )</font>
+00245 <font class="comment"> {</font>
+00246 <font class="comment"> _Facts.erase( it_f );</font>
+00247 <font class="comment"> tmp-&gt;release();</font>
+00248 <font class="comment"> return;</font>
+00249 <font class="comment"> }</font>
+00250 <font class="comment"> it_f++;</font>
+00251 <font class="comment"> }</font>
+00252 <font class="comment">*/</font>
+00253
+00254 CConstIteratorContener it_l = <a class="code" href="classNLAILOGIC_1_1CFirstOrderAssert.html#o1">_Facts</a>.<a class="code" href="classNLAIAGENT_1_1CVolatilMemmory.html#a3">getConstIterator</a>();
+00255 <font class="keywordflow">while</font> ( !it_l.isInEnd() )
+00256 {
+00257 <font class="preprocessor">#ifdef NL_DEBUG</font>
+00258 <font class="preprocessor"></font> std::string <a class="code" href="driver__opengl__extension__def_8h.html#a259">buffer</a>;
+00259
+00260 ((CValueSet *)((<font class="keyword">const</font> <a class="code" href="classNLAIAGENT_1_1IObjetOp.html#a0">IObjetOp</a>*)it_l))-&gt;getDebugString(<a class="code" href="driver__opengl__extension__def_8h.html#a259">buffer</a>);
+00261 std::string buffer2;
+00262 fact-&gt;getDebugString(buffer2);
+00263 <font class="preprocessor">#endif</font>
+00264 <font class="preprocessor"></font>
+00265 liaison = ((CValueSet *)((<font class="keyword">const</font> <a class="code" href="classNLAIAGENT_1_1IObjetOp.html#a0">IObjetOp</a>*)it_l))-&gt;unify( (CValueSet *) fact );
+00266 <font class="keywordflow">if</font> ( liaison )
+00267 {
+00268 <font class="keywordflow">if</font> ( liaison-&gt;undefined() == 0 )
+00269 {
+00270 result-&gt;push_back( (CFact *) ((CValueSet *)((<font class="keyword">const</font> <a class="code" href="classNLAIAGENT_1_1IObjetOp.html#a0">IObjetOp</a>*)it_l))-&gt;<a class="code" href="classNLAILOGIC_1_1CFirstOrderAssert.html#a10">clone</a>());
+00271 }
+00272 liaison-&gt;release();
+00273 }
+00274 it_l++;
+00275 }
+00276
+00277
+00278 <font class="comment">// Et dans les règles dont la partie conclusion infèrent des faits de cette assertion</font>
+00279 std::list&lt;CFact *&gt; param;
+00280 param.push_back( fact );
+00281 std::vector&lt;IBaseOperator *&gt;::iterator it_i = <a class="code" href="classNLAILOGIC_1_1IBaseAssert.html#n2">_Inputs</a>.begin();
+00282 <font class="keywordflow">while</font> ( it_i != <a class="code" href="classNLAILOGIC_1_1IBaseAssert.html#n2">_Inputs</a>.end() )
+00283 {
+00284 ((CFirstOrderOperator *)(*it_i))-&gt;backward( param );
+00285 it_i++;
+00286 }
+00287
+00288 <font class="keywordflow">return</font> result;
+00289 }
+00290
+<a name="l00291"></a><a class="code" href="classNLAILOGIC_1_1CFirstOrderAssert.html#a24">00291</a> <a class="code" href="classstd_1_1list.html">std::list&lt;CFact *&gt;</a> *CFirstOrderAssert::getFacts()<font class="keyword"> const</font>
+00292 <font class="keyword"> </font>{
+00293 <a class="code" href="classstd_1_1list.html">std::list&lt;CFact *&gt;</a> *result = <font class="keyword">new</font> <a class="code" href="classstd_1_1list.html">std::list&lt;CFact *&gt;</a>;
+00294 CConstIteratorContener it_f = <a class="code" href="classNLAILOGIC_1_1CFirstOrderAssert.html#o1">_Facts</a>.<a class="code" href="classNLAIAGENT_1_1CVolatilMemmory.html#a3">getConstIterator</a>();
+00295 <font class="keywordflow">while</font> ( !it_f.isInEnd() )
+00296 {
+00297 CFact *tmp = <font class="keyword">new</font> CFact( (<a class="code" href="classNLAILOGIC_1_1IBaseAssert.html#a0">IBaseAssert</a> *) <font class="keyword">this</font>, ((CValueSet *)((<font class="keyword">const</font> <a class="code" href="classNLAIAGENT_1_1IObjetOp.html#a0">IObjetOp</a>*)it_f)) );
+00298 result-&gt;push_back( tmp );
+00299 it_f++;
+00300 }
+00301 <font class="keywordflow">return</font> result;
+00302 }
+00303 }
+00304
+</pre></div>
+
+<!-- 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>