diff options
| author | neodarz <neodarz@neodarz.net> | 2018-08-11 20:21:34 +0200 |
|---|---|---|
| committer | neodarz <neodarz@neodarz.net> | 2018-08-11 20:21:34 +0200 |
| commit | 0ea5fc66924303d1bf73ba283a383e2aadee02f2 (patch) | |
| tree | 2568e71a7ccc44ec23b8bb3f0ff97fb6bf2ed709 /docs/doxygen/nel/factbase_8cpp-source.html | |
| download | nevrax-website-self-hostable-0ea5fc66924303d1bf73ba283a383e2aadee02f2.tar.xz nevrax-website-self-hostable-0ea5fc66924303d1bf73ba283a383e2aadee02f2.zip | |
Initial commit
Diffstat (limited to 'docs/doxygen/nel/factbase_8cpp-source.html')
| -rw-r--r-- | docs/doxygen/nel/factbase_8cpp-source.html | 299 |
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> <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>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 <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 <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()->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 &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 > 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<IBaseAssert *></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->getName() == (*it_a)->getName() +00063 && a->nbVars() == (*it_a)->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 &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<IBaseAssert *></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 )->getName() +00078 && nb_vars == (*it_a)->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->getAssertName(), f->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->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->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 &)f->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>->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 &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->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 &)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>->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->getAssert()); +00127 +00128 <font class="keywordflow">if</font> ( assert ) +00129 <a class="code" href="debug_8h.html#a15">assert</a>->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<IBaseAssert *></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->_Asserts.push_back( (IBaseAssert *) (*it_a)->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> &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> &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<IBaseAssert *></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> &) (*it_a)->getType() ); +00163 (*it_a)->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> &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 < 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->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 &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 &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 &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<CFact *></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>->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->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 &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> </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> |