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/classNLAILOGIC_1_1CClause.html | |
| download | nevrax-website-self-hostable-0ea5fc66924303d1bf73ba283a383e2aadee02f2.tar.xz nevrax-website-self-hostable-0ea5fc66924303d1bf73ba283a383e2aadee02f2.zip | |
Initial commit
Diffstat (limited to 'docs/doxygen/nel/classNLAILOGIC_1_1CClause.html')
| -rw-r--r-- | docs/doxygen/nel/classNLAILOGIC_1_1CClause.html | 1332 |
1 files changed, 1332 insertions, 0 deletions
diff --git a/docs/doxygen/nel/classNLAILOGIC_1_1CClause.html b/docs/doxygen/nel/classNLAILOGIC_1_1CClause.html new file mode 100644 index 00000000..7a240db6 --- /dev/null +++ b/docs/doxygen/nel/classNLAILOGIC_1_1CClause.html @@ -0,0 +1,1332 @@ +<!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>NLAILOGIC::CClause Class Reference</h1><code>#include <<a class="el" href="clause_8h-source.html">clause.h</a>></code> +<p> +<p>Inheritance diagram for NLAILOGIC::CClause: +<p><center><img src="classNLAILOGIC_1_1CClause.gif" usemap="#NLAILOGIC::CClause_map" border="0"></center> +<map name="NLAILOGIC::CClause_map"> +<area href="classNLAILOGIC_1_1CVarSet.html" alt="NLAILOGIC::CVarSet" shape="rect" coords="0,504,171,528"> +<area href="classNLAILOGIC_1_1IBaseBoolType.html" alt="NLAILOGIC::IBaseBoolType" shape="rect" coords="0,448,171,472"> +<area href="classNLAIAGENT_1_1IObjetOp.html" alt="NLAIAGENT::IObjetOp" shape="rect" coords="0,392,171,416"> +<area href="classNLAIAGENT_1_1IObjectIA.html" alt="NLAIAGENT::IObjectIA" shape="rect" coords="0,336,171,360"> +<area href="classNLAIAGENT_1_1IBasicObjectIA.html" alt="NLAIAGENT::IBasicObjectIA" shape="rect" coords="0,280,171,304"> +<area href="classNLAIC_1_1IBasicInterface.html" alt="NLAIC::IBasicInterface" shape="rect" coords="0,224,171,248"> +<area href="classNLAIC_1_1IBasicType.html" alt="NLAIC::IBasicType" shape="rect" coords="0,168,171,192"> +<area href="classNLAIC_1_1IPointerGestion.html" alt="NLAIC::IPointerGestion" shape="rect" coords="0,112,171,136"> +<area href="classNLMISC_1_1IStreamable.html" alt="NLMISC::IStreamable" shape="rect" coords="0,56,171,80"> +<area href="classNLMISC_1_1IClassable.html" alt="NLMISC::IClassable" shape="rect" coords="0,0,171,24"> +<area href="classNLAILOGIC_1_1CRule.html" alt="NLAILOGIC::CRule" shape="rect" coords="0,616,171,640"> +</map> +<a href="classNLAILOGIC_1_1CClause-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="classNLAILOGIC_1_1CClause.html#a0">CClause</a> ()</td></tr> +<tr><td nowrap align=right valign=top> </td><td valign=bottom><a class="el" href="classNLAILOGIC_1_1CClause.html#a1">CClause</a> (const CClause &)</td></tr> +<tr><td nowrap align=right valign=top> </td><td valign=bottom><a class="el" href="classNLAILOGIC_1_1CClause.html#a2">CClause</a> (<a class="el" href="classstd_1_1list.html">std::list</a>< <a class="el" href="classNLAILOGIC_1_1CFactPattern.html">CFactPattern</a> * > &)</td></tr> +<tr><td nowrap align=right valign=top> </td><td valign=bottom><a class="el" href="classNLAILOGIC_1_1CClause.html#a3">~CClause</a> ()</td></tr> +<tr><td nowrap align=right valign=top>virtual void </td><td valign=bottom><a class="el" href="classNLAILOGIC_1_1CClause.html#a4">addCond</a> (<a class="el" href="classNLAILOGIC_1_1CFactPattern.html">CFactPattern</a> *cond)</td></tr> +<tr><td nowrap align=right valign=top>virtual void </td><td valign=bottom><a class="el" href="classNLAILOGIC_1_1CClause.html#a5">getDebugString</a> (std::string &) 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="#a5">More...</a><em></em></font><br><br></td></tr> +<tr><td nowrap align=right valign=top>virtual <a class="el" href="classNLAILOGIC_1_1CVarSet.html">CVarSet</a> * </td><td valign=bottom><a class="el" href="classNLAILOGIC_1_1CClause.html#a6">unify</a> (<a class="el" href="classNLAILOGIC_1_1CVarSet.html">CVarSet</a> *)</td></tr> +<tr><td nowrap align=right valign=top><a class="el" href="classNLAILOGIC_1_1CValueSet.html">CValueSet</a> * </td><td valign=bottom><a class="el" href="classNLAILOGIC_1_1CClause.html#a7">unifyLiaison</a> (const <a class="el" href="classNLAILOGIC_1_1CValueSet.html">CValueSet</a> *, <a class="el" href="classstd_1_1list.html">std::list</a>< <a class="el" href="classNLAIAGENT_1_1IObjectIA.html">NLAIAGENT::IObjectIA</a> * > *, std::vector< <a class="el" href="memory__common_8h.html#a10">sint32</a> > &)</td></tr> +<tr><td nowrap align=right valign=top>virtual void </td><td valign=bottom><a class="el" href="classNLAILOGIC_1_1CClause.html#a8">propagate</a> (<a class="el" href="classstd_1_1list.html">std::list</a>< <a class="el" href="classNLAIAGENT_1_1IObjectIA.html">NLAIAGENT::IObjectIA</a> * > *, std::vector< <a class="el" href="memory__common_8h.html#a10">sint32</a> > &)</td></tr> +<tr><td nowrap align=right valign=top>virtual void </td><td valign=bottom><a class="el" href="classNLAILOGIC_1_1CClause.html#a9">propagate</a> (<a class="el" href="classNLAILOGIC_1_1CFactPattern.html">CFactPattern</a> *)</td></tr> +<tr><td nowrap align=right valign=top><a class="el" href="classstd_1_1list.html">std::list</a>< CClause * > * </td><td valign=bottom><a class="el" href="classNLAILOGIC_1_1CClause.html#a10">getInputs</a> ()</td></tr> +<tr><td nowrap align=right valign=top>virtual const <a class="el" href="classNLAIC_1_1IBasicType.html">NLAIC::IBasicType</a> * </td><td valign=bottom><a class="el" href="classNLAILOGIC_1_1CClause.html#a11">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="#a11">More...</a><em></em></font><br><br></td></tr> +<tr><td nowrap align=right valign=top>virtual const <a class="el" href="classNLAIC_1_1IBasicType.html">NLAIC::IBasicType</a> * </td><td valign=bottom><a class="el" href="classNLAILOGIC_1_1CClause.html#a12">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="#a12">More...</a><em></em></font><br><br></td></tr> +<tr><td nowrap align=right valign=top>virtual <a class="el" href="classNLAIAGENT_1_1IObjetOp.html">NLAIAGENT::IObjetOp</a> * </td><td valign=bottom><a class="el" href="classNLAILOGIC_1_1CClause.html#a13">operator!</a> () const</td></tr> +<tr><td> </td><td><font size=-1><em>throw (<a class="el" href="classNLAIE_1_1CExceptionNotImplemented.html">NLAIE::CExceptionNotImplemented</a>).</em> <a href="#a13">More...</a><em></em></font><br><br></td></tr> +<tr><td nowrap align=right valign=top>virtual <a class="el" href="classNLAIAGENT_1_1IObjetOp.html">NLAIAGENT::IObjetOp</a> * </td><td valign=bottom><a class="el" href="classNLAILOGIC_1_1CClause.html#a14">operator!=</a> (<a class="el" href="classNLAIAGENT_1_1IObjetOp.html">NLAIAGENT::IObjetOp</a> &a) const</td></tr> +<tr><td> </td><td><font size=-1><em>throw (<a class="el" href="classNLAIE_1_1CExceptionNotImplemented.html">NLAIE::CExceptionNotImplemented</a>).</em> <a href="#a14">More...</a><em></em></font><br><br></td></tr> +<tr><td nowrap align=right valign=top>virtual <a class="el" href="classNLAIAGENT_1_1IObjetOp.html">NLAIAGENT::IObjetOp</a> * </td><td valign=bottom><a class="el" href="classNLAILOGIC_1_1CClause.html#a15">operator==</a> (<a class="el" href="classNLAIAGENT_1_1IObjetOp.html">NLAIAGENT::IObjetOp</a> &a) const</td></tr> +<tr><td> </td><td><font size=-1><em>throw (<a class="el" href="classNLAIE_1_1CExceptionNotImplemented.html">NLAIE::CExceptionNotImplemented</a>).</em> <a href="#a15">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="classNLAILOGIC_1_1CClause.html#a16">isTrue</a> () const</td></tr> +<tr><td> </td><td><font size=-1><em>throw (<a class="el" href="classNLAIE_1_1CExceptionNotImplemented.html">NLAIE::CExceptionNotImplemented</a>).</em> <a href="#a16">More...</a><em></em></font><br><br></td></tr> +<tr><td nowrap align=right valign=top>virtual float </td><td valign=bottom><a class="el" href="classNLAILOGIC_1_1CClause.html#a17">truthValue</a> () const</td></tr> +<tr><td> </td><td><font size=-1><em>Returns a value in [0,1].</em> <a href="#a17">More...</a><em></em></font><br><br></td></tr> +<tr><td nowrap align=right valign=top>void </td><td valign=bottom><a class="el" href="classNLAILOGIC_1_1CClause.html#a18">showConflicts</a> ()</td></tr> +<tr><td nowrap align=right valign=top>void </td><td valign=bottom><a class="el" href="classNLAILOGIC_1_1CClause.html#a19">showBuffer</a> ()</td></tr> +<tr><td nowrap align=right valign=top>void </td><td valign=bottom><a class="el" href="classNLAILOGIC_1_1CClause.html#a20">showLiaisons</a> ()</td></tr> +<tr><td nowrap align=right valign=top>virtual void </td><td valign=bottom><a class="el" href="classNLAILOGIC_1_1CClause.html#a21">addBuffer</a> ()</td></tr> +<tr><td nowrap align=right valign=top>virtual void </td><td valign=bottom><a class="el" href="classNLAILOGIC_1_1CClause.html#a22">addConflicts</a> ()</td></tr> +<tr><td nowrap align=right valign=top>std::vector< <a class="el" href="classNLAILOGIC_1_1IBaseAssert.html">IBaseAssert</a> * > & </td><td valign=bottom><a class="el" href="classNLAILOGIC_1_1CClause.html#a23">CClause::getAssert</a> ()</td></tr> +<tr><td nowrap align=right valign=top><a class="el" href="memory__common_8h.html#a10">sint32</a> </td><td valign=bottom><a class="el" href="classNLAILOGIC_1_1CClause.html#a24">nbVars</a> ()</td></tr> +<tr><td nowrap align=right valign=top>void </td><td valign=bottom><a class="el" href="classNLAILOGIC_1_1CClause.html#a25">CClause::init</a> (<a class="el" href="classNLAIAGENT_1_1IObjectIA.html">NLAIAGENT::IObjectIA</a> *)</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="classNLAIC_1_1CIdentType.html">NLAIC::CIdentType</a> </td><td valign=bottom><a class="el" href="classNLAILOGIC_1_1CClause.html#p0">IdClause</a></td></tr> +<tr><td colspan=2><br><h2>Protected Methods</h2></td></tr> +<tr><td nowrap align=right valign=top><a class="el" href="memory__common_8h.html#a10">sint32</a> </td><td valign=bottom><a class="el" href="classNLAILOGIC_1_1CClause.html#b0">findAssert</a> (<a class="el" href="classNLAILOGIC_1_1IBaseAssert.html">IBaseAssert</a> *)</td></tr> +<tr><td colspan=2><br><h2>Protected Attributes</h2></td></tr> +<tr><td nowrap align=right valign=top><a class="el" href="classstd_1_1list.html">std::list</a>< <a class="el" href="classNLAILOGIC_1_1CBoolAssert.html">CBoolAssert</a> * > </td><td valign=bottom><a class="el" href="classNLAILOGIC_1_1CClause.html#n0">_SimpleConds</a></td></tr> +<tr><td nowrap align=right valign=top>std::vector< <a class="el" href="classNLAILOGIC_1_1IBaseBoolType.html">IBaseBoolType</a> * > </td><td valign=bottom><a class="el" href="classNLAILOGIC_1_1CClause.html#n1">_Conds</a></td></tr> +<tr><td nowrap align=right valign=top>std::vector< std::vector<<br> + <a class="el" href="memory__common_8h.html#a10">sint32</a> > > </td><td valign=bottom><a class="el" href="classNLAILOGIC_1_1CClause.html#n2">_PosVarsCond</a></td></tr> +<tr><td nowrap align=right valign=top><a class="el" href="classstd_1_1list.html">std::list</a>< <a class="el" href="classNLAILOGIC_1_1CValueSet.html">CValueSet</a> * > </td><td valign=bottom><a class="el" href="classNLAILOGIC_1_1CClause.html#n3">_Liaisons</a></td></tr> +<tr><td nowrap align=right valign=top><a class="el" href="classstd_1_1list.html">std::list</a>< <a class="el" href="classNLAILOGIC_1_1CValueSet.html">CValueSet</a> * > </td><td valign=bottom><a class="el" href="classNLAILOGIC_1_1CClause.html#n4">_BufLiaisons</a></td></tr> +<tr><td nowrap align=right valign=top><a class="el" href="classstd_1_1list.html">std::list</a>< <a class="el" href="classNLAILOGIC_1_1CValueSet.html">CValueSet</a> * > </td><td valign=bottom><a class="el" href="classNLAILOGIC_1_1CClause.html#n5">_Conflits</a></td></tr> +<tr><td nowrap align=right valign=top><a class="el" href="memory__common_8h.html#a10">sint32</a> </td><td valign=bottom><a class="el" href="classNLAILOGIC_1_1CClause.html#n6">_NbValid</a></td></tr> +<tr><td nowrap align=right valign=top>std::vector< <a class="el" href="classNLAILOGIC_1_1IBaseAssert.html">IBaseAssert</a> * > </td><td valign=bottom><a class="el" href="classNLAILOGIC_1_1CClause.html#n7">_Asserts</a></td></tr> +<tr><td nowrap align=right valign=top>bool </td><td valign=bottom><a class="el" href="classNLAILOGIC_1_1CClause.html#n8">_FirstOrderTrue</a></td></tr> +</table> +<hr><h2>Constructor & Destructor Documentation</h2> +<a name="a0" doxytag="NLAILOGIC::CClause::CClause"></a><p> +<table width="100%" cellpadding="2" cellspacing="0" border="0"> + <tr> + <td class="md"> + <table cellpadding="0" cellspacing="0" border="0"> + <tr> + <td class="md" nowrap valign="top"> NLAILOGIC::CClause::CClause </td> + <td class="md" valign="top">( </td> + <td class="mdname1" valign="top" nowrap> </td> + <td class="md" valign="top">) </td> + <td class="md" nowrap></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="clause_8cpp-source.html#l00030">30</a> of file <a class="el" href="clause_8cpp-source.html">clause.cpp</a>. +<p> +References <a class="el" href="clause_8h-source.html#l00042">_Liaisons</a>, <a class="el" href="clause_8h-source.html#l00045">_NbValid</a>, and <a class="el" href="varset_8h-source.html#l00039">NLAILOGIC::CVarSet::_Vars</a>. +<p> +Referenced by <a class="el" href="clause_8cpp-source.html#l00098">clone</a>, <a class="el" href="rule_8cpp-source.html#l00197">NLAILOGIC::CRule::init</a>, and <a class="el" href="clause_8cpp-source.html#l00104">newInstance</a>. </td> + </tr> +</table> +<a name="a1" doxytag="NLAILOGIC::CClause::CClause"></a><p> +<table width="100%" cellpadding="2" cellspacing="0" border="0"> + <tr> + <td class="md"> + <table cellpadding="0" cellspacing="0" border="0"> + <tr> + <td class="md" nowrap valign="top"> NLAILOGIC::CClause::CClause </td> + <td class="md" valign="top">( </td> + <td class="md" nowrap valign="top">const CClause & </td> + <td class="mdname1" valign="top" nowrap> </td> + <td class="md" valign="top">) </td> + <td class="md" nowrap></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="clause_8cpp-source.html#l00048">48</a> of file <a class="el" href="clause_8cpp-source.html">clause.cpp</a>. +<p> +References <a class="el" href="clause_8h-source.html#l00045">_NbValid</a>, <a class="el" href="clause_8h-source.html#l00041">_PosVarsCond</a>, and <a class="el" href="clause_8cpp-source.html#l00124">addCond</a>. </td> + </tr> +</table> +<a name="a2" doxytag="NLAILOGIC::CClause::CClause"></a><p> +<table width="100%" cellpadding="2" cellspacing="0" border="0"> + <tr> + <td class="md"> + <table cellpadding="0" cellspacing="0" border="0"> + <tr> + <td class="md" nowrap valign="top"> NLAILOGIC::CClause::CClause </td> + <td class="md" valign="top">( </td> + <td class="md" nowrap valign="top"><a class="el" href="classstd_1_1list.html">std::list</a>< <a class="el" href="classNLAILOGIC_1_1CFactPattern.html">CFactPattern</a> * > & </td> + <td class="mdname1" valign="top" nowrap> </td> + <td class="md" valign="top">) </td> + <td class="md" nowrap></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="clause_8cpp-source.html#l00036">36</a> of file <a class="el" href="clause_8cpp-source.html">clause.cpp</a>. +<p> +References <a class="el" href="clause_8h-source.html#l00042">_Liaisons</a>, <a class="el" href="clause_8h-source.html#l00045">_NbValid</a>, <a class="el" href="varset_8h-source.html#l00039">NLAILOGIC::CVarSet::_Vars</a>, and <a class="el" href="clause_8cpp-source.html#l00124">addCond</a>. </td> + </tr> +</table> +<a name="a3" doxytag="NLAILOGIC::CClause::~CClause"></a><p> +<table width="100%" cellpadding="2" cellspacing="0" border="0"> + <tr> + <td class="md"> + <table cellpadding="0" cellspacing="0" border="0"> + <tr> + <td class="md" nowrap valign="top"> NLAILOGIC::CClause::~CClause </td> + <td class="md" valign="top">( </td> + <td class="mdname1" valign="top" nowrap> </td> + <td class="md" valign="top">) </td> + <td class="md" nowrap></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="clause_8cpp-source.html#l00074">74</a> of file <a class="el" href="clause_8cpp-source.html">clause.cpp</a>. +<p> +References <a class="el" href="clause_8h-source.html#l00043">_BufLiaisons</a>, <a class="el" href="clause_8h-source.html#l00040">_Conds</a>, <a class="el" href="clause_8h-source.html#l00044">_Conflits</a>, and <a class="el" href="clause_8h-source.html#l00042">_Liaisons</a>. </td> + </tr> +</table> +<hr><h2>Member Function Documentation</h2> +<a name="a21" doxytag="NLAILOGIC::CClause::addBuffer"></a><p> +<table width="100%" cellpadding="2" cellspacing="0" border="0"> + <tr> + <td class="md"> + <table cellpadding="0" cellspacing="0" border="0"> + <tr> + <td class="md" nowrap valign="top"> void NLAILOGIC::CClause::addBuffer </td> + <td class="md" valign="top">( </td> + <td class="mdname1" valign="top" nowrap> </td> + <td class="md" valign="top">) </td> + <td class="md" nowrap><code> [virtual]</code></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="clause_8cpp-source.html#l00328">328</a> of file <a class="el" href="clause_8cpp-source.html">clause.cpp</a>. +<p> +References <a class="el" href="clause_8h-source.html#l00043">_BufLiaisons</a>, and <a class="el" href="clause_8h-source.html#l00042">_Liaisons</a>. </td> + </tr> +</table> +<a name="a4" doxytag="NLAILOGIC::CClause::addCond"></a><p> +<table width="100%" cellpadding="2" cellspacing="0" border="0"> + <tr> + <td class="md"> + <table cellpadding="0" cellspacing="0" border="0"> + <tr> + <td class="md" nowrap valign="top"> void NLAILOGIC::CClause::addCond </td> + <td class="md" valign="top">( </td> + <td class="md" nowrap valign="top"><a class="el" href="classNLAILOGIC_1_1CFactPattern.html">CFactPattern</a> * </td> + <td class="mdname1" valign="top" nowrap> <em>cond</em> </td> + <td class="md" valign="top">) </td> + <td class="md" nowrap><code> [virtual]</code></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="clause_8cpp-source.html#l00124">124</a> of file <a class="el" href="clause_8cpp-source.html">clause.cpp</a>. +<p> +References <a class="el" href="clause_8h-source.html#l00048">_Asserts</a>, <a class="el" href="clause_8h-source.html#l00040">_Conds</a>, <a class="el" href="clause_8h-source.html#l00041">_PosVarsCond</a>, <a class="el" href="varset_8h-source.html#l00039">NLAILOGIC::CVarSet::_Vars</a>, and <a class="el" href="clause_8cpp-source.html#l00110">findAssert</a>. +<p> +Referenced by <a class="el" href="clause_8cpp-source.html#l00036">CClause</a>. </td> + </tr> +</table> +<a name="a22" doxytag="NLAILOGIC::CClause::addConflicts"></a><p> +<table width="100%" cellpadding="2" cellspacing="0" border="0"> + <tr> + <td class="md"> + <table cellpadding="0" cellspacing="0" border="0"> + <tr> + <td class="md" nowrap valign="top"> void NLAILOGIC::CClause::addConflicts </td> + <td class="md" valign="top">( </td> + <td class="mdname1" valign="top" nowrap> </td> + <td class="md" valign="top">) </td> + <td class="md" nowrap><code> [virtual]</code></td> + </tr> + + </table> + </td> + </tr> +</table> +<table cellspacing=5 cellpadding=0 border=0> + <tr> + <td> + + </td> + <td> + +<p> + +<p> +Reimplemented in <a class="el" href="classNLAILOGIC_1_1CRule.html#a8">NLAILOGIC::CRule</a>. +<p> +Definition at line <a class="el" href="clause_8cpp-source.html#l00341">341</a> of file <a class="el" href="clause_8cpp-source.html">clause.cpp</a>. </td> + </tr> +</table> +<a name="a23" doxytag="NLAILOGIC::CClause::CClause::getAssert"></a><p> +<table width="100%" cellpadding="2" cellspacing="0" border="0"> + <tr> + <td class="md"> + <table cellpadding="0" cellspacing="0" border="0"> + <tr> + <td class="md" nowrap valign="top"> std::vector<<a class="el" href="classNLAILOGIC_1_1IBaseAssert.html">IBaseAssert</a> *>& NLAILOGIC::CClause::CClause::getAssert </td> + <td class="md" valign="top">( </td> + <td class="mdname1" valign="top" nowrap> </td> + <td class="md" valign="top">) </td> + <td class="md" nowrap></td> + </tr> + + </table> + </td> + </tr> +</table> +<table cellspacing=5 cellpadding=0 border=0> + <tr> + <td> + + </td> + <td> + +<p> + </td> + </tr> +</table> +<a name="a25" doxytag="NLAILOGIC::CClause::CClause::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 class="md" nowrap valign="top"> void NLAILOGIC::CClause::CClause::init </td> + <td class="md" valign="top">( </td> + <td class="md" nowrap valign="top"><a class="el" href="classNLAIAGENT_1_1IObjectIA.html">NLAIAGENT::IObjectIA</a> * </td> + <td class="mdname1" valign="top" nowrap> </td> + <td class="md" valign="top">) </td> + <td class="md" nowrap></td> + </tr> + + </table> + </td> + </tr> +</table> +<table cellspacing=5 cellpadding=0 border=0> + <tr> + <td> + + </td> + <td> + +<p> + </td> + </tr> +</table> +<a name="a11" doxytag="NLAILOGIC::CClause::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 class="md" nowrap valign="top"> const <a class="el" href="classNLAIC_1_1IBasicType.html">NLAIC::IBasicType</a> * NLAILOGIC::CClause::clone </td> + <td class="md" valign="top">( </td> + <td class="mdname1" valign="top" nowrap> </td> + <td class="md" valign="top">) </td> + <td class="md" nowrap> const<code> [virtual]</code></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="classNLAILOGIC_1_1CVarSet.html#a5">NLAILOGIC::CVarSet</a>. +<p> +Reimplemented in <a class="el" href="classNLAILOGIC_1_1CRule.html#a10">NLAILOGIC::CRule</a>. +<p> +Definition at line <a class="el" href="clause_8cpp-source.html#l00098">98</a> of file <a class="el" href="clause_8cpp-source.html">clause.cpp</a>. +<p> +References <a class="el" href="clause_8cpp-source.html#l00030">CClause</a>, and <a class="el" href="clause_8cpp-source.html#l00098">clone</a>. +<p> +Referenced by <a class="el" href="clause_8cpp-source.html#l00098">clone</a>. </td> + </tr> +</table> +<a name="b0" doxytag="NLAILOGIC::CClause::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 class="md" nowrap valign="top"> <a class="el" href="memory__common_8h.html#a10">sint32</a> NLAILOGIC::CClause::findAssert </td> + <td class="md" valign="top">( </td> + <td class="md" nowrap valign="top"><a class="el" href="classNLAILOGIC_1_1IBaseAssert.html">IBaseAssert</a> * </td> + <td class="mdname1" valign="top" nowrap> </td> + <td class="md" valign="top">) </td> + <td class="md" nowrap><code> [protected]</code></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="clause_8cpp-source.html#l00110">110</a> of file <a class="el" href="clause_8cpp-source.html">clause.cpp</a>. +<p> +References <a class="el" href="clause_8h-source.html#l00048">_Asserts</a>. +<p> +Referenced by <a class="el" href="rule_8cpp-source.html#l00101">NLAILOGIC::CRule::addConc</a>, and <a class="el" href="clause_8cpp-source.html#l00124">addCond</a>. </td> + </tr> +</table> +<a name="a5" doxytag="NLAILOGIC::CClause::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 class="md" nowrap valign="top"> void NLAILOGIC::CClause::getDebugString </td> + <td class="md" valign="top">( </td> + <td class="md" nowrap valign="top">std::string & </td> + <td class="mdname1" valign="top" nowrap> </td> + <td class="md" valign="top">) </td> + <td class="md" nowrap> const<code> [virtual]</code></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="classNLAILOGIC_1_1CVarSet.html#a10">NLAILOGIC::CVarSet</a>. +<p> +Reimplemented in <a class="el" href="classNLAILOGIC_1_1CRule.html#a12">NLAILOGIC::CRule</a>. +<p> +Definition at line <a class="el" href="clause_8cpp-source.html#l00183">183</a> of file <a class="el" href="clause_8cpp-source.html">clause.cpp</a>. +<p> +References <a class="el" href="varset_8h-source.html#l00039">NLAILOGIC::CVarSet::_Vars</a>. </td> + </tr> +</table> +<a name="a10" doxytag="NLAILOGIC::CClause::getInputs"></a><p> +<table width="100%" cellpadding="2" cellspacing="0" border="0"> + <tr> + <td class="md"> + <table cellpadding="0" cellspacing="0" border="0"> + <tr> + <td class="md" nowrap valign="top"> <a class="el" href="classstd_1_1list.html">std::list</a>< CClause * > * NLAILOGIC::CClause::getInputs </td> + <td class="md" valign="top">( </td> + <td class="mdname1" valign="top" nowrap> </td> + <td class="md" valign="top">) </td> + <td class="md" nowrap></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="clause_8cpp-source.html#l00368">368</a> of file <a class="el" href="clause_8cpp-source.html">clause.cpp</a>. </td> + </tr> +</table> +<a name="a16" doxytag="NLAILOGIC::CClause::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 class="md" nowrap valign="top"> bool NLAILOGIC::CClause::isTrue </td> + <td class="md" valign="top">( </td> + <td class="mdname1" valign="top" nowrap> </td> + <td class="md" valign="top">) </td> + <td class="md" nowrap> const<code> [virtual]</code></td> + </tr> + + </table> + </td> + </tr> +</table> +<table cellspacing=5 cellpadding=0 border=0> + <tr> + <td> + + </td> + <td> + +<p> +throw (<a class="el" href="classNLAIE_1_1CExceptionNotImplemented.html">NLAIE::CExceptionNotImplemented</a>). +<p> + +<p> +Reimplemented from <a class="el" href="classNLAILOGIC_1_1CVarSet.html#a25">NLAILOGIC::CVarSet</a>. +<p> +Definition at line <a class="el" href="clause_8cpp-source.html#l00275">275</a> of file <a class="el" href="clause_8cpp-source.html">clause.cpp</a>. +<p> +References <a class="el" href="clause_8h-source.html#l00045">_NbValid</a>. +<p> +Referenced by <a class="el" href="clause_8cpp-source.html#l00264">operator!</a>, <a class="el" href="clause_8cpp-source.html#l00270">operator!=</a>, and <a class="el" href="clause_8cpp-source.html#l00288">operator==</a>. </td> + </tr> +</table> +<a name="a24" doxytag="NLAILOGIC::CClause::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 class="md" nowrap valign="top"> <a class="el" href="memory__common_8h.html#a10">sint32</a> NLAILOGIC::CClause::nbVars </td> + <td class="md" valign="top">( </td> + <td class="mdname1" valign="top" nowrap> </td> + <td class="md" valign="top">) </td> + <td class="md" nowrap></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="clause_8cpp-source.html#l00373">373</a> of file <a class="el" href="clause_8cpp-source.html">clause.cpp</a>. +<p> +References <a class="el" href="varset_8h-source.html#l00039">NLAILOGIC::CVarSet::_Vars</a>. </td> + </tr> +</table> +<a name="a12" doxytag="NLAILOGIC::CClause::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 class="md" nowrap valign="top"> const <a class="el" href="classNLAIC_1_1IBasicType.html">NLAIC::IBasicType</a> * NLAILOGIC::CClause::newInstance </td> + <td class="md" valign="top">( </td> + <td class="mdname1" valign="top" nowrap> </td> + <td class="md" valign="top">) </td> + <td class="md" nowrap> const<code> [virtual]</code></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="classNLAILOGIC_1_1CVarSet.html#a6">NLAILOGIC::CVarSet</a>. +<p> +Reimplemented in <a class="el" href="classNLAILOGIC_1_1CRule.html#a11">NLAILOGIC::CRule</a>. +<p> +Definition at line <a class="el" href="clause_8cpp-source.html#l00104">104</a> of file <a class="el" href="clause_8cpp-source.html">clause.cpp</a>. +<p> +References <a class="el" href="clause_8cpp-source.html#l00030">CClause</a>. </td> + </tr> +</table> +<a name="a13" doxytag="NLAILOGIC::CClause::operator!"></a><p> +<table width="100%" cellpadding="2" cellspacing="0" border="0"> + <tr> + <td class="md"> + <table cellpadding="0" cellspacing="0" border="0"> + <tr> + <td class="md" nowrap valign="top"> IObjetOp * NLAILOGIC::CClause::operator! </td> + <td class="md" valign="top">( </td> + <td class="mdname1" valign="top" nowrap> </td> + <td class="md" valign="top">) </td> + <td class="md" nowrap> const<code> [virtual]</code></td> + </tr> + + </table> + </td> + </tr> +</table> +<table cellspacing=5 cellpadding=0 border=0> + <tr> + <td> + + </td> + <td> + +<p> +throw (<a class="el" href="classNLAIE_1_1CExceptionNotImplemented.html">NLAIE::CExceptionNotImplemented</a>). +<p> + +<p> +Reimplemented from <a class="el" href="classNLAILOGIC_1_1CVarSet.html#a23">NLAILOGIC::CVarSet</a>. +<p> +Definition at line <a class="el" href="clause_8cpp-source.html#l00264">264</a> of file <a class="el" href="clause_8cpp-source.html">clause.cpp</a>. +<p> +References <a class="el" href="clause_8cpp-source.html#l00275">isTrue</a>. </td> + </tr> +</table> +<a name="a14" doxytag="NLAILOGIC::CClause::operator!="></a><p> +<table width="100%" cellpadding="2" cellspacing="0" border="0"> + <tr> + <td class="md"> + <table cellpadding="0" cellspacing="0" border="0"> + <tr> + <td class="md" nowrap valign="top"> IObjetOp * NLAILOGIC::CClause::operator!= </td> + <td class="md" valign="top">( </td> + <td class="md" nowrap valign="top"><a class="el" href="classNLAIAGENT_1_1IObjetOp.html">NLAIAGENT::IObjetOp</a> & </td> + <td class="mdname1" valign="top" nowrap> <em>a</em> </td> + <td class="md" valign="top">) </td> + <td class="md" nowrap> const<code> [virtual]</code></td> + </tr> + + </table> + </td> + </tr> +</table> +<table cellspacing=5 cellpadding=0 border=0> + <tr> + <td> + + </td> + <td> + +<p> +throw (<a class="el" href="classNLAIE_1_1CExceptionNotImplemented.html">NLAIE::CExceptionNotImplemented</a>). +<p> + +<p> +Reimplemented from <a class="el" href="classNLAILOGIC_1_1CVarSet.html#a24">NLAILOGIC::CVarSet</a>. +<p> +Definition at line <a class="el" href="clause_8cpp-source.html#l00270">270</a> of file <a class="el" href="clause_8cpp-source.html">clause.cpp</a>. +<p> +References <a class="el" href="clause_8cpp-source.html#l00275">isTrue</a>. </td> + </tr> +</table> +<a name="a15" doxytag="NLAILOGIC::CClause::operator=="></a><p> +<table width="100%" cellpadding="2" cellspacing="0" border="0"> + <tr> + <td class="md"> + <table cellpadding="0" cellspacing="0" border="0"> + <tr> + <td class="md" nowrap valign="top"> IObjetOp * NLAILOGIC::CClause::operator== </td> + <td class="md" valign="top">( </td> + <td class="md" nowrap valign="top"><a class="el" href="classNLAIAGENT_1_1IObjetOp.html">NLAIAGENT::IObjetOp</a> & </td> + <td class="mdname1" valign="top" nowrap> <em>a</em> </td> + <td class="md" valign="top">) </td> + <td class="md" nowrap> const<code> [virtual]</code></td> + </tr> + + </table> + </td> + </tr> +</table> +<table cellspacing=5 cellpadding=0 border=0> + <tr> + <td> + + </td> + <td> + +<p> +throw (<a class="el" href="classNLAIE_1_1CExceptionNotImplemented.html">NLAIE::CExceptionNotImplemented</a>). +<p> + +<p> +Reimplemented from <a class="el" href="classNLAIAGENT_1_1IObjetOp.html#a17">NLAIAGENT::IObjetOp</a>. +<p> +Definition at line <a class="el" href="clause_8cpp-source.html#l00288">288</a> of file <a class="el" href="clause_8cpp-source.html">clause.cpp</a>. +<p> +References <a class="el" href="clause_8cpp-source.html#l00275">isTrue</a>. </td> + </tr> +</table> +<a name="a9" doxytag="NLAILOGIC::CClause::propagate"></a><p> +<table width="100%" cellpadding="2" cellspacing="0" border="0"> + <tr> + <td class="md"> + <table cellpadding="0" cellspacing="0" border="0"> + <tr> + <td class="md" nowrap valign="top"> void NLAILOGIC::CClause::propagate </td> + <td class="md" valign="top">( </td> + <td class="md" nowrap valign="top"><a class="el" href="classNLAILOGIC_1_1CFactPattern.html">CFactPattern</a> * </td> + <td class="mdname1" valign="top" nowrap> </td> + <td class="md" valign="top">) </td> + <td class="md" nowrap><code> [virtual]</code></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="clause_8cpp-source.html#l00195">195</a> of file <a class="el" href="clause_8cpp-source.html">clause.cpp</a>. </td> + </tr> +</table> +<a name="a8" doxytag="NLAILOGIC::CClause::propagate"></a><p> +<table width="100%" cellpadding="2" cellspacing="0" border="0"> + <tr> + <td class="md"> + <table cellpadding="0" cellspacing="0" border="0"> + <tr> + <td class="md" nowrap valign="top"> virtual void NLAILOGIC::CClause::propagate </td> + <td class="md" valign="top">( </td> + <td class="md" nowrap valign="top"><a class="el" href="classstd_1_1list.html">std::list</a>< <a class="el" href="classNLAIAGENT_1_1IObjectIA.html">NLAIAGENT::IObjectIA</a> * > * </td> + <td class="mdname" nowrap> , </td> + </tr> + <tr> + <td></td> + <td></td> + <td class="md" nowrap>std::vector< <a class="el" href="memory__common_8h.html#a10">sint32</a> > & </td> + <td class="mdname" nowrap> </td> + </tr> + <tr> + <td></td> + <td class="md">) </td> + <td class="md" colspan="2"><code> [virtual]</code></td> + </tr> + + </table> + </td> + </tr> +</table> +<table cellspacing=5 cellpadding=0 border=0> + <tr> + <td> + + </td> + <td> + +<p> + </td> + </tr> +</table> +<a name="a19" doxytag="NLAILOGIC::CClause::showBuffer"></a><p> +<table width="100%" cellpadding="2" cellspacing="0" border="0"> + <tr> + <td class="md"> + <table cellpadding="0" cellspacing="0" border="0"> + <tr> + <td class="md" nowrap valign="top"> void NLAILOGIC::CClause::showBuffer </td> + <td class="md" valign="top">( </td> + <td class="mdname1" valign="top" nowrap> </td> + <td class="md" valign="top">) </td> + <td class="md" nowrap></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="clause_8cpp-source.html#l00304">304</a> of file <a class="el" href="clause_8cpp-source.html">clause.cpp</a>. +<p> +References <a class="el" href="clause_8h-source.html#l00043">_BufLiaisons</a>. </td> + </tr> +</table> +<a name="a18" doxytag="NLAILOGIC::CClause::showConflicts"></a><p> +<table width="100%" cellpadding="2" cellspacing="0" border="0"> + <tr> + <td class="md"> + <table cellpadding="0" cellspacing="0" border="0"> + <tr> + <td class="md" nowrap valign="top"> void NLAILOGIC::CClause::showConflicts </td> + <td class="md" valign="top">( </td> + <td class="mdname1" valign="top" nowrap> </td> + <td class="md" valign="top">) </td> + <td class="md" nowrap></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="clause_8cpp-source.html#l00293">293</a> of file <a class="el" href="clause_8cpp-source.html">clause.cpp</a>. +<p> +References <a class="el" href="clause_8h-source.html#l00044">_Conflits</a>. </td> + </tr> +</table> +<a name="a20" doxytag="NLAILOGIC::CClause::showLiaisons"></a><p> +<table width="100%" cellpadding="2" cellspacing="0" border="0"> + <tr> + <td class="md"> + <table cellpadding="0" cellspacing="0" border="0"> + <tr> + <td class="md" nowrap valign="top"> void NLAILOGIC::CClause::showLiaisons </td> + <td class="md" valign="top">( </td> + <td class="mdname1" valign="top" nowrap> </td> + <td class="md" valign="top">) </td> + <td class="md" nowrap></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="clause_8cpp-source.html#l00315">315</a> of file <a class="el" href="clause_8cpp-source.html">clause.cpp</a>. +<p> +References <a class="el" href="clause_8h-source.html#l00042">_Liaisons</a>. </td> + </tr> +</table> +<a name="a17" doxytag="NLAILOGIC::CClause::truthValue"></a><p> +<table width="100%" cellpadding="2" cellspacing="0" border="0"> + <tr> + <td class="md"> + <table cellpadding="0" cellspacing="0" border="0"> + <tr> + <td class="md" nowrap valign="top"> float NLAILOGIC::CClause::truthValue </td> + <td class="md" valign="top">( </td> + <td class="mdname1" valign="top" nowrap> </td> + <td class="md" valign="top">) </td> + <td class="md" nowrap> const<code> [virtual]</code></td> + </tr> + + </table> + </td> + </tr> +</table> +<table cellspacing=5 cellpadding=0 border=0> + <tr> + <td> + + </td> + <td> + +<p> +Returns a value in [0,1]. +<p> + +<p> +Reimplemented from <a class="el" href="classNLAILOGIC_1_1CVarSet.html#a11">NLAILOGIC::CVarSet</a>. +<p> +Definition at line <a class="el" href="clause_8cpp-source.html#l00280">280</a> of file <a class="el" href="clause_8cpp-source.html">clause.cpp</a>. +<p> +References <a class="el" href="clause_8h-source.html#l00045">_NbValid</a>. </td> + </tr> +</table> +<a name="a6" doxytag="NLAILOGIC::CClause::unify"></a><p> +<table width="100%" cellpadding="2" cellspacing="0" border="0"> + <tr> + <td class="md"> + <table cellpadding="0" cellspacing="0" border="0"> + <tr> + <td class="md" nowrap valign="top"> <a class="el" href="classNLAILOGIC_1_1CVarSet.html">CVarSet</a> * NLAILOGIC::CClause::unify </td> + <td class="md" valign="top">( </td> + <td class="md" nowrap valign="top"><a class="el" href="classNLAILOGIC_1_1CVarSet.html">CVarSet</a> * </td> + <td class="mdname1" valign="top" nowrap> </td> + <td class="md" valign="top">) </td> + <td class="md" nowrap><code> [virtual]</code></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="classNLAILOGIC_1_1CVarSet.html#a18">NLAILOGIC::CVarSet</a>. +<p> +Definition at line <a class="el" href="clause_8cpp-source.html#l00351">351</a> of file <a class="el" href="clause_8cpp-source.html">clause.cpp</a>. </td> + </tr> +</table> +<a name="a7" doxytag="NLAILOGIC::CClause::unifyLiaison"></a><p> +<table width="100%" cellpadding="2" cellspacing="0" border="0"> + <tr> + <td class="md"> + <table cellpadding="0" cellspacing="0" border="0"> + <tr> + <td class="md" nowrap valign="top"> <a class="el" href="classNLAILOGIC_1_1CValueSet.html">CValueSet</a>* NLAILOGIC::CClause::unifyLiaison </td> + <td class="md" valign="top">( </td> + <td class="md" nowrap valign="top">const <a class="el" href="classNLAILOGIC_1_1CValueSet.html">CValueSet</a> * </td> + <td class="mdname" nowrap> , </td> + </tr> + <tr> + <td></td> + <td></td> + <td class="md" nowrap><a class="el" href="classstd_1_1list.html">std::list</a>< <a class="el" href="classNLAIAGENT_1_1IObjectIA.html">NLAIAGENT::IObjectIA</a> * > * </td> + <td class="mdname" nowrap> , </td> + </tr> + <tr> + <td></td> + <td></td> + <td class="md" nowrap>std::vector< <a class="el" href="memory__common_8h.html#a10">sint32</a> > & </td> + <td class="mdname" nowrap> </td> + </tr> + <tr> + <td></td> + <td class="md">) </td> + <td class="md" colspan="2"></td> + </tr> + + </table> + </td> + </tr> +</table> +<table cellspacing=5 cellpadding=0 border=0> + <tr> + <td> + + </td> + <td> + +<p> + </td> + </tr> +</table> +<hr><h2>Member Data Documentation</h2> +<a name="n7" doxytag="NLAILOGIC::CClause::_Asserts"></a><p> +<table width="100%" cellpadding="2" cellspacing="0" border="0"> + <tr> + <td class="md"> + <table cellpadding="0" cellspacing="0" border="0"> + <tr> + <td class="md" nowrap valign="top"> std::vector<<a class="el" href="classNLAILOGIC_1_1IBaseAssert.html">IBaseAssert</a> *> NLAILOGIC::CClause::_Asserts<code> [protected]</code> + </table> + </td> + </tr> +</table> +<table cellspacing=5 cellpadding=0 border=0> + <tr> + <td> + + </td> + <td> + +<p> + +<p> +Definition at line <a class="el" href="clause_8h-source.html#l00048">48</a> of file <a class="el" href="clause_8h-source.html">clause.h</a>. +<p> +Referenced by <a class="el" href="rule_8cpp-source.html#l00101">NLAILOGIC::CRule::addConc</a>, <a class="el" href="clause_8cpp-source.html#l00124">addCond</a>, and <a class="el" href="clause_8cpp-source.html#l00110">findAssert</a>. </td> + </tr> +</table> +<a name="n4" doxytag="NLAILOGIC::CClause::_BufLiaisons"></a><p> +<table width="100%" cellpadding="2" cellspacing="0" border="0"> + <tr> + <td class="md"> + <table cellpadding="0" cellspacing="0" border="0"> + <tr> + <td class="md" nowrap valign="top"> <a class="el" href="classstd_1_1list.html">std::list</a>< <a class="el" href="classNLAILOGIC_1_1CValueSet.html">CValueSet</a> *> NLAILOGIC::CClause::_BufLiaisons<code> [protected]</code> + </table> + </td> + </tr> +</table> +<table cellspacing=5 cellpadding=0 border=0> + <tr> + <td> + + </td> + <td> + +<p> + +<p> +Definition at line <a class="el" href="clause_8h-source.html#l00043">43</a> of file <a class="el" href="clause_8h-source.html">clause.h</a>. +<p> +Referenced by <a class="el" href="clause_8cpp-source.html#l00328">addBuffer</a>, <a class="el" href="clause_8cpp-source.html#l00304">showBuffer</a>, and <a class="el" href="clause_8cpp-source.html#l00074">~CClause</a>. </td> + </tr> +</table> +<a name="n1" doxytag="NLAILOGIC::CClause::_Conds"></a><p> +<table width="100%" cellpadding="2" cellspacing="0" border="0"> + <tr> + <td class="md"> + <table cellpadding="0" cellspacing="0" border="0"> + <tr> + <td class="md" nowrap valign="top"> std::vector<<a class="el" href="classNLAILOGIC_1_1IBaseBoolType.html">IBaseBoolType</a> *> NLAILOGIC::CClause::_Conds<code> [protected]</code> + </table> + </td> + </tr> +</table> +<table cellspacing=5 cellpadding=0 border=0> + <tr> + <td> + + </td> + <td> + +<p> + +<p> +Definition at line <a class="el" href="clause_8h-source.html#l00040">40</a> of file <a class="el" href="clause_8h-source.html">clause.h</a>. +<p> +Referenced by <a class="el" href="clause_8cpp-source.html#l00124">addCond</a>, <a class="el" href="rule_8cpp-source.html#l00387">NLAILOGIC::CRule::backward</a>, <a class="el" href="rule_8cpp-source.html#l00239">NLAILOGIC::CRule::getDebugString</a>, and <a class="el" href="clause_8cpp-source.html#l00074">~CClause</a>. </td> + </tr> +</table> +<a name="n5" doxytag="NLAILOGIC::CClause::_Conflits"></a><p> +<table width="100%" cellpadding="2" cellspacing="0" border="0"> + <tr> + <td class="md"> + <table cellpadding="0" cellspacing="0" border="0"> + <tr> + <td class="md" nowrap valign="top"> <a class="el" href="classstd_1_1list.html">std::list</a>< <a class="el" href="classNLAILOGIC_1_1CValueSet.html">CValueSet</a> *> NLAILOGIC::CClause::_Conflits<code> [protected]</code> + </table> + </td> + </tr> +</table> +<table cellspacing=5 cellpadding=0 border=0> + <tr> + <td> + + </td> + <td> + +<p> + +<p> +Definition at line <a class="el" href="clause_8h-source.html#l00044">44</a> of file <a class="el" href="clause_8h-source.html">clause.h</a>. +<p> +Referenced by <a class="el" href="rule_8cpp-source.html#l00165">NLAILOGIC::CRule::addConflicts</a>, <a class="el" href="clause_8cpp-source.html#l00293">showConflicts</a>, and <a class="el" href="clause_8cpp-source.html#l00074">~CClause</a>. </td> + </tr> +</table> +<a name="n8" doxytag="NLAILOGIC::CClause::_FirstOrderTrue"></a><p> +<table width="100%" cellpadding="2" cellspacing="0" border="0"> + <tr> + <td class="md"> + <table cellpadding="0" cellspacing="0" border="0"> + <tr> + <td class="md" nowrap valign="top"> bool NLAILOGIC::CClause::_FirstOrderTrue<code> [protected]</code> + </table> + </td> + </tr> +</table> +<table cellspacing=5 cellpadding=0 border=0> + <tr> + <td> + + </td> + <td> + +<p> + +<p> +Definition at line <a class="el" href="clause_8h-source.html#l00050">50</a> of file <a class="el" href="clause_8h-source.html">clause.h</a>. </td> + </tr> +</table> +<a name="n3" doxytag="NLAILOGIC::CClause::_Liaisons"></a><p> +<table width="100%" cellpadding="2" cellspacing="0" border="0"> + <tr> + <td class="md"> + <table cellpadding="0" cellspacing="0" border="0"> + <tr> + <td class="md" nowrap valign="top"> <a class="el" href="classstd_1_1list.html">std::list</a>< <a class="el" href="classNLAILOGIC_1_1CValueSet.html">CValueSet</a> *> NLAILOGIC::CClause::_Liaisons<code> [protected]</code> + </table> + </td> + </tr> +</table> +<table cellspacing=5 cellpadding=0 border=0> + <tr> + <td> + + </td> + <td> + +<p> + +<p> +Definition at line <a class="el" href="clause_8h-source.html#l00042">42</a> of file <a class="el" href="clause_8h-source.html">clause.h</a>. +<p> +Referenced by <a class="el" href="clause_8cpp-source.html#l00328">addBuffer</a>, <a class="el" href="clause_8cpp-source.html#l00030">CClause</a>, <a class="el" href="clause_8cpp-source.html#l00315">showLiaisons</a>, <a class="el" href="rule_8cpp-source.html#l00318">NLAILOGIC::CRule::unifyBack</a>, and <a class="el" href="clause_8cpp-source.html#l00074">~CClause</a>. </td> + </tr> +</table> +<a name="n6" doxytag="NLAILOGIC::CClause::_NbValid"></a><p> +<table width="100%" cellpadding="2" cellspacing="0" border="0"> + <tr> + <td class="md"> + <table cellpadding="0" cellspacing="0" border="0"> + <tr> + <td class="md" nowrap valign="top"> <a class="el" href="memory__common_8h.html#a10">sint32</a> NLAILOGIC::CClause::_NbValid<code> [protected]</code> + </table> + </td> + </tr> +</table> +<table cellspacing=5 cellpadding=0 border=0> + <tr> + <td> + + </td> + <td> + +<p> + +<p> +Definition at line <a class="el" href="clause_8h-source.html#l00045">45</a> of file <a class="el" href="clause_8h-source.html">clause.h</a>. +<p> +Referenced by <a class="el" href="clause_8cpp-source.html#l00030">CClause</a>, <a class="el" href="clause_8cpp-source.html#l00275">isTrue</a>, and <a class="el" href="clause_8cpp-source.html#l00280">truthValue</a>. </td> + </tr> +</table> +<a name="n2" doxytag="NLAILOGIC::CClause::_PosVarsCond"></a><p> +<table width="100%" cellpadding="2" cellspacing="0" border="0"> + <tr> + <td class="md"> + <table cellpadding="0" cellspacing="0" border="0"> + <tr> + <td class="md" nowrap valign="top"> std::vector< std::vector<<a class="el" href="memory__common_8h.html#a10">sint32</a>> > NLAILOGIC::CClause::_PosVarsCond<code> [protected]</code> + </table> + </td> + </tr> +</table> +<table cellspacing=5 cellpadding=0 border=0> + <tr> + <td> + + </td> + <td> + +<p> + +<p> +Definition at line <a class="el" href="clause_8h-source.html#l00041">41</a> of file <a class="el" href="clause_8h-source.html">clause.h</a>. +<p> +Referenced by <a class="el" href="clause_8cpp-source.html#l00124">addCond</a>, <a class="el" href="clause_8cpp-source.html#l00048">CClause</a>, <a class="el" href="rule_8cpp-source.html#l00446">NLAILOGIC::CRule::getPosListBackward</a>, and <a class="el" href="rule_8cpp-source.html#l00465">NLAILOGIC::CRule::getPosListForward</a>. </td> + </tr> +</table> +<a name="n0" doxytag="NLAILOGIC::CClause::_SimpleConds"></a><p> +<table width="100%" cellpadding="2" cellspacing="0" border="0"> + <tr> + <td class="md"> + <table cellpadding="0" cellspacing="0" border="0"> + <tr> + <td class="md" nowrap valign="top"> <a class="el" href="classstd_1_1list.html">std::list</a><<a class="el" href="classNLAILOGIC_1_1CBoolAssert.html">CBoolAssert</a> *> NLAILOGIC::CClause::_SimpleConds<code> [protected]</code> + </table> + </td> + </tr> +</table> +<table cellspacing=5 cellpadding=0 border=0> + <tr> + <td> + + </td> + <td> + +<p> + +<p> +Definition at line <a class="el" href="clause_8h-source.html#l00039">39</a> of file <a class="el" href="clause_8h-source.html">clause.h</a>. </td> + </tr> +</table> +<a name="p0" doxytag="NLAILOGIC::CClause::IdClause"></a><p> +<table width="100%" cellpadding="2" cellspacing="0" border="0"> + <tr> + <td class="md"> + <table cellpadding="0" cellspacing="0" border="0"> + <tr> + <td class="md" nowrap valign="top"> const <a class="el" href="classNLAIC_1_1CIdentType.html">NLAIC::CIdentType</a> CClause::IdClause<code> [static]</code> + </table> + </td> + </tr> +</table> +<table cellspacing=5 cellpadding=0 border=0> + <tr> + <td> + + </td> + <td> + +<p> +<b>Initial value:</b><div class="fragment"><pre> <a class="code" href="classNLAIC_1_1CIdentType.html">NLAIC::CIdentType</a>( <font class="stringliteral">"Clause"</font>, <a class="code" href="classNLAIC_1_1CSelfClassFactory.html">NLAIC::CSelfClassFactory</a>(<a class="code" href="classNLAILOGIC_1_1CClause.html#a0">CClause</a>()), + <a class="code" href="classNLAIC_1_1CTypeOfObject.html#s12s2">NLAIC::CTypeOfObject::tLogic</a>, + <a class="code" href="classNLAIC_1_1CTypeOfOperator.html#s15s1">NLAIC::CTypeOfOperator::opAdd</a> )</pre></div> +<p> +Definition at line <a class="el" href="static__def__init_8cpp-source.html#l00449">449</a> of file <a class="el" href="static__def__init_8cpp-source.html">static_def_init.cpp</a>. </td> + </tr> +</table> +<hr>The documentation for this class was generated from the following files:<ul> +<li><a class="el" href="clause_8h-source.html">clause.h</a><li><a class="el" href="clause_8cpp-source.html">clause.cpp</a><li><a class="el" href="static__def__init_8cpp-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> |