diff options
Diffstat (limited to 'docs/doxygen/nel/fo__operator_8h-source.html')
| -rw-r--r-- | docs/doxygen/nel/fo__operator_8h-source.html | 179 |
1 files changed, 179 insertions, 0 deletions
diff --git a/docs/doxygen/nel/fo__operator_8h-source.html b/docs/doxygen/nel/fo__operator_8h-source.html new file mode 100644 index 00000000..70e571d1 --- /dev/null +++ b/docs/doxygen/nel/fo__operator_8h-source.html @@ -0,0 +1,179 @@ +<!doctype html public "-//W3C//DTD HTML 4.0 Transitional//EN" "http://www.w3.org/TR/REC-html40/loose.dtd"> +<HTML> +<HEAD> + <TITLE>nevrax.org : docs</TITLE> + <LINK REL=stylesheet TYPE="text/css" HREF="http://www.nevrax.org/inc/css/nevrax.css"> + <link href="doxygen.css" rel="stylesheet" type="text/css"> +</HEAD> +<BODY MARGINHEIGHT="0" MARGINWIDTH="0"> + +<!-- uplinks --> +<TABLE CELLSPACING=0 CELLPADDING=0 BORDER=0> + <TR> + <TD WIDTH=16><IMG SRC="http://www.nevrax.org/inc/img/pixel.gif" WIDTH="16" HEIGHT="16" BORDER=0 ALT=""></TD> + <TD WIDTH=140 BGCOLOR=#dddddd><IMG SRC="http://www.nevrax.org/inc/img/pixel.gif" WIDTH="140" HEIGHT="16" BORDER=0 ALT=""></TD> + <TD WIDTH=16><IMG SRC="http://www.nevrax.org/inc/img/pixel.gif" WIDTH="16" HEIGHT="16" BORDER=0 ALT=""></TD> + <TD><IMG width=6 height=14 SRC="http://www.nevrax.org/inc/img/reddots.gif" ALT="#" VSPACE=2 HSPACE=2 BORDER=0 ></TD><TD VALIGN=middle> <A CLASS=uplinks HREF=http://www.nevrax.org><b>Home</B></FONT></A> </TD> + <TD><IMG width=6 height=14 SRC="http://www.nevrax.org/inc/img/reddots.gif" ALT="#" VSPACE=2 HSPACE=2 BORDER=0 ></TD><TD VALIGN=middle> <A CLASS=uplinks HREF=http://www.nevrax.com><b>nevrax.com</B></FONT></A> </TD> + </TR> +</TABLE> + +<!-- banner Nevrax --> +<TABLE CELLSPACING=0 CELLPADDING=0 BORDER=0 WIDTH=100%> + <TR><TD BGCOLOR="#000000" BACKGROUND="http://www.nevrax.org/inc/img/black_banner.jpg"><A HREF="http://www.nevrax.org"><IMG SRC="http://www.nevrax.org/inc/img/nevrax.gif" WIDTH="170" HEIGHT="45" BORDER=0 ALT="Nevrax" ></A></TD></TR> +</TABLE> + +<!-- main table --> +<TABLE CELLSPACING=0 CELLPADDING=0 BORDER=0 height=100%> + <TR> + <TD WIDTH=16><IMG SRC="http://www.nevrax.org/inc/img/pixel.gif" WIDTH="16" HEIGHT="10" BORDER=0 ALT=""></TD> + <TD WIDTH=140 BGCOLOR=#dddddd VALIGN=TOP ALIGN=middle><IMG SRC="http://www.nevrax.org/inc/img/pixel.gif" WIDTH="140" HEIGHT="10" BORDER=0 ALT=""> + + <!------ Begin Box ------> + <TABLE BORDER=0 CELLSPACING=0 CELLPADDING=0 BGCOLOR=black><TR><TD><TABLE border=0 cellspacing=2 cellpadding=0 width=120><tr><TD ALIGN=middle bgcolor=black> + <FONT COLOR=white FACE="sans-serif"><B>Nevrax.org</B></FONT></TD></TR><tr><td colspan=2 bgcolor=#FFFFFF> + <TABLE cellspacing=0 cellpadding=1 border=0> + <tr><td ALIGN=middle><a class='linkbox' href="http://www.nevrax.org/news/" TITLE="Rubrique news"><img width=13 height=15 hspace=5 border=0 src=http://www.nevrax.org/inc/img/picto-news.gif ALT=#></A></td><td><a class='linkbox' href="http://www.nevrax.org/news/" TITLE="News">News</a></td></tr> + <tr><td ALIGN=middle><a class='linkbox' href="http://www.nevrax.org/mail/" TITLE="Rubrique mail"><img width=15 height=11 hspace=5 border=0 src=http://www.nevrax.org/inc/img/picto-mail.gif ALT=#></A></td><td><a class='linkbox' href="http://www.nevrax.org/mail/" TITLE="Mailing list archive">Mailing-list</a></td></tr> + <tr><td ALIGN=middle><a class='linkbox' href="http://www.nevrax.org/docs/" TITLE="Rubrique docs"><img width=14 height=16 hspace=5 border=0 src=http://www.nevrax.org/inc/img/picto-docs.gif ALT=#></A></td><td><a class='linkbox' href="http://www.nevrax.org/docs/" TITLE="Documentation">Documentation</a></td></tr> + <tr><td ALIGN=middle><a class='linkbox' href="http://www.nevrax.org/cvs/" TITLE="Rubrique cvs"><img width=13 height=17 hspace=5 border=0 src=http://www.nevrax.org/inc/img/picto-cvs.gif ALT=#></A></td><td><a class='linkbox' href="http://www.nevrax.org/cvs/" TITLE="CVS Web">CVS</a></td></tr> + <tr><td ALIGN=middle><a class='linkbox' href="http://www.nevrax.org/bugs/" TITLE="Rubrique bugs"><img width=20 height=16 hspace=5 border=0 src=http://www.nevrax.org/inc/img/picto-bugs.gif ALT=#></A></td><td><a class='linkbox' href="http://www.nevrax.org/bugs/" TITLE="Bugtracking">Bugs</a></td></tr> + <tr><td ALIGN=middle><a class='linkbox' href="http://www.nevrax.org/GPL.php3" TITLE="Rubrique license"><img width=18 height=12 hspace=5 border=0 src=http://www.nevrax.org/inc/img/picto-gpl.gif ALT=#></A></td><td><a class='linkbox' href="http://www.nevrax.org/GPL.php3" TITLE="License">License</a></td></tr> + </TABLE> + </TD></TR></TABLE></TD></TR></TABLE> + <!------ End Box ------> + + </TD> + <TD WIDTH=15><IMG SRC="http://www.nevrax.org/inc/img/pixel.gif" WIDTH="16" HEIGHT="16" BORDER=0 ALT=""></TD> + <TD ALIGN=left valign=top><IMG SRC="http://www.nevrax.org/inc/img/pixel.gif" WIDTH="140" HEIGHT="10" BORDER=0 ALT=""> + +<!-- title --> +<TABLE background="http://www.nevrax.org/inc/img/redline.gif" CELLSPACING=0 CELLPADDING=0 BORDER=0 width=100%><tr><td> +<A HREF="http://www.nevrax.org/docs/"><img src="http://www.nevrax.org/inc/img/t_docs.gif" ALT="Docs" HEIGHT=20 BORDER=0></A> +</td><td><IMG SRC="http://www.nevrax.org/inc/img/pixel.gif" WIDTH="1" HEIGHT="1" BORDER=0 ALT=""> +</td></tr></table> + + +<!-- block --> +<TABLE bgcolor="#dddddd" CELLSPACING=0 CELLPADDING=0 BORDER=0 width=100%><tr><td width=1% valign=middle><img width=6 height=14 hspace=2 vspace=2 src="http://www.nevrax.org/inc/img/reddots.gif"></TD> + <TD><B>Documentation</B></TD> + <TD ALIGN=RIGHT> </td> +</tr></table> +<!-- Generated by Doxygen 1.2.14 --> +<center> +<a class="qindex" href="index.html">Main Page</a> <a class="qindex" href="namespaces.html">Namespace List</a> <a class="qindex" href="hierarchy.html">Class Hierarchy</a> <a class="qindex" href="classes.html">Alphabetical List</a> <a class="qindex" href="annotated.html">Compound List</a> <a class="qindex" href="files.html">File List</a> <a class="qindex" href="namespacemembers.html">Namespace Members</a> <a class="qindex" href="functions.html">Compound Members</a> <a class="qindex" href="globals.html">File Members</a> <a class="qindex" href="pages.html">Related Pages</a> <a class="qindexRef" doxygen="_cgi:http://www.nevrax.org/cgi-bin/nel-search.cgi" href="http://www.nevrax.org/cgi-bin/nel-search.cgi">Search</a> </center> +<hr><h1>fo_operator.h</h1><a href="fo__operator_8h.html">Go to the documentation of this file.</a><div class="fragment"><pre>00001 +00007 <font class="comment">/* Copyright, 2000 Nevrax Ltd.</font> +00008 <font class="comment"> *</font> +00009 <font class="comment"> * This file is part of NEVRAX NEL.</font> +00010 <font class="comment"> * NEVRAX NEL is free software; you can redistribute it and/or modify</font> +00011 <font class="comment"> * it under the terms of the GNU NLIACeral Public License as published by</font> +00012 <font class="comment"> * the Free Software Foundation; either version 2, or (at your option)</font> +00013 <font class="comment"> * any later version.</font> +00014 <font class="comment"></font> +00015 <font class="comment"> * NEVRAX NEL is distributed in the hope that it will be useful, but</font> +00016 <font class="comment"> * WITHOUT ANY WARRANTY; without even the implied warranty of</font> +00017 <font class="comment"> * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU</font> +00018 <font class="comment"> * NLIACeral Public License for more details.</font> +00019 <font class="comment"></font> +00020 <font class="comment"> * You should have received a copy of the GNU NLIACeral Public License</font> +00021 <font class="comment"> * along with NEVRAX NEL; see the file COPYING. If not, write to the</font> +00022 <font class="comment"> * Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston,</font> +00023 <font class="comment"> * MA 02111-1307, USA.</font> +00024 <font class="comment"> */</font> +00025 +00026 <font class="preprocessor">#ifndef NL_FOOPERATOR_H</font> +00027 <font class="preprocessor"></font><font class="preprocessor">#define NL_FOOPERATOR_H</font> +00028 <font class="preprocessor"></font> +00029 <font class="preprocessor">#include "<a class="code" href="agent_8h.html">nel/ai/agent/agent.h</a>"</font> +00030 <font class="preprocessor">#include "<a class="code" href="operator_8h.html">nel/ai/logic/operator.h</a>"</font> +00031 +00032 <font class="keyword">namespace </font>NLAILOGIC +00033 { +00034 <font class="keyword">class </font>IBaseVar; +00035 <font class="keyword">class </font>IBaseBoolType; +00036 <font class="keyword">class </font>IBaseAssert; +00037 <font class="keyword">class </font>CFactPattern; +00038 <font class="keyword">class </font>CVarSet; +00039 <font class="keyword">class </font>CFact; +00040 <font class="keyword">class </font>CValueSet; +00041 +<a name="l00042"></a><a class="code" href="classNLAILOGIC_1_1CFirstOrderOperator.html">00042</a> <font class="keyword">class </font>CFirstOrderOperator : <font class="keyword">public</font> IBaseOperator { +00043 <font class="keyword">protected</font>: +<a name="l00044"></a><a class="code" href="classNLAILOGIC_1_1CFirstOrderOperator.html#n0">00044</a> std::vector<IBaseVar *> <a class="code" href="classNLAILOGIC_1_1CFirstOrderOperator.html#n0">_Vars</a>; +<a name="l00045"></a><a class="code" href="classNLAILOGIC_1_1CFirstOrderOperator.html#n1">00045</a> std::vector< std::vector<sint32> > <a class="code" href="classNLAILOGIC_1_1CFirstOrderOperator.html#n1">_PosVarsCond</a>; +<a name="l00046"></a><a class="code" href="classNLAILOGIC_1_1CFirstOrderOperator.html#n2">00046</a> std::vector< std::vector<sint32> > <a class="code" href="classNLAILOGIC_1_1CFirstOrderOperator.html#n2">_PosVarsConc</a>; +00047 +00049 <font class="keywordtype">void</font> <a class="code" href="classNLAILOGIC_1_1CFirstOrderOperator.html#b0">compileFactPattern</a> (CFactPattern *, std::vector<IBaseAssert *> &, std::vector<sint32> &); +00050 +00052 <a class="code" href="types__nl_8h.html#a8">sint32</a> <a class="code" href="classNLAILOGIC_1_1CFirstOrderOperator.html#b1">CFirstOrderOperator::getVarPos</a>(IBaseVar *var); +00053 <font class="keywordtype">void</font> <a class="code" href="classNLAILOGIC_1_1CFirstOrderOperator.html#b2">getPosListForward</a>(<a class="code" href="types__nl_8h.html#a8">sint32</a>, <a class="code" href="types__nl_8h.html#a8">sint32</a>, std::vector<sint32> &); +00054 <font class="keywordtype">void</font> <a class="code" href="classNLAILOGIC_1_1CFirstOrderOperator.html#b3">getPosListBackward</a>(<a class="code" href="types__nl_8h.html#a8">sint32</a>, <a class="code" href="types__nl_8h.html#a8">sint32</a>, std::vector<sint32> &); +00055 <font class="keywordtype">void</font> <a class="code" href="classNLAILOGIC_1_1CFirstOrderOperator.html#b4">getAssertPos</a>(IBaseAssert *, std::vector<IBaseAssert *> &, std::vector<sint32> &); +00056 CValueSet *<a class="code" href="classNLAILOGIC_1_1CFirstOrderOperator.html#b5">unifyBackward</a>(<a class="code" href="classstd_1_1list.html">std::list<CFact *></a> &); +00057 CValueSet *<a class="code" href="classNLAILOGIC_1_1CFirstOrderOperator.html#b6">unifyForward</a>(<a class="code" href="classstd_1_1list.html">std::list<CFact *></a> &); +00058 +00059 <font class="comment">// Buils a CFact from its assret and an instanciation for the values of the variables of the rule.</font> +00060 CFact *<a class="code" href="classNLAILOGIC_1_1CFirstOrderOperator.html#b7">buildFromVars</a>(IBaseAssert *, std::vector<sint32> &, CValueSet *); +00061 +00063 <a class="code" href="classstd_1_1list.html">std::list<CValueSet *></a> *<a class="code" href="classNLAILOGIC_1_1CFirstOrderOperator.html#b8">propagate</a>(<a class="code" href="classstd_1_1list.html">std::list<CValueSet *></a> &, CValueSet *, std::vector<sint32> &); +00064 +00066 CValueSet *<a class="code" href="classNLAILOGIC_1_1CFirstOrderOperator.html#b9">unifyLiaison</a>( <font class="keyword">const</font> CValueSet *, CValueSet *, std::vector<sint32> &); +00067 +00068 <font class="keyword">public</font>: +00069 <a class="code" href="classNLAILOGIC_1_1CFirstOrderOperator.html#a0">CFirstOrderOperator</a>(); +00070 <a class="code" href="classNLAILOGIC_1_1CFirstOrderOperator.html#a0">CFirstOrderOperator</a>(<font class="keyword">const</font> <a class="code" href="classNLAILOGIC_1_1CFirstOrderOperator.html#a0">CFirstOrderOperator</a> &); +00071 <a class="code" href="classNLAILOGIC_1_1CFirstOrderOperator.html#a2">~CFirstOrderOperator</a>(); +00072 +00074 <a class="code" href="classstd_1_1list.html">std::list<CFactPattern *></a> *<a class="code" href="classNLAILOGIC_1_1CFirstOrderOperator.html#a3">forward</a>(CFactPattern *); +00075 +00077 <a class="code" href="classstd_1_1list.html">std::list<CFactPattern *></a> *<a class="code" href="classNLAILOGIC_1_1CFirstOrderOperator.html#a4">backward</a>(CFactPattern *); +00078 +00080 <font class="keywordtype">void</font> <a class="code" href="classNLAILOGIC_1_1CFirstOrderOperator.html#a5">addPrecondition</a>(CFactPattern *); +00081 +00083 <font class="keywordtype">void</font> <a class="code" href="classNLAILOGIC_1_1CFirstOrderOperator.html#a6">addPostcondition</a>(CFactPattern *); +00084 +00086 <a class="code" href="classstd_1_1list.html">std::list<CFact *></a> *<a class="code" href="classNLAILOGIC_1_1CFirstOrderOperator.html#a4">backward</a>(<a class="code" href="classstd_1_1list.html">std::list<CFact *></a> &); +00087 +00089 <a class="code" href="classstd_1_1list.html">std::list<CFact *></a> *<a class="code" href="classNLAILOGIC_1_1CFirstOrderOperator.html#a3">forward</a>(<a class="code" href="classstd_1_1list.html">std::list<CFact *></a> &); +00090 +00092 <a class="code" href="classstd_1_1list.html">std::list<CFact *></a> *<a class="code" href="classNLAILOGIC_1_1CFirstOrderOperator.html#b8">propagate</a>(<a class="code" href="classstd_1_1list.html">std::list<CFact *></a> &); +00093 +00094 <font class="keyword">virtual</font> <font class="keyword">const</font> <a class="code" href="classNLAIC_1_1IBasicType.html">NLAIC::IBasicType</a> *<a class="code" href="classNLAILOGIC_1_1CFirstOrderOperator.html#a10">clone</a>() <font class="keyword">const</font>; +00095 <font class="keyword">virtual</font> <font class="keyword">const</font> <a class="code" href="classNLAIC_1_1IBasicType.html">NLAIC::IBasicType</a> *<a class="code" href="classNLAILOGIC_1_1CFirstOrderOperator.html#a11">newInstance</a>() <font class="keyword">const</font>; +00096 <font class="keyword">virtual</font> <font class="keywordtype">void</font> <a class="code" href="classNLAILOGIC_1_1CFirstOrderOperator.html#a12">save</a>(<a class="code" href="classNLMISC_1_1IStream.html">NLMISC::IStream</a> &os); +00097 <font class="keyword">virtual</font> <font class="keywordtype">void</font> <a class="code" href="classNLAILOGIC_1_1CFirstOrderOperator.html#a13">load</a>(<a class="code" href="classNLMISC_1_1IStream.html">NLMISC::IStream</a> &is); +00098 <font class="keyword">virtual</font> <font class="keywordtype">void</font> <a class="code" href="classNLAILOGIC_1_1CFirstOrderOperator.html#a14">getDebugString</a>(std::string &) <font class="keyword">const</font>; +00099 <font class="keyword">virtual</font> <font class="keywordtype">bool</font> <a class="code" href="classNLAILOGIC_1_1CFirstOrderOperator.html#a15">isEqual</a>(<font class="keyword">const</font> <a class="code" href="classNLAILOGIC_1_1CFirstOrderOperator.html#a0">CFirstOrderOperator</a> &a) <font class="keyword">const</font>; +00100 <font class="keyword">virtual</font> <font class="keyword">const</font> <a class="code" href="structNLAIAGENT_1_1IObjectIA_1_1CProcessResult.html">NLAIAGENT::IObjectIA::CProcessResult</a> &<a class="code" href="classNLAILOGIC_1_1CFirstOrderOperator.html#a16">run</a>(); +00101 <font class="keywordtype">bool</font> <a class="code" href="classNLAILOGIC_1_1CFirstOrderOperator.html#a15">isEqual</a>(<font class="keyword">const</font> <a class="code" href="classNLAIAGENT_1_1IBasicObjectIA.html">NLAIAGENT::IBasicObjectIA</a> &a) <font class="keyword">const</font>; +00102 <font class="keyword">const</font> <a class="code" href="classNLAIC_1_1CIdentType.html">NLAIC::CIdentType</a> &<a class="code" href="classNLAILOGIC_1_1CFirstOrderOperator.html#a18">getType</a>() <font class="keyword">const</font>; +00103 +00104 <font class="keyword">virtual</font> <font class="keywordtype">bool</font> <a class="code" href="classNLAILOGIC_1_1CFirstOrderOperator.html#a19">operator==</a>(<a class="code" href="classNLAILOGIC_1_1CFirstOrderOperator.html#a0">CFirstOrderOperator</a> *); +00105 +00106 <font class="keyword">static</font> <font class="keyword">const</font> <a class="code" href="classNLAIC_1_1CIdentType.html">NLAIC::CIdentType</a> <a class="code" href="classNLAILOGIC_1_1CFirstOrderOperator.html#p0">IdCFirstOrderOperator</a>; +00107 +00108 <a class="code" href="classstd_1_1list.html">std::list<CFact *></a> *<a class="code" href="classNLAILOGIC_1_1CFirstOrderOperator.html#a20">test</a>(<a class="code" href="classstd_1_1list.html">std::list<CFact *></a> &); +00109 +00111 <font class="keyword">virtual</font> <font class="keywordtype">bool</font> <a class="code" href="classNLAILOGIC_1_1CFirstOrderOperator.html#a21">isTrue</a>() <font class="keyword">const</font>; +00112 <font class="keyword">virtual</font> <font class="keywordtype">float</font> <a class="code" href="classNLAILOGIC_1_1CFirstOrderOperator.html#a22">truthValue</a>() <font class="keyword">const</font>; +00113 <font class="keyword">virtual</font> <font class="keywordtype">bool</font> <a class="code" href="classNLAILOGIC_1_1CFirstOrderOperator.html#a23">isValid</a>(CFactBase *); +00114 +00115 <font class="keyword">virtual</font> <font class="keywordtype">float</font> <a class="code" href="classNLAILOGIC_1_1CFirstOrderOperator.html#a24">priority</a>() <font class="keyword">const</font>; +00116 <font class="keyword">virtual</font> <font class="keywordtype">void</font> <a class="code" href="classNLAILOGIC_1_1CFirstOrderOperator.html#a25">success</a>(); +00117 <font class="keyword">virtual</font> <font class="keywordtype">void</font> <a class="code" href="classNLAILOGIC_1_1CFirstOrderOperator.html#a26">failure</a>(); +00118 <font class="keyword">virtual</font> <font class="keywordtype">void</font> <a class="code" href="classNLAILOGIC_1_1CFirstOrderOperator.html#a25">success</a>(<a class="code" href="classNLAILOGIC_1_1IBaseOperator.html#a4">IBaseOperator</a> *); +00119 <font class="keyword">virtual</font> <font class="keywordtype">void</font> <a class="code" href="classNLAILOGIC_1_1CFirstOrderOperator.html#a26">failure</a>(<a class="code" href="classNLAILOGIC_1_1IBaseOperator.html#a4">IBaseOperator</a> *); +00120 }; +00121 } +00122 <font class="preprocessor">#endif</font> +</pre></div> + +<!-- footer --> +<BR><FONT Size=+5> </FONT> +</TD> +<TD WIDTH=15><IMG SRC=http://www.nevrax.org/inc/img/pixel.gif WIDTH=15 HEIGHT=15 BORDER=0 ALT=""></TD> +</TR> +</TABLE> +</BODY> +</HTML> |