aboutsummaryrefslogtreecommitdiff
path: root/docs/doxygen/nel/factbase_8cpp-source.html
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--docs/doxygen/nel/factbase_8cpp-source.html299
1 files changed, 299 insertions, 0 deletions
diff --git a/docs/doxygen/nel/factbase_8cpp-source.html b/docs/doxygen/nel/factbase_8cpp-source.html
new file mode 100644
index 00000000..b0fb9451
--- /dev/null
+++ b/docs/doxygen/nel/factbase_8cpp-source.html
@@ -0,0 +1,299 @@
+<!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>factbase.cpp</h1><a href="factbase_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 <font class="preprocessor">#include "<a class="code" href="factbase_8h.html">nel/ai/logic/factbase.h</a>"</font>
+00021 <font class="preprocessor">#include "<a class="code" href="varset_8h.html">nel/ai/logic/varset.h</a>"</font>
+00022 <font class="preprocessor">#include "<a class="code" href="ai__assert_8h.html">nel/ai/logic/ai_assert.h</a>"</font>
+00023 <font class="preprocessor">#include "<a class="code" href="bool__assert_8h.html">nel/ai/logic/bool_assert.h</a>"</font>
+00024 <font class="preprocessor">#include "<a class="code" href="fo__assert_8h.html">nel/ai/logic/fo_assert.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="valueset_8h.html">nel/ai/logic/valueset.h</a>"</font>
+00027
+00028 <font class="keyword">namespace </font>NLAILOGIC
+00029 {
+00030 <font class="keyword">using</font> <font class="keyword">namespace </font>NLAIAGENT;
+00031
+<a name="l00032"></a><a class="code" href="classNLAILOGIC_1_1CFactBase.html#a0">00032</a> CFactBase::CFactBase()
+00033 {
+00034 }
+00035
+<a name="l00036"></a><a class="code" href="classNLAILOGIC_1_1CFactBase.html#a1">00036</a> CFactBase::~CFactBase() {
+00037 <font class="keywordflow">while</font> ( <a class="code" href="classNLAILOGIC_1_1CFactBase.html#o0">_Asserts</a>.size() )
+00038 {
+00039 <a class="code" href="classNLAILOGIC_1_1CFactBase.html#o0">_Asserts</a>.front()-&gt;release();
+00040 <a class="code" href="classNLAILOGIC_1_1CFactBase.html#o0">_Asserts</a>.pop_front();
+00041 }
+00042 }
+00043
+<a name="l00044"></a><a class="code" href="classNLAILOGIC_1_1CFactBase.html#a5">00044</a> IBaseAssert *CFactBase::addAssert(IVarName &amp;n, <a class="code" href="types__nl_8h.html#a8">sint32</a> nb_vars)
+00045 {
+00046 IBaseAssert *my_assert = <a class="code" href="classNLAILOGIC_1_1CFactBase.html#c0">findAssert</a>( n , nb_vars );
+00047 <font class="keywordflow">if</font> ( ! my_assert )
+00048 {
+00049 <font class="keywordflow">if</font> ( nb_vars &gt; 0)
+00050 <a class="code" href="classNLAILOGIC_1_1CFactBase.html#o0">_Asserts</a>.push_back( my_assert = <font class="keyword">new</font> CFirstOrderAssert(n, nb_vars) );
+00051 <font class="keywordflow">else</font>
+00052 <a class="code" href="classNLAILOGIC_1_1CFactBase.html#o0">_Asserts</a>.push_back( my_assert = <font class="keyword">new</font> CBoolAssert(n) );
+00053 }
+00054 <font class="keywordflow">return</font> my_assert;
+00055 }
+00056
+<a name="l00057"></a><a class="code" href="classNLAILOGIC_1_1CFactBase.html#c0">00057</a> IBaseAssert *CFactBase::findAssert(IBaseAssert *a)
+00058 {
+00059 <a class="code" href="classstd_1_1list.html">std::list&lt;IBaseAssert *&gt;</a>::iterator it_a = <a class="code" href="classNLAILOGIC_1_1CFactBase.html#o0">_Asserts</a>.begin();
+00060 <font class="keywordflow">while</font> ( it_a != <a class="code" href="classNLAILOGIC_1_1CFactBase.html#o0">_Asserts</a>.end() )
+00061 {
+00062 <font class="keywordflow">if</font> ( a-&gt;getName() == (*it_a)-&gt;getName()
+00063 &amp;&amp; a-&gt;nbVars() == (*it_a)-&gt;nbVars() )
+00064 {
+00065 <font class="keywordflow">return</font> *it_a;
+00066 }
+00067 it_a++;
+00068 }
+00069 <font class="keywordflow">return</font> NULL;
+00070 }
+00071
+<a name="l00072"></a><a class="code" href="classNLAILOGIC_1_1CFactBase.html#c1">00072</a> IBaseAssert *CFactBase::findAssert( IVarName &amp;a_name, <a class="code" href="types__nl_8h.html#a8">sint32</a> nb_vars)
+00073 {
+00074 <a class="code" href="classstd_1_1list.html">std::list&lt;IBaseAssert *&gt;</a>::iterator it_a = <a class="code" href="classNLAILOGIC_1_1CFactBase.html#o0">_Asserts</a>.begin();
+00075 <font class="keywordflow">while</font> ( it_a != <a class="code" href="classNLAILOGIC_1_1CFactBase.html#o0">_Asserts</a>.end() )
+00076 {
+00077 <font class="keywordflow">if</font> ( a_name == ( *it_a )-&gt;getName()
+00078 &amp;&amp; nb_vars == (*it_a)-&gt;nbVars() )
+00079 {
+00080 <font class="keywordflow">return</font> *it_a;
+00081 }
+00082 it_a++;
+00083 }
+00084 <font class="keywordflow">return</font> NULL;
+00085 }
+00086
+<a name="l00087"></a><a class="code" href="classNLAILOGIC_1_1CFactBase.html#a3">00087</a> <font class="keywordtype">void</font> CFactBase::addFact(CFact *f)
+00088 {
+00089 IBaseAssert *<a class="code" href="debug_8h.html#a15">assert</a> = <a class="code" href="classNLAILOGIC_1_1CFactBase.html#c0">findAssert</a>( f-&gt;getAssertName(), f-&gt;size() );
+00090 <font class="comment">// Si non la créer</font>
+00091 <font class="keywordflow">if</font> ( !<a class="code" href="debug_8h.html#a15">assert</a> )
+00092 {
+00093 <font class="keywordflow">if</font> ( f-&gt;size() == 0 )
+00094 <a class="code" href="classNLAILOGIC_1_1CFactBase.html#o0">_Asserts</a>.push_back( <a class="code" href="debug_8h.html#a15">assert</a> = <font class="keyword">new</font> CBoolAssert( f-&gt;getAssertName() ) ); <font class="comment">// 0 order assert</font>
+00095 <font class="keywordflow">else</font>
+00096 {
+00097 CStringVarName <a class="code" href="driver__opengl__extension__def_8h.html#a231">x</a>((CStringVarName &amp;)f-&gt;getAssertName());
+00098 <a class="code" href="classNLAILOGIC_1_1CFactBase.html#o0">_Asserts</a>.push_back( <a class="code" href="debug_8h.html#a15">assert</a> = <font class="keyword">new</font> CFirstOrderAssert(<a class="code" href="driver__opengl__extension__def_8h.html#a231">x</a>) ); <font class="comment">// First order assert</font>
+00099 <a class="code" href="debug_8h.html#a15">assert</a>-&gt;addFact( f );
+00100 }
+00101 }
+00102 }
+00103
+<a name="l00104"></a><a class="code" href="classNLAILOGIC_1_1CFactBase.html#a2">00104</a> <font class="keywordtype">void</font> CFactBase::addFact(IVarName &amp;a_name , CValueSet *fp)
+00105 {
+00106 <font class="comment">// Est-ce que l'assertion existe déja?</font>
+00107 IBaseAssert *<a class="code" href="debug_8h.html#a15">assert</a> = <a class="code" href="classNLAILOGIC_1_1CFactBase.html#c0">findAssert</a>( a_name, fp-&gt;size() );
+00108
+00109 <font class="comment">// Si non la créer</font>
+00110 <font class="keywordflow">if</font> ( !<a class="code" href="debug_8h.html#a15">assert</a> )
+00111 {
+00112 <font class="keywordflow">if</font> ( !fp )
+00113 <a class="code" href="classNLAILOGIC_1_1CFactBase.html#o0">_Asserts</a>.push_back( <a class="code" href="debug_8h.html#a15">assert</a> = <font class="keyword">new</font> CBoolAssert( a_name ) ); <font class="comment">// 0 order assert</font>
+00114 <font class="keywordflow">else</font>
+00115 {
+00116 CStringVarName <a class="code" href="driver__opengl__extension__def_8h.html#a231">x</a>((CStringVarName &amp;)a_name);
+00117 <a class="code" href="classNLAILOGIC_1_1CFactBase.html#o0">_Asserts</a>.push_back( <a class="code" href="debug_8h.html#a15">assert</a> = <font class="keyword">new</font> CFirstOrderAssert(<a class="code" href="driver__opengl__extension__def_8h.html#a231">x</a>) ); <font class="comment">// First order assert</font>
+00118 <a class="code" href="debug_8h.html#a15">assert</a>-&gt;addFact( fp );
+00119 }
+00120 }
+00121 }
+00122
+<a name="l00123"></a><a class="code" href="classNLAILOGIC_1_1CFactBase.html#a4">00123</a> <font class="keywordtype">void</font> CFactBase::removeFact(CFact *fp)
+00124 {
+00125 <font class="comment">// Est-ce que l'assertion existe déja?</font>
+00126 IBaseAssert *<a class="code" href="debug_8h.html#a15">assert</a> = <a class="code" href="classNLAILOGIC_1_1CFactBase.html#c0">findAssert</a>( fp-&gt;getAssert());
+00127
+00128 <font class="keywordflow">if</font> ( assert )
+00129 <a class="code" href="debug_8h.html#a15">assert</a>-&gt;removeFact( fp );
+00130 }
+00131
+<a name="l00132"></a><a class="code" href="classNLAILOGIC_1_1CFactBase.html#a7">00132</a> <font class="keyword">const</font> <a class="code" href="classNLAIC_1_1IBasicType.html">NLAIC::IBasicType</a> *CFactBase::clone()<font class="keyword"> const</font>
+00133 <font class="keyword"> </font>{
+00134 <a class="code" href="classNLAILOGIC_1_1CFactBase.html#a0">CFactBase</a> *result = <font class="keyword">new</font> <a class="code" href="classNLAILOGIC_1_1CFactBase.html#a0">CFactBase</a>;
+00135 <a class="code" href="classstd_1_1list.html">std::list&lt;IBaseAssert *&gt;</a>::const_iterator it_a = <a class="code" href="classNLAILOGIC_1_1CFactBase.html#o0">_Asserts</a>.begin();
+00136 <font class="keywordflow">while</font> ( it_a != <a class="code" href="classNLAILOGIC_1_1CFactBase.html#o0">_Asserts</a>.end() )
+00137 {
+00138 result-&gt;_Asserts.push_back( (IBaseAssert *) (*it_a)-&gt;clone() );
+00139 it_a++;
+00140 }
+00141 <font class="keywordflow">return</font> result;
+00142 }
+<a name="l00143"></a><a class="code" href="classNLAILOGIC_1_1CFactBase.html#a8">00143</a> <font class="keyword">const</font> <a class="code" href="classNLAIC_1_1IBasicType.html">NLAIC::IBasicType</a> *CFactBase::newInstance()<font class="keyword"> const</font>
+00144 <font class="keyword"> </font>{
+00145 <a class="code" href="classNLAILOGIC_1_1CFactBase.html#a0">CFactBase</a> *instance = <font class="keyword">new</font> <a class="code" href="classNLAILOGIC_1_1CFactBase.html#a0">CFactBase</a>();
+00146 <font class="keywordflow">return</font> instance;
+00147 }
+00148
+<a name="l00149"></a><a class="code" href="classNLAILOGIC_1_1CFactBase.html#a9">00149</a> <font class="keyword">const</font> <a class="code" href="classNLAIC_1_1CIdentType.html">NLAIC::CIdentType</a> &amp;CFactBase::getType()<font class="keyword"> const</font>
+00150 <font class="keyword"> </font>{
+00151 <font class="keywordflow">return</font> <a class="code" href="classNLAILOGIC_1_1CFactBase.html#p0">IdFactBase</a>;
+00152 }
+00153
+<a name="l00154"></a><a class="code" href="classNLAILOGIC_1_1CFactBase.html#a10">00154</a> <font class="keywordtype">void</font> CFactBase::save(<a class="code" href="classNLMISC_1_1IStream.html">NLMISC::IStream</a> &amp;os)
+00155 {
+00156 IObjectIA::save( os );
+00157 <a class="code" href="types__nl_8h.html#a8">sint32</a> <a class="code" href="lexlang_8cpp.html#a56">size</a> = <a class="code" href="classNLAILOGIC_1_1CFactBase.html#o0">_Asserts</a>.size();
+00158 os.<a class="code" href="classNLMISC_1_1IStream.html#a5">serial</a>( <a class="code" href="lexlang_8cpp.html#a56">size</a> );
+00159 <a class="code" href="classstd_1_1list.html">std::list&lt;IBaseAssert *&gt;</a>::const_iterator it_a = <a class="code" href="classNLAILOGIC_1_1CFactBase.html#o0">_Asserts</a>.begin();
+00160 <font class="keywordflow">while</font> ( it_a != <a class="code" href="classNLAILOGIC_1_1CFactBase.html#o0">_Asserts</a>.end() )
+00161 {
+00162 os.<a class="code" href="classNLMISC_1_1IStream.html#a5">serial</a>( (<a class="code" href="classNLAIC_1_1CIdentType.html">NLAIC::CIdentType</a> &amp;) (*it_a)-&gt;getType() );
+00163 (*it_a)-&gt;save( os );
+00164 it_a++;
+00165 }
+00166 }
+00167
+<a name="l00168"></a><a class="code" href="classNLAILOGIC_1_1CFactBase.html#a11">00168</a> <font class="keywordtype">void</font> CFactBase::load(<a class="code" href="classNLMISC_1_1IStream.html">NLMISC::IStream</a> &amp;is)
+00169 {
+00170 IObjectIA::load( is );
+00171
+00172 <a class="code" href="types__nl_8h.html#a8">sint32</a> nb_asserts;
+00173 is.<a class="code" href="classNLMISC_1_1IStream.html#a5">serial</a>( nb_asserts );
+00174 <font class="keywordflow">for</font> (<a class="code" href="types__nl_8h.html#a8">sint32</a> i = 0; i &lt; nb_asserts; i++ )
+00175 {
+00176 <a class="code" href="classNLAIC_1_1CIdentTypeAlloc.html">NLAIC::CIdentTypeAlloc</a> <a class="code" href="driver__opengl__extension__def_8h.html#a223">id</a>;
+00177 is.<a class="code" href="classNLMISC_1_1IStream.html#a5">serial</a>( id );
+00178 IBaseAssert *tmp_val = (IBaseAssert *) id.<a class="code" href="classNLAIC_1_1CIdentTypeAlloc.html#a3">allocClass</a>();
+00179 tmp_val-&gt;load( is );
+00180 <a class="code" href="classNLAILOGIC_1_1CFactBase.html#o0">_Asserts</a>.push_back( tmp_val );
+00181 }
+00182 }
+00183
+<a name="l00184"></a><a class="code" href="classNLAILOGIC_1_1CFactBase.html#a12">00184</a> <font class="keywordtype">void</font> CFactBase::getDebugString(std::string &amp;txt)<font class="keyword"> const</font>
+00185 <font class="keyword"> </font>{
+00186 txt += <font class="stringliteral">"CFactBase"</font>;
+00187 }
+00188
+<a name="l00189"></a><a class="code" href="classNLAILOGIC_1_1CFactBase.html#a13">00189</a> <font class="keywordtype">bool</font> <a class="code" href="chain_8cpp.html#a2">CFactBase::isEqual</a>(<font class="keyword">const</font> IBasicObjectIA &amp;a)<font class="keyword"> const</font>
+00190 <font class="keyword"> </font>{
+00191 <font class="keywordflow">return</font> <font class="keyword">false</font>;
+00192 }
+00193
+<a name="l00194"></a><a class="code" href="classNLAILOGIC_1_1CFactBase.html#a14">00194</a> <font class="keyword">const</font> IObjectIA::CProcessResult &amp;CFactBase::run()
+00195 {
+00196 <font class="keywordflow">return</font> IObjectIA::ProcessRun;
+00197 }
+00198
+<a name="l00199"></a><a class="code" href="classNLAILOGIC_1_1CFactBase.html#a15">00199</a> <font class="keywordtype">bool</font> CFactBase::isTrue()<font class="keyword"> const</font>
+00200 <font class="keyword"> </font>{
+00201 <font class="keywordflow">return</font> <font class="keyword">false</font>;
+00202 }
+00203
+00204
+<a name="l00205"></a><a class="code" href="classNLAILOGIC_1_1CFactBase.html#a16">00205</a> <a class="code" href="classstd_1_1list.html">std::list&lt;CFact *&gt;</a> *CFactBase::getAssertFacts(IBaseAssert *a)
+00206 {
+00207 IBaseAssert *<a class="code" href="debug_8h.html#a15">assert</a> = <a class="code" href="classNLAILOGIC_1_1CFactBase.html#c0">findAssert</a>( a );
+00208 <font class="keywordflow">if</font> ( assert )
+00209 {
+00210 <font class="keywordflow">return</font> <a class="code" href="debug_8h.html#a15">assert</a>-&gt;getFacts();
+00211 }
+00212 <font class="keywordflow">return</font> NULL;
+00213 }
+00214
+<a name="l00215"></a><a class="code" href="classNLAILOGIC_1_1CFactBase.html#a6">00215</a> <font class="keywordtype">void</font> CFactBase::addAssert(IBaseAssert *a)
+00216 {
+00217 a-&gt;incRef();
+00218 <a class="code" href="classNLAILOGIC_1_1CFactBase.html#o0">_Asserts</a>.push_back(a);
+00219 }
+00220
+<a name="l00221"></a><a class="code" href="classNLAILOGIC_1_1CFactBase.html#a17">00221</a> <font class="keywordtype">void</font> CFactBase::addGoal(IVarName &amp;a_name , CValueSet *fp)
+00222 {
+00223 <a class="code" href="classNLAILOGIC_1_1CFactBase.html#a2">addFact</a>(a_name, fp);
+00224 }
+00225 }
+</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>