diff options
Diffstat (limited to 'docs/doxygen/nel/fo__assert_8cpp-source.html')
| -rw-r--r-- | docs/doxygen/nel/fo__assert_8cpp-source.html | 378 |
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> <A CLASS=uplinks HREF=http://www.nevrax.org><b>Home</B></FONT></A> </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> <A CLASS=uplinks HREF=http://www.nevrax.com><b>nevrax.com</B></FONT></A> </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> + + +<!-- 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> </td> +</tr></table> +<!-- Generated by Doxygen 1.2.14 --> +<center> +<a class="qindex" href="index.html">Main Page</a> <a class="qindex" href="namespaces.html">Namespace List</a> <a class="qindex" href="hierarchy.html">Class Hierarchy</a> <a class="qindex" href="classes.html">Alphabetical List</a> <a class="qindex" href="annotated.html">Compound List</a> <a class="qindex" href="files.html">File List</a> <a class="qindex" href="namespacemembers.html">Namespace Members</a> <a class="qindex" href="functions.html">Compound Members</a> <a class="qindex" href="globals.html">File Members</a> <a class="qindex" href="pages.html">Related Pages</a> <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> </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 <MODULE_NAME>.</font> +00004 <font class="comment"> * NEVRAX <MODULE_NAME> 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 <MODULE_NAME> 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 <MODULE_NAME>; 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 &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<IBaseVar *> *lv = new std::vector<IBaseVar *>;</font> +00037 <font class="comment"> for (sint32 i = 0; i < _NbVars; i++)</font> +00038 <font class="comment"> lv->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 &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>()->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<sint32> &) +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 < (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<IObjetOp *></a> *values = f->getValues(); +00072 +00073 <font class="comment">// TODO: unifier pour bool et first order operator</font> +00074 <font class="comment">// (CFirstOrderOperator *) _Outputs[i]->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->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 < (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<IObjectIA *> *values = f->getValues();</font> +00088 <font class="comment">// TODO: unifier pour bool et first order operator </font> +00089 <font class="comment">// _Outputs[i]->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->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<IBaseOperator *>::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->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->release(); +00113 <font class="keywordflow">return</font>; +00114 } +00115 it_f++; +00116 } +00117 tmp->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<sint32> &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<sint32>()); +00124 +00125 std::vector<sint32>::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> &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> &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 &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">"<CFirstOrderAssert> %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 &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 &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 &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<sint32> &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<sint32>() ); +00183 +00184 std::vector<sint32>::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<CClause *> &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> &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>)->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>)->popFront() )->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<CValueSet *></a> &bindings) +00215 { +00216 <font class="comment">/* std::list<CValueSet *> *facts = new std::list<CValueSet *>;</font> +00217 <font class="comment"> </font> +00218 <font class="comment"> CFactPattern *tmp_fp = new CFactPattern(*vs);</font> +00219 <font class="comment"> tmp_fp->setAssert( this );</font> +00220 <font class="comment"></font> +00221 <font class="comment"> std::list<CClause *>::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 )->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->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<CFact *></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<CFact *></a> *result = <font class="keyword">new</font> <a class="code" href="classstd_1_1list.html">std::list<CFact *></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->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))->getDebugString(<a class="code" href="driver__opengl__extension__def_8h.html#a259">buffer</a>); +00261 std::string buffer2; +00262 fact->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))->unify( (CValueSet *) fact ); +00266 <font class="keywordflow">if</font> ( liaison ) +00267 { +00268 <font class="keywordflow">if</font> ( liaison->undefined() == 0 ) +00269 { +00270 result->push_back( (CFact *) ((CValueSet *)((<font class="keyword">const</font> <a class="code" href="classNLAIAGENT_1_1IObjetOp.html#a0">IObjetOp</a>*)it_l))-><a class="code" href="classNLAILOGIC_1_1CFirstOrderAssert.html#a10">clone</a>()); +00271 } +00272 liaison->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<CFact *> param; +00280 param.push_back( fact ); +00281 std::vector<IBaseOperator *>::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))->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<CFact *></a> *CFirstOrderAssert::getFacts()<font class="keyword"> const</font> +00292 <font class="keyword"> </font>{ +00293 <a class="code" href="classstd_1_1list.html">std::list<CFact *></a> *result = <font class="keyword">new</font> <a class="code" href="classstd_1_1list.html">std::list<CFact *></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->push_back( tmp ); +00299 it_f++; +00300 } +00301 <font class="keywordflow">return</font> result; +00302 } +00303 } +00304 +</pre></div> + +<!-- footer --> +<BR><FONT Size=+5> </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> |