diff options
Diffstat (limited to 'docs/doxygen/nel/class_NLAILOGIC__CFirstOrderAssert.html')
| -rw-r--r-- | docs/doxygen/nel/class_NLAILOGIC__CFirstOrderAssert.html | 1195 |
1 files changed, 1195 insertions, 0 deletions
diff --git a/docs/doxygen/nel/class_NLAILOGIC__CFirstOrderAssert.html b/docs/doxygen/nel/class_NLAILOGIC__CFirstOrderAssert.html new file mode 100644 index 00000000..6769e8be --- /dev/null +++ b/docs/doxygen/nel/class_NLAILOGIC__CFirstOrderAssert.html @@ -0,0 +1,1195 @@ +<!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.2 on Sat May 19 22:29:03 2001 --> +<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>NLAILOGIC::CFirstOrderAssert Class Reference</h1><code>#include <<a class="el" href="fo_assert_h-source.html">fo_assert.h</a>></code> +<p> +Inheritance diagram for NLAILOGIC::CFirstOrderAssert<p><center><img src="class_NLAILOGIC__CFirstOrderAssert_inherit_graph.gif" border="0" usemap="#NLAILOGIC::CFirstOrderAssert_inherit_map" alt="Inheritance graph"></center> +<map name="NLAILOGIC::CFirstOrderAssert_inherit_map"> +<area href="class_NLAILOGIC__IBaseAssert.html" shape="rect" coords="17,534,175,552"> +<area href="class_NLAIAGENT__IObjetOp.html" shape="rect" coords="23,467,169,486"> +<area href="class_NLAIAGENT__IObjectIA.html" shape="rect" coords="20,400,172,419"> +<area href="class_NLAIAGENT__IBasicObjectIA.html" shape="rect" coords="5,334,187,352"> +<area href="class_NLAIC__IBasicInterface.html" shape="rect" coords="25,267,167,286"> +<area href="class_NLAIC__IBasicType.html" shape="rect" coords="35,200,157,219"> +<area href="class_NLAIC__IPointerGestion.html" shape="rect" coords="24,134,168,152"> +<area href="class_NLMISC__IStreamable.html" shape="rect" coords="28,67,164,86"> +<area href="class_NLMISC__IClassable.html" shape="rect" coords="33,0,159,19"> +</map> +<center><font size="2">[<a href="graph_legend.html">legend</a>]</font></center>Collaboration diagram for NLAILOGIC::CFirstOrderAssert:<p><center><img src="class_NLAILOGIC__CFirstOrderAssert_coll_graph.gif" border="0" usemap="#NLAILOGIC::CFirstOrderAssert_coll_map" alt="Collaboration graph"></center> +<map name="NLAILOGIC::CFirstOrderAssert_coll_map"> +<area href="class_NLAILOGIC__IBaseAssert.html" shape="rect" coords="248,95,405,114"> +<area href="class_NLAILOGIC__CClause.html" shape="rect" coords="568,168,707,187"> +<area href="class_NLAIC__CIdentType.html" shape="rect" coords="0,183,125,202"> +<area href="class_NLAILOGIC__CValueSet.html" shape="rect" coords="252,268,401,287"> +</map> +<center><font size="2">[<a href="graph_legend.html">legend</a>]</font></center><a href="class_NLAILOGIC__CFirstOrderAssert-members.html">List of all members.</a><table border=0 cellpadding=0 cellspacing=0> +<tr><td colspan=2><br><h2>Public Methods</h2></td></tr> +<tr><td nowrap align=right valign=top> </td><td valign=bottom><a class="el" href="class_NLAILOGIC__CFirstOrderAssert.html#a0">CFirstOrderAssert</a> (const <a class="el" href="class_NLAIAGENT__IVarName.html">NLAIAGENT::IVarName</a> &n, <a class="el" href="types_nl_h.html#a8">sint32</a> nb_vars = 0)</td></tr> +<tr><td nowrap align=right valign=top> </td><td valign=bottom><a class="el" href="class_NLAILOGIC__CFirstOrderAssert.html#a1">CFirstOrderAssert</a> (const CFirstOrderAssert &)</td></tr> +<tr><td nowrap align=right valign=top>virtual </td><td valign=bottom><a class="el" href="class_NLAILOGIC__CFirstOrderAssert.html#a2">~CFirstOrderAssert</a> ()</td></tr> +<tr><td nowrap align=right valign=top>void </td><td valign=bottom><a class="el" href="class_NLAILOGIC__CFirstOrderAssert.html#a3">connectClause</a> (<a class="el" href="class_NLAILOGIC__CClause.html">CClause</a> *, std::vector<<a class="el" href="types_nl_h.html#a8">sint32</a>> &)</td></tr> +<tr><td nowrap align=right valign=top>void </td><td valign=bottom><a class="el" href="class_NLAILOGIC__CFirstOrderAssert.html#a4">addFact</a> (<a class="el" href="class_NLAILOGIC__CVarSet.html">CVarSet</a> *f)</td></tr> +<tr><td nowrap align=right valign=top>void </td><td valign=bottom><a class="el" href="class_NLAILOGIC__CFirstOrderAssert.html#a5">addFact</a> (<a class="el" href="class_NLAILOGIC__CValueSet.html">CValueSet</a> *)</td></tr> +<tr><td nowrap align=right valign=top>void </td><td valign=bottom><a class="el" href="class_NLAILOGIC__CFirstOrderAssert.html#a6">removeFact</a> (<a class="el" href="class_NLAILOGIC__CFact.html">CFact</a> *f)</td></tr> +<tr><td nowrap align=right valign=top>void </td><td valign=bottom><a class="el" href="class_NLAILOGIC__CFirstOrderAssert.html#a7">addClause</a> (<a class="el" href="class_NLAILOGIC__CClause.html">CClause</a> *<a class="el" href="class_NLAILOGIC__CClause.html">CClause</a>, std::vector<<a class="el" href="types_nl_h.html#a8">sint32</a>> &posvars)</td></tr> +<tr><td nowrap align=right valign=top>const std::vector<<a class="el" href="class_NLAILOGIC__CClause.html">CClause</a> *>& </td><td valign=bottom><a class="el" href="class_NLAILOGIC__CFirstOrderAssert.html#a8">getClauses</a> ()</td></tr> +<tr><td nowrap align=right valign=top>void </td><td valign=bottom><a class="el" href="class_NLAILOGIC__CFirstOrderAssert.html#a9">addInput</a> (<a class="el" href="class_NLAILOGIC__CClause.html">CClause</a> *, std::vector<<a class="el" href="types_nl_h.html#a8">sint32</a>> &posvars )</td></tr> +<tr><td nowrap align=right valign=top>virtual const <a class="el" href="class_NLAIC__IBasicType.html">NLAIC::IBasicType</a>* </td><td valign=bottom><a class="el" href="class_NLAILOGIC__CFirstOrderAssert.html#a10">clone</a> () const</td></tr> +<tr><td> </td><td><font size=-1><em>This function allow a pointer copy, that mean that the new class have the sam attributs caracteristics as the owne.</em> <a href="#a10">More...</a><em></em></font><br><br></td></tr> +<tr><td nowrap align=right valign=top>virtual const <a class="el" href="class_NLAIC__IBasicType.html">NLAIC::IBasicType</a>* </td><td valign=bottom><a class="el" href="class_NLAILOGIC__CFirstOrderAssert.html#a11">newInstance</a> () const</td></tr> +<tr><td> </td><td><font size=-1><em>This function allow a new instance, that mean that the class is a class factory.</em> <a href="#a11">More...</a><em></em></font><br><br></td></tr> +<tr><td nowrap align=right valign=top>virtual void </td><td valign=bottom><a class="el" href="class_NLAILOGIC__CFirstOrderAssert.html#a12">save</a> (<a class="el" href="class_NLMISC__IStream.html">NLMISC::IStream</a> &os)</td></tr> +<tr><td> </td><td><font size=-1><em>Save the class in a stream.</em> <a href="#a12">More...</a><em></em></font><br><br></td></tr> +<tr><td nowrap align=right valign=top>virtual void </td><td valign=bottom><a class="el" href="class_NLAILOGIC__CFirstOrderAssert.html#a13">load</a> (<a class="el" href="class_NLMISC__IStream.html">NLMISC::IStream</a> &is)</td></tr> +<tr><td> </td><td><font size=-1><em>Load the class from a stream.</em> <a href="#a13">More...</a><em></em></font><br><br></td></tr> +<tr><td nowrap align=right valign=top>virtual void </td><td valign=bottom><a class="el" href="class_NLAILOGIC__CFirstOrderAssert.html#a14">getDebugString</a> (char *text) const</td></tr> +<tr><td> </td><td><font size=-1><em>This is a Debug function, text is an character pointer to receive the debug text output, the debug text containe all think sensible to interset user.</em> <a href="#a14">More...</a><em></em></font><br><br></td></tr> +<tr><td nowrap align=right valign=top>bool </td><td valign=bottom><a class="el" href="class_NLAILOGIC__CFirstOrderAssert.html#a15">isEqual</a> (const <a class="el" href="class_NLAIAGENT__IBasicObjectIA.html">NLAIAGENT::IBasicObjectIA</a> &a) const</td></tr> +<tr><td nowrap align=right valign=top>virtual bool </td><td valign=bottom><a class="el" href="class_NLAILOGIC__CFirstOrderAssert.html#a16">isEqual</a> (const CFirstOrderAssert &) const</td></tr> +<tr><td nowrap align=right valign=top>virtual const IObjectIA::CProcessResult& </td><td valign=bottom><a class="el" href="class_NLAILOGIC__CFirstOrderAssert.html#a17">run</a> ()</td></tr> +<tr><td> </td><td><font size=-1><em>Some where Run method define the process of the agen.</em> <a href="#a17">More...</a><em></em></font><br><br></td></tr> +<tr><td nowrap align=right valign=top>virtual bool </td><td valign=bottom><a class="el" href="class_NLAILOGIC__CFirstOrderAssert.html#a18">isTrue</a> () const</td></tr> +<tr><td> </td><td><font size=-1><em>throw (<a class="el" href="class_NLAIE__CExceptionNotImplemented.html">NLAIE::CExceptionNotImplemented</a>).</em> <a href="#a18">More...</a><em></em></font><br><br></td></tr> +<tr><td nowrap align=right valign=top>virtual const <a class="el" href="class_NLAIC__CIdentType.html">NLAIC::CIdentType</a>& </td><td valign=bottom><a class="el" href="class_NLAILOGIC__CFirstOrderAssert.html#a19">getType</a> () const</td></tr> +<tr><td> </td><td><font size=-1><em>getType return a unique string how represente the class, it can be the name of the class.</em> <a href="#a19">More...</a><em></em></font><br><br></td></tr> +<tr><td nowrap align=right valign=top>virtual void </td><td valign=bottom><a class="el" href="class_NLAILOGIC__CFirstOrderAssert.html#a20">init</a> (<a class="el" href="class_NLAIAGENT__IObjectIA.html">NLAIAGENT::IObjectIA</a> *)</td></tr> +<tr><td> </td><td><font size=-1><em>Init method alows to init the attribut of an object.</em> <a href="#a20">More...</a><em></em></font><br><br></td></tr> +<tr><td nowrap align=right valign=top>virtual <a class="el" href="types_nl_h.html#a8">sint32</a> </td><td valign=bottom><a class="el" href="class_NLAILOGIC__CFirstOrderAssert.html#a21">nbVars</a> () const</td></tr> +<tr><td nowrap align=right valign=top>void </td><td valign=bottom><a class="el" href="class_NLAILOGIC__CFirstOrderAssert.html#a22">backward</a> (<a class="el" href="class_NLAILOGIC__CValueSet.html">CValueSet</a> *, std::list<<a class="el" href="class_NLAILOGIC__CValueSet.html">CValueSet</a> *> &)</td></tr> +<tr><td nowrap align=right valign=top>std::list<<a class="el" href="class_NLAILOGIC__CFact.html">CFact</a> *>* </td><td valign=bottom><a class="el" href="class_NLAILOGIC__CFirstOrderAssert.html#a23">backward</a> (<a class="el" href="class_NLAILOGIC__CFact.html">CFact</a> *)</td></tr> +<tr><td nowrap align=right valign=top>std::list<<a class="el" href="class_NLAILOGIC__CFact.html">CFact</a> *>* </td><td valign=bottom><a class="el" href="class_NLAILOGIC__CFirstOrderAssert.html#a24">getFacts</a> () const</td></tr> +<tr><td colspan=2><br><h2>Static Public Attributes</h2></td></tr> +<tr><td nowrap align=right valign=top>const <a class="el" href="class_NLAIC__CIdentType.html">NLAIC::CIdentType</a> </td><td valign=bottom><a class="el" href="class_NLAILOGIC__CFirstOrderAssert.html#p0">IdFirstOrderAssert</a></td></tr> +<tr><td colspan=2><br><h2>Private Methods</h2></td></tr> +<tr><td nowrap align=right valign=top><a class="el" href="types_nl_h.html#a8">sint32</a> </td><td valign=bottom><a class="el" href="class_NLAILOGIC__CFirstOrderAssert.html#c0">findAssert</a> (<a class="el" href="class_NLAILOGIC__IBaseAssert.html">IBaseAssert</a> *)</td></tr> +<tr><td colspan=2><br><h2>Private Attributes</h2></td></tr> +<tr><td nowrap align=right valign=top>std::vector< std::vector<<a class="el" href="types_nl_h.html#a8">sint32</a>> > </td><td valign=bottom><a class="el" href="class_NLAILOGIC__CFirstOrderAssert.html#o0">_PosVars</a></td></tr> +<tr><td nowrap align=right valign=top>std::list<<a class="el" href="class_NLAILOGIC__CValueSet.html">CValueSet</a> *> </td><td valign=bottom><a class="el" href="class_NLAILOGIC__CFirstOrderAssert.html#o1">_Facts</a></td></tr> +<tr><td nowrap align=right valign=top><a class="el" href="types_nl_h.html#a8">sint32</a> </td><td valign=bottom><a class="el" href="class_NLAILOGIC__CFirstOrderAssert.html#o2">_NbVars</a></td></tr> +<tr><td nowrap align=right valign=top>std::vector<<a class="el" href="class_NLAILOGIC__CClause.html">CClause</a> *> </td><td valign=bottom><a class="el" href="class_NLAILOGIC__CFirstOrderAssert.html#o3">_Clauses</a></td></tr> +<tr><td nowrap align=right valign=top>std::vector< std::vector<<a class="el" href="types_nl_h.html#a8">sint32</a>> > </td><td valign=bottom><a class="el" href="class_NLAILOGIC__CFirstOrderAssert.html#o4">_PosVarsInputs</a></td></tr> +</table> +<hr><h2>Constructor & Destructor Documentation</h2> +<a name="a0" doxytag="NLAILOGIC::CFirstOrderAssert::CFirstOrderAssert"></a><p> +<table width="100%" cellpadding="2" cellspacing="0" border="0"> + <tr> + <td class="md"> + <table cellpadding="0" cellspacing="0" border="0"> + <tr> + <td nowrap valign="top"><b> +NLAILOGIC::CFirstOrderAssert::CFirstOrderAssert ( + </b></td> + <td valign="bottom"><b> +const <a class="el" href="class_NLAIAGENT__IVarName.html">NLAIAGENT::IVarName</a> & <em>n</em>, + </b></td> + </tr> + <tr> + <td></td> + <td><b> +<a class="el" href="types_nl_h.html#a8">sint32</a> <em>nb_vars</em> = 0 ) + </b></td> + </tr> + + </table> + </td> + </tr> +</table> +<table cellspacing=5 cellpadding=0 border=0> + <tr> + <td> + + </td> + <td> + +<p> + </td> + </tr> +</table> +<a name="a1" doxytag="NLAILOGIC::CFirstOrderAssert::CFirstOrderAssert"></a><p> +<table width="100%" cellpadding="2" cellspacing="0" border="0"> + <tr> + <td class="md"> + <table cellpadding="0" cellspacing="0" border="0"> + <tr> + <td nowrap valign="top"><b> +NLAILOGIC::CFirstOrderAssert::CFirstOrderAssert ( + </b></td> + <td valign="bottom"><b> +const CFirstOrderAssert & <em>cp</em> ) + </b></td> + </tr> + + </table> + </td> + </tr> +</table> +<table cellspacing=5 cellpadding=0 border=0> + <tr> + <td> + + </td> + <td> + +<p> + +<p> +Definition at line <a class="el" href="fo_assert_cpp-source.html#l00042">42</a> of file <a class="el" href="fo_assert_cpp-source.html">fo_assert.cpp</a>. </td> + </tr> +</table> +<a name="a2" doxytag="NLAILOGIC::CFirstOrderAssert::~CFirstOrderAssert"></a><p> +<table width="100%" cellpadding="2" cellspacing="0" border="0"> + <tr> + <td class="md"> + <table cellpadding="0" cellspacing="0" border="0"> + <tr> + <td nowrap valign="top"><b> +NLAILOGIC::CFirstOrderAssert::~CFirstOrderAssert ( + </b></td> + <td valign="bottom"><b> +)<code> [virtual]</code> + </b></td> + </tr> + + </table> + </td> + </tr> +</table> +<table cellspacing=5 cellpadding=0 border=0> + <tr> + <td> + + </td> + <td> + +<p> + +<p> +Definition at line <a class="el" href="fo_assert_cpp-source.html#l00052">52</a> of file <a class="el" href="fo_assert_cpp-source.html">fo_assert.cpp</a>. </td> + </tr> +</table> +<hr><h2>Member Function Documentation</h2> +<a name="a7" doxytag="NLAILOGIC::CFirstOrderAssert::addClause"></a><p> +<table width="100%" cellpadding="2" cellspacing="0" border="0"> + <tr> + <td class="md"> + <table cellpadding="0" cellspacing="0" border="0"> + <tr> + <td nowrap valign="top"><b> +void NLAILOGIC::CFirstOrderAssert::addClause ( + </b></td> + <td valign="bottom"><b> +<a class="el" href="class_NLAILOGIC__CClause.html">CClause</a> * <em>clause</em>, + </b></td> + </tr> + <tr> + <td></td> + <td><b> +std::vector< <a class="el" href="types_nl_h.html#a8">sint32</a> >& <em>posvars</em> ) + </b></td> + </tr> + + </table> + </td> + </tr> +</table> +<table cellspacing=5 cellpadding=0 border=0> + <tr> + <td> + + </td> + <td> + +<p> + +<p> +Definition at line <a class="el" href="fo_assert_cpp-source.html#l00119">119</a> of file <a class="el" href="fo_assert_cpp-source.html">fo_assert.cpp</a>. </td> + </tr> +</table> +<a name="a5" doxytag="NLAILOGIC::CFirstOrderAssert::addFact"></a><p> +<table width="100%" cellpadding="2" cellspacing="0" border="0"> + <tr> + <td class="md"> + <table cellpadding="0" cellspacing="0" border="0"> + <tr> + <td nowrap valign="top"><b> +void NLAILOGIC::CFirstOrderAssert::addFact ( + </b></td> + <td valign="bottom"><b> +<a class="el" href="class_NLAILOGIC__CValueSet.html">CValueSet</a> * <em>f</em> )<code> [virtual]</code> + </b></td> + </tr> + + </table> + </td> + </tr> +</table> +<table cellspacing=5 cellpadding=0 border=0> + <tr> + <td> + + </td> + <td> + +<p> + +<p> +Reimplemented from <a class="el" href="class_NLAILOGIC__IBaseAssert.html#a2">NLAILOGIC::IBaseAssert</a>. +<p> +Definition at line <a class="el" href="fo_assert_cpp-source.html#l00081">81</a> of file <a class="el" href="fo_assert_cpp-source.html">fo_assert.cpp</a>. </td> + </tr> +</table> +<a name="a4" doxytag="NLAILOGIC::CFirstOrderAssert::addFact"></a><p> +<table width="100%" cellpadding="2" cellspacing="0" border="0"> + <tr> + <td class="md"> + <table cellpadding="0" cellspacing="0" border="0"> + <tr> + <td nowrap valign="top"><b> +void NLAILOGIC::CFirstOrderAssert::addFact ( + </b></td> + <td valign="bottom"><b> +<a class="el" href="class_NLAILOGIC__CVarSet.html">CVarSet</a> * <em>f</em> )<code> [virtual]</code> + </b></td> + </tr> + + </table> + </td> + </tr> +</table> +<table cellspacing=5 cellpadding=0 border=0> + <tr> + <td> + + </td> + <td> + +<p> + +<p> +Reimplemented from <a class="el" href="class_NLAILOGIC__IBaseAssert.html#a3">NLAILOGIC::IBaseAssert</a>. +<p> +Definition at line <a class="el" href="fo_assert_cpp-source.html#l00065">65</a> of file <a class="el" href="fo_assert_cpp-source.html">fo_assert.cpp</a>. </td> + </tr> +</table> +<a name="a9" doxytag="NLAILOGIC::CFirstOrderAssert::addInput"></a><p> +<table width="100%" cellpadding="2" cellspacing="0" border="0"> + <tr> + <td class="md"> + <table cellpadding="0" cellspacing="0" border="0"> + <tr> + <td nowrap valign="top"><b> +void NLAILOGIC::CFirstOrderAssert::addInput ( + </b></td> + <td valign="bottom"><b> +<a class="el" href="class_NLAILOGIC__CClause.html">CClause</a> * <em>clause</em>, + </b></td> + </tr> + <tr> + <td></td> + <td><b> +std::vector< <a class="el" href="types_nl_h.html#a8">sint32</a> >& <em>posvars</em> ) + </b></td> + </tr> + + </table> + </td> + </tr> +</table> +<table cellspacing=5 cellpadding=0 border=0> + <tr> + <td> + + </td> + <td> + +<p> + +<p> +Definition at line <a class="el" href="fo_assert_cpp-source.html#l00178">178</a> of file <a class="el" href="fo_assert_cpp-source.html">fo_assert.cpp</a>. </td> + </tr> +</table> +<a name="a23" doxytag="NLAILOGIC::CFirstOrderAssert::backward"></a><p> +<table width="100%" cellpadding="2" cellspacing="0" border="0"> + <tr> + <td class="md"> + <table cellpadding="0" cellspacing="0" border="0"> + <tr> + <td nowrap valign="top"><b> +std::list< <a class="el" href="class_NLAILOGIC__CFact.html">CFact</a> *>* NLAILOGIC::CFirstOrderAssert::backward ( + </b></td> + <td valign="bottom"><b> +<a class="el" href="class_NLAILOGIC__CFact.html">CFact</a> * <em>fact</em> ) + </b></td> + </tr> + + </table> + </td> + </tr> +</table> +<table cellspacing=5 cellpadding=0 border=0> + <tr> + <td> + + </td> + <td> + +<p> + +<p> +Definition at line <a class="el" href="fo_assert_cpp-source.html#l00234">234</a> of file <a class="el" href="fo_assert_cpp-source.html">fo_assert.cpp</a>. </td> + </tr> +</table> +<a name="a22" doxytag="NLAILOGIC::CFirstOrderAssert::backward"></a><p> +<table width="100%" cellpadding="2" cellspacing="0" border="0"> + <tr> + <td class="md"> + <table cellpadding="0" cellspacing="0" border="0"> + <tr> + <td nowrap valign="top"><b> +void NLAILOGIC::CFirstOrderAssert::backward ( + </b></td> + <td valign="bottom"><b> +<a class="el" href="class_NLAILOGIC__CValueSet.html">CValueSet</a> * <em>vs</em>, + </b></td> + </tr> + <tr> + <td></td> + <td><b> +std::list< <a class="el" href="class_NLAILOGIC__CValueSet.html">CValueSet</a> *>& <em>bindings</em> ) + </b></td> + </tr> + + </table> + </td> + </tr> +</table> +<table cellspacing=5 cellpadding=0 border=0> + <tr> + <td> + + </td> + <td> + +<p> + +<p> +Definition at line <a class="el" href="fo_assert_cpp-source.html#l00213">213</a> of file <a class="el" href="fo_assert_cpp-source.html">fo_assert.cpp</a>. </td> + </tr> +</table> +<a name="a10" doxytag="NLAILOGIC::CFirstOrderAssert::clone"></a><p> +<table width="100%" cellpadding="2" cellspacing="0" border="0"> + <tr> + <td class="md"> + <table cellpadding="0" cellspacing="0" border="0"> + <tr> + <td nowrap valign="top"><b> +const <a class="el" href="class_NLAIC__IBasicType.html">NLAIC::IBasicType</a> * NLAILOGIC::CFirstOrderAssert::clone ( + </b></td> + <td valign="bottom"><b> +void ) const<code> [virtual]</code> + </b></td> + </tr> + + </table> + </td> + </tr> +</table> +<table cellspacing=5 cellpadding=0 border=0> + <tr> + <td> + + </td> + <td> + +<p> +This function allow a pointer copy, that mean that the new class have the sam attributs caracteristics as the owne. +<p> + +<p> +Reimplemented from <a class="el" href="class_NLAIC__IBasicType.html#a3">NLAIC::IBasicType</a>. +<p> +Definition at line <a class="el" href="fo_assert_cpp-source.html#l00132">132</a> of file <a class="el" href="fo_assert_cpp-source.html">fo_assert.cpp</a>. </td> + </tr> +</table> +<a name="a3" doxytag="NLAILOGIC::CFirstOrderAssert::connectClause"></a><p> +<table width="100%" cellpadding="2" cellspacing="0" border="0"> + <tr> + <td class="md"> + <table cellpadding="0" cellspacing="0" border="0"> + <tr> + <td nowrap valign="top"><b> +void NLAILOGIC::CFirstOrderAssert::connectClause ( + </b></td> + <td valign="bottom"><b> +<a class="el" href="class_NLAILOGIC__CClause.html">CClause</a> *, + </b></td> + </tr> + <tr> + <td></td> + <td><b> +std::vector< <a class="el" href="types_nl_h.html#a8">sint32</a> >& ) + </b></td> + </tr> + + </table> + </td> + </tr> +</table> +<table cellspacing=5 cellpadding=0 border=0> + <tr> + <td> + + </td> + <td> + +<p> + +<p> +Definition at line <a class="el" href="fo_assert_cpp-source.html#l00061">61</a> of file <a class="el" href="fo_assert_cpp-source.html">fo_assert.cpp</a>. </td> + </tr> +</table> +<a name="c0" doxytag="NLAILOGIC::CFirstOrderAssert::findAssert"></a><p> +<table width="100%" cellpadding="2" cellspacing="0" border="0"> + <tr> + <td class="md"> + <table cellpadding="0" cellspacing="0" border="0"> + <tr> + <td nowrap valign="top"><b> +<a class="el" href="types_nl_h.html#a8">sint32</a> NLAILOGIC::CFirstOrderAssert::findAssert ( + </b></td> + <td valign="bottom"><b> +<a class="el" href="class_NLAILOGIC__IBaseAssert.html">IBaseAssert</a> * )<code> [private]</code> + </b></td> + </tr> + + </table> + </td> + </tr> +</table> +<table cellspacing=5 cellpadding=0 border=0> + <tr> + <td> + + </td> + <td> + +<p> + </td> + </tr> +</table> +<a name="a8" doxytag="NLAILOGIC::CFirstOrderAssert::getClauses"></a><p> +<table width="100%" cellpadding="2" cellspacing="0" border="0"> + <tr> + <td class="md"> + <table cellpadding="0" cellspacing="0" border="0"> + <tr> + <td nowrap valign="top"><b> +const std::vector< <a class="el" href="class_NLAILOGIC__CClause.html">CClause</a> *>& NLAILOGIC::CFirstOrderAssert::getClauses ( + </b></td> + <td valign="bottom"><b> +) + </b></td> + </tr> + + </table> + </td> + </tr> +</table> +<table cellspacing=5 cellpadding=0 border=0> + <tr> + <td> + + </td> + <td> + +<p> + +<p> +Definition at line <a class="el" href="fo_assert_cpp-source.html#l00191">191</a> of file <a class="el" href="fo_assert_cpp-source.html">fo_assert.cpp</a>. </td> + </tr> +</table> +<a name="a14" doxytag="NLAILOGIC::CFirstOrderAssert::getDebugString"></a><p> +<table width="100%" cellpadding="2" cellspacing="0" border="0"> + <tr> + <td class="md"> + <table cellpadding="0" cellspacing="0" border="0"> + <tr> + <td nowrap valign="top"><b> +void NLAILOGIC::CFirstOrderAssert::getDebugString ( + </b></td> + <td valign="bottom"><b> +char * <em>text</em> ) const<code> [virtual]</code> + </b></td> + </tr> + + </table> + </td> + </tr> +</table> +<table cellspacing=5 cellpadding=0 border=0> + <tr> + <td> + + </td> + <td> + +<p> +This is a Debug function, text is an character pointer to receive the debug text output, the debug text containe all think sensible to interset user. +<p> + +<p> +Reimplemented from <a class="el" href="class_NLAIC__IBasicType.html#a5">NLAIC::IBasicType</a>. +<p> +Definition at line <a class="el" href="fo_assert_cpp-source.html#l00151">151</a> of file <a class="el" href="fo_assert_cpp-source.html">fo_assert.cpp</a>. </td> + </tr> +</table> +<a name="a24" doxytag="NLAILOGIC::CFirstOrderAssert::getFacts"></a><p> +<table width="100%" cellpadding="2" cellspacing="0" border="0"> + <tr> + <td class="md"> + <table cellpadding="0" cellspacing="0" border="0"> + <tr> + <td nowrap valign="top"><b> +std::list< <a class="el" href="class_NLAILOGIC__CFact.html">CFact</a> *>* NLAILOGIC::CFirstOrderAssert::getFacts ( + </b></td> + <td valign="bottom"><b> +) const<code> [virtual]</code> + </b></td> + </tr> + + </table> + </td> + </tr> +</table> +<table cellspacing=5 cellpadding=0 border=0> + <tr> + <td> + + </td> + <td> + +<p> + +<p> +Reimplemented from <a class="el" href="class_NLAILOGIC__IBaseAssert.html#a13">NLAILOGIC::IBaseAssert</a>. +<p> +Definition at line <a class="el" href="fo_assert_cpp-source.html#l00274">274</a> of file <a class="el" href="fo_assert_cpp-source.html">fo_assert.cpp</a>. </td> + </tr> +</table> +<a name="a19" doxytag="NLAILOGIC::CFirstOrderAssert::getType"></a><p> +<table width="100%" cellpadding="2" cellspacing="0" border="0"> + <tr> + <td class="md"> + <table cellpadding="0" cellspacing="0" border="0"> + <tr> + <td nowrap valign="top"><b> +const <a class="el" href="class_NLAIC__CIdentType.html">NLAIC::CIdentType</a> & NLAILOGIC::CFirstOrderAssert::getType ( + </b></td> + <td valign="bottom"><b> +void ) const<code> [virtual]</code> + </b></td> + </tr> + + </table> + </td> + </tr> +</table> +<table cellspacing=5 cellpadding=0 border=0> + <tr> + <td> + + </td> + <td> + +<p> +getType return a unique string how represente the class, it can be the name of the class. +<p> +This function is used for the sytem regstry class (see the definition of the template class Gen::CRegistry). +<p> +Reimplemented from <a class="el" href="class_NLAILOGIC__IBaseAssert.html#a11">NLAILOGIC::IBaseAssert</a>. +<p> +Definition at line <a class="el" href="fo_assert_cpp-source.html#l00196">196</a> of file <a class="el" href="fo_assert_cpp-source.html">fo_assert.cpp</a>. </td> + </tr> +</table> +<a name="a20" doxytag="NLAILOGIC::CFirstOrderAssert::init"></a><p> +<table width="100%" cellpadding="2" cellspacing="0" border="0"> + <tr> + <td class="md"> + <table cellpadding="0" cellspacing="0" border="0"> + <tr> + <td nowrap valign="top"><b> +void NLAILOGIC::CFirstOrderAssert::init ( + </b></td> + <td valign="bottom"><b> +IObjectIA * <em>params</em> )<code> [virtual]</code> + </b></td> + </tr> + + </table> + </td> + </tr> +</table> +<table cellspacing=5 cellpadding=0 border=0> + <tr> + <td> + + </td> + <td> + +<p> +Init method alows to init the attribut of an object. +<p> +the maparmetre is in more time a list of IObjectIA. +<p> +Reimplemented from <a class="el" href="class_NLAIAGENT__IObjectIA.html#a1">NLAIAGENT::IObjectIA</a>. +<p> +Definition at line <a class="el" href="fo_assert_cpp-source.html#l00201">201</a> of file <a class="el" href="fo_assert_cpp-source.html">fo_assert.cpp</a>. </td> + </tr> +</table> +<a name="a16" doxytag="NLAILOGIC::CFirstOrderAssert::isEqual"></a><p> +<table width="100%" cellpadding="2" cellspacing="0" border="0"> + <tr> + <td class="md"> + <table cellpadding="0" cellspacing="0" border="0"> + <tr> + <td nowrap valign="top"><b> +bool NLAILOGIC::CFirstOrderAssert::isEqual ( + </b></td> + <td valign="bottom"><b> +const CFirstOrderAssert & <em>a</em> ) const<code> [virtual]</code> + </b></td> + </tr> + + </table> + </td> + </tr> +</table> +<table cellspacing=5 cellpadding=0 border=0> + <tr> + <td> + + </td> + <td> + +<p> + +<p> +Definition at line <a class="el" href="fo_assert_cpp-source.html#l00158">158</a> of file <a class="el" href="fo_assert_cpp-source.html">fo_assert.cpp</a>. </td> + </tr> +</table> +<a name="a15" doxytag="NLAILOGIC::CFirstOrderAssert::isEqual"></a><p> +<table width="100%" cellpadding="2" cellspacing="0" border="0"> + <tr> + <td class="md"> + <table cellpadding="0" cellspacing="0" border="0"> + <tr> + <td nowrap valign="top"><b> +bool NLAILOGIC::CFirstOrderAssert::isEqual ( + </b></td> + <td valign="bottom"><b> +const <a class="el" href="class_NLAIAGENT__IBasicObjectIA.html">NLAIAGENT::IBasicObjectIA</a> & <em>a</em> ) const + </b></td> + </tr> + + </table> + </td> + </tr> +</table> +<table cellspacing=5 cellpadding=0 border=0> + <tr> + <td> + + </td> + <td> + +<p> + </td> + </tr> +</table> +<a name="a18" doxytag="NLAILOGIC::CFirstOrderAssert::isTrue"></a><p> +<table width="100%" cellpadding="2" cellspacing="0" border="0"> + <tr> + <td class="md"> + <table cellpadding="0" cellspacing="0" border="0"> + <tr> + <td nowrap valign="top"><b> +bool NLAILOGIC::CFirstOrderAssert::isTrue ( + </b></td> + <td valign="bottom"><b> +) const<code> [virtual]</code> + </b></td> + </tr> + + </table> + </td> + </tr> +</table> +<table cellspacing=5 cellpadding=0 border=0> + <tr> + <td> + + </td> + <td> + +<p> +throw (<a class="el" href="class_NLAIE__CExceptionNotImplemented.html">NLAIE::CExceptionNotImplemented</a>). +<p> + +<p> +Reimplemented from <a class="el" href="class_NLAIAGENT__IObjetOp.html#a21">NLAIAGENT::IObjetOp</a>. +<p> +Definition at line <a class="el" href="fo_assert_cpp-source.html#l00173">173</a> of file <a class="el" href="fo_assert_cpp-source.html">fo_assert.cpp</a>. </td> + </tr> +</table> +<a name="a13" doxytag="NLAILOGIC::CFirstOrderAssert::load"></a><p> +<table width="100%" cellpadding="2" cellspacing="0" border="0"> + <tr> + <td class="md"> + <table cellpadding="0" cellspacing="0" border="0"> + <tr> + <td nowrap valign="top"><b> +void NLAILOGIC::CFirstOrderAssert::load ( + </b></td> + <td valign="bottom"><b> +<a class="el" href="class_NLMISC__IStream.html">NLMISC::IStream</a> & <em>is</em> )<code> [virtual]</code> + </b></td> + </tr> + + </table> + </td> + </tr> +</table> +<table cellspacing=5 cellpadding=0 border=0> + <tr> + <td> + + </td> + <td> + +<p> +Load the class from a stream. +<p> + +<p> +Reimplemented from <a class="el" href="class_NLAIC__IBasicInterface.html#a5">NLAIC::IBasicInterface</a>. +<p> +Definition at line <a class="el" href="fo_assert_cpp-source.html#l00147">147</a> of file <a class="el" href="fo_assert_cpp-source.html">fo_assert.cpp</a>. </td> + </tr> +</table> +<a name="a21" doxytag="NLAILOGIC::CFirstOrderAssert::nbVars"></a><p> +<table width="100%" cellpadding="2" cellspacing="0" border="0"> + <tr> + <td class="md"> + <table cellpadding="0" cellspacing="0" border="0"> + <tr> + <td nowrap valign="top"><b> +<a class="el" href="types_nl_h.html#a8">sint32</a> NLAILOGIC::CFirstOrderAssert::nbVars ( + </b></td> + <td valign="bottom"><b> +) const<code> [virtual]</code> + </b></td> + </tr> + + </table> + </td> + </tr> +</table> +<table cellspacing=5 cellpadding=0 border=0> + <tr> + <td> + + </td> + <td> + +<p> + +<p> +Reimplemented from <a class="el" href="class_NLAILOGIC__IBaseAssert.html#a12">NLAILOGIC::IBaseAssert</a>. +<p> +Definition at line <a class="el" href="fo_assert_cpp-source.html#l00208">208</a> of file <a class="el" href="fo_assert_cpp-source.html">fo_assert.cpp</a>. </td> + </tr> +</table> +<a name="a11" doxytag="NLAILOGIC::CFirstOrderAssert::newInstance"></a><p> +<table width="100%" cellpadding="2" cellspacing="0" border="0"> + <tr> + <td class="md"> + <table cellpadding="0" cellspacing="0" border="0"> + <tr> + <td nowrap valign="top"><b> +const <a class="el" href="class_NLAIC__IBasicType.html">NLAIC::IBasicType</a> * NLAILOGIC::CFirstOrderAssert::newInstance ( + </b></td> + <td valign="bottom"><b> +void ) const<code> [virtual]</code> + </b></td> + </tr> + + </table> + </td> + </tr> +</table> +<table cellspacing=5 cellpadding=0 border=0> + <tr> + <td> + + </td> + <td> + +<p> +This function allow a new instance, that mean that the class is a class factory. +<p> + +<p> +Reimplemented from <a class="el" href="class_NLAIC__IBasicType.html#a4">NLAIC::IBasicType</a>. +<p> +Definition at line <a class="el" href="fo_assert_cpp-source.html#l00138">138</a> of file <a class="el" href="fo_assert_cpp-source.html">fo_assert.cpp</a>. </td> + </tr> +</table> +<a name="a6" doxytag="NLAILOGIC::CFirstOrderAssert::removeFact"></a><p> +<table width="100%" cellpadding="2" cellspacing="0" border="0"> + <tr> + <td class="md"> + <table cellpadding="0" cellspacing="0" border="0"> + <tr> + <td nowrap valign="top"><b> +void NLAILOGIC::CFirstOrderAssert::removeFact ( + </b></td> + <td valign="bottom"><b> +<a class="el" href="class_NLAILOGIC__CFact.html">CFact</a> * <em>f</em> )<code> [virtual]</code> + </b></td> + </tr> + + </table> + </td> + </tr> +</table> +<table cellspacing=5 cellpadding=0 border=0> + <tr> + <td> + + </td> + <td> + +<p> + +<p> +Reimplemented from <a class="el" href="class_NLAILOGIC__IBaseAssert.html#a4">NLAILOGIC::IBaseAssert</a>. +<p> +Definition at line <a class="el" href="fo_assert_cpp-source.html#l00095">95</a> of file <a class="el" href="fo_assert_cpp-source.html">fo_assert.cpp</a>. </td> + </tr> +</table> +<a name="a17" doxytag="NLAILOGIC::CFirstOrderAssert::run"></a><p> +<table width="100%" cellpadding="2" cellspacing="0" border="0"> + <tr> + <td class="md"> + <table cellpadding="0" cellspacing="0" border="0"> + <tr> + <td nowrap valign="top"><b> +const IObjectIA::CProcessResult & NLAILOGIC::CFirstOrderAssert::run ( + </b></td> + <td valign="bottom"><b> +void )<code> [virtual]</code> + </b></td> + </tr> + + </table> + </td> + </tr> +</table> +<table cellspacing=5 cellpadding=0 border=0> + <tr> + <td> + + </td> + <td> + +<p> +Some where Run method define the process of the agen. +<p> + +<p> +Reimplemented from <a class="el" href="class_NLAIAGENT__IObjectIA.html#a3">NLAIAGENT::IObjectIA</a>. +<p> +Definition at line <a class="el" href="fo_assert_cpp-source.html#l00163">163</a> of file <a class="el" href="fo_assert_cpp-source.html">fo_assert.cpp</a>. </td> + </tr> +</table> +<a name="a12" doxytag="NLAILOGIC::CFirstOrderAssert::save"></a><p> +<table width="100%" cellpadding="2" cellspacing="0" border="0"> + <tr> + <td class="md"> + <table cellpadding="0" cellspacing="0" border="0"> + <tr> + <td nowrap valign="top"><b> +void NLAILOGIC::CFirstOrderAssert::save ( + </b></td> + <td valign="bottom"><b> +<a class="el" href="class_NLMISC__IStream.html">NLMISC::IStream</a> & <em>os</em> )<code> [virtual]</code> + </b></td> + </tr> + + </table> + </td> + </tr> +</table> +<table cellspacing=5 cellpadding=0 border=0> + <tr> + <td> + + </td> + <td> + +<p> +Save the class in a stream. +<p> + +<p> +Reimplemented from <a class="el" href="class_NLAIC__IBasicInterface.html#a4">NLAIC::IBasicInterface</a>. +<p> +Definition at line <a class="el" href="fo_assert_cpp-source.html#l00143">143</a> of file <a class="el" href="fo_assert_cpp-source.html">fo_assert.cpp</a>. </td> + </tr> +</table> +<hr><h2>Member Data Documentation</h2> +<a name="p0" doxytag="NLAILOGIC::CFirstOrderAssert::IdFirstOrderAssert"></a><p> +<table width="100%" cellpadding="2" cellspacing="0" border="0"> + <tr> + <td class="md"> + <table cellpadding="0" cellspacing="0" border="0"> + <tr> + <td nowrap valign="top"><b> +const <a class="el" href="class_NLAIC__CIdentType.html">NLAIC::CIdentType</a> CFirstOrderAssert::IdFirstOrderAssert<code> [static]</code> + </b></td> + </tr> + + </table> + </td> + </tr> +</table> +<table cellspacing=5 cellpadding=0 border=0> + <tr> + <td> + + </td> + <td> + +<p> +<b>Initializer:</b><div class="fragment"><pre>NLAIC::CIdentType( <font class="stringliteral">"FirstOrderAssert"</font>, <a class="code" href="class_NLAIC__CSelfClassFactory.html">NLAIC::CSelfClassFactory</a>(<a class="code" href="class_NLAILOGIC__CFirstOrderAssert.html#a0">CFirstOrderAssert</a>( CStringVarName(<font class="stringliteral">"Inst"</font>) )), + NLAIC::CTypeOfObject::tLogic, + NLAIC::CTypeOfOperator::opEq | + NLAIC::CTypeOfOperator::opNeg | + NLAIC::CTypeOfOperator::opNot )</div></pre> +<p> +Definition at line <a class="el" href="static_def_init_cpp-source.html#l00315">315</a> of file <a class="el" href="static_def_init_cpp-source.html">static_def_init.cpp</a>. </td> + </tr> +</table> +<a name="o3" doxytag="NLAILOGIC::CFirstOrderAssert::_Clauses"></a><p> +<table width="100%" cellpadding="2" cellspacing="0" border="0"> + <tr> + <td class="md"> + <table cellpadding="0" cellspacing="0" border="0"> + <tr> + <td nowrap valign="top"><b> +std::vector< <a class="el" href="class_NLAILOGIC__CClause.html">CClause</a> *> NLAILOGIC::CFirstOrderAssert::_Clauses<code> [private]</code> + </b></td> + </tr> + + </table> + </td> + </tr> +</table> +<table cellspacing=5 cellpadding=0 border=0> + <tr> + <td> + + </td> + <td> + +<p> + +<p> +Definition at line <a class="el" href="fo_assert_h-source.html#l00040">40</a> of file <a class="el" href="fo_assert_h-source.html">fo_assert.h</a>. </td> + </tr> +</table> +<a name="o1" doxytag="NLAILOGIC::CFirstOrderAssert::_Facts"></a><p> +<table width="100%" cellpadding="2" cellspacing="0" border="0"> + <tr> + <td class="md"> + <table cellpadding="0" cellspacing="0" border="0"> + <tr> + <td nowrap valign="top"><b> +std::list< <a class="el" href="class_NLAILOGIC__CValueSet.html">CValueSet</a> *> NLAILOGIC::CFirstOrderAssert::_Facts<code> [private]</code> + </b></td> + </tr> + + </table> + </td> + </tr> +</table> +<table cellspacing=5 cellpadding=0 border=0> + <tr> + <td> + + </td> + <td> + +<p> + +<p> +Definition at line <a class="el" href="fo_assert_h-source.html#l00037">37</a> of file <a class="el" href="fo_assert_h-source.html">fo_assert.h</a>. </td> + </tr> +</table> +<a name="o2" doxytag="NLAILOGIC::CFirstOrderAssert::_NbVars"></a><p> +<table width="100%" cellpadding="2" cellspacing="0" border="0"> + <tr> + <td class="md"> + <table cellpadding="0" cellspacing="0" border="0"> + <tr> + <td nowrap valign="top"><b> +<a class="el" href="types_nl_h.html#a8">sint32</a> NLAILOGIC::CFirstOrderAssert::_NbVars<code> [private]</code> + </b></td> + </tr> + + </table> + </td> + </tr> +</table> +<table cellspacing=5 cellpadding=0 border=0> + <tr> + <td> + + </td> + <td> + +<p> + +<p> +Definition at line <a class="el" href="fo_assert_h-source.html#l00038">38</a> of file <a class="el" href="fo_assert_h-source.html">fo_assert.h</a>. </td> + </tr> +</table> +<a name="o0" doxytag="NLAILOGIC::CFirstOrderAssert::_PosVars"></a><p> +<table width="100%" cellpadding="2" cellspacing="0" border="0"> + <tr> + <td class="md"> + <table cellpadding="0" cellspacing="0" border="0"> + <tr> + <td nowrap valign="top"><b> +std::vector< std::vector< <a class="el" href="types_nl_h.html#a8">sint32</a> > > NLAILOGIC::CFirstOrderAssert::_PosVars<code> [private]</code> + </b></td> + </tr> + + </table> + </td> + </tr> +</table> +<table cellspacing=5 cellpadding=0 border=0> + <tr> + <td> + + </td> + <td> + +<p> + +<p> +Definition at line <a class="el" href="fo_assert_h-source.html#l00036">36</a> of file <a class="el" href="fo_assert_h-source.html">fo_assert.h</a>. </td> + </tr> +</table> +<a name="o4" doxytag="NLAILOGIC::CFirstOrderAssert::_PosVarsInputs"></a><p> +<table width="100%" cellpadding="2" cellspacing="0" border="0"> + <tr> + <td class="md"> + <table cellpadding="0" cellspacing="0" border="0"> + <tr> + <td nowrap valign="top"><b> +std::vector< std::vector< <a class="el" href="types_nl_h.html#a8">sint32</a> > > NLAILOGIC::CFirstOrderAssert::_PosVarsInputs<code> [private]</code> + </b></td> + </tr> + + </table> + </td> + </tr> +</table> +<table cellspacing=5 cellpadding=0 border=0> + <tr> + <td> + + </td> + <td> + +<p> + +<p> +Definition at line <a class="el" href="fo_assert_h-source.html#l00044">44</a> of file <a class="el" href="fo_assert_h-source.html">fo_assert.h</a>. </td> + </tr> +</table> +<hr>The documentation for this class was generated from the following files:<ul> +<li><a class="el" href="fo_assert_h-source.html">fo_assert.h</a><li><a class="el" href="fo_assert_cpp-source.html">fo_assert.cpp</a><li><a class="el" href="static_def_init_cpp-source.html">static_def_init.cpp</a></ul> + + +<!-- 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> |