From 0ea5fc66924303d1bf73ba283a383e2aadee02f2 Mon Sep 17 00:00:00 2001 From: neodarz Date: Sat, 11 Aug 2018 20:21:34 +0200 Subject: Initial commit --- .../nel/classNLAILOGIC_1_1IBaseOperator.html | 908 +++++++++++++++++++++ 1 file changed, 908 insertions(+) create mode 100644 docs/doxygen/nel/classNLAILOGIC_1_1IBaseOperator.html (limited to 'docs/doxygen/nel/classNLAILOGIC_1_1IBaseOperator.html') diff --git a/docs/doxygen/nel/classNLAILOGIC_1_1IBaseOperator.html b/docs/doxygen/nel/classNLAILOGIC_1_1IBaseOperator.html new file mode 100644 index 00000000..3449f535 --- /dev/null +++ b/docs/doxygen/nel/classNLAILOGIC_1_1IBaseOperator.html @@ -0,0 +1,908 @@ + + + + nevrax.org : docs + + + + + + + + + + + + + + +
# Home   # nevrax.com   
+ + + + +
Nevrax
+ + + + + + + + + + +
+ + +
+ Nevrax.org
+ + + + + + + +
#News
#Mailing-list
#Documentation
#CVS
#Bugs
#License
+
+ + +
+ + +
+Docs + +
+  + + + + + +
Documentation 
+ +
+Main Page   Namespace List   Class Hierarchy   Alphabetical List   Compound List   File List   Namespace Members   Compound Members   File Members   Related Pages   Search  
+

NLAILOGIC::IBaseOperator Class Reference

#include <operator.h> +

+

Inheritance diagram for NLAILOGIC::IBaseOperator: +

+ +NLAILOGIC::IBaseBoolType +NLAIAGENT::IObjetOp +NLAIAGENT::IObjectIA +NLAIAGENT::IBasicObjectIA +NLAIC::IBasicInterface +NLAIC::IBasicType +NLAIC::IPointerGestion +NLMISC::IStreamable +NLMISC::IClassable +NLAILOGIC::CBoolOperator +NLAILOGIC::CFirstOrderOperator + +List of all members. + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +

Public Methods

virtual std::list< CFact * > * test (std::list< CFact * > &)
virtual std::list< CFact * > * backward (std::list< CFact * > &)=0
virtual std::list< CFact * > * forward (std::list< CFact * > &)=0
virtual std::list< CFact * > * propagate (std::list< CFact * > &)=0
 IBaseOperator ()
 IBaseOperator (const char *)
virtual ~IBaseOperator ()
 IBaseOperator (const IBaseOperator &)
void setComment (char *)
 Sets teh comment for the operator. More...

virtual void setGoal (IBaseAssert *)
 Sets the goals the operator tries to achieve. More...

virtual bool isValid (CFactBase *)=0
 Asks wether the operator's preconditions are validated,. More...

virtual float priority () const=0
 Priority of the operator. More...

virtual void success ()=0
 Own success and failure functions These function telle other operators and goals that might be waiting for the execution of this one. More...

virtual void failure ()=0
virtual void success (IBaseOperator *)=0
 Dependencies failure and success notification These functions are called by other operators or goals who failed or succeeded. More...

virtual void failure (IBaseOperator *)=0
const std::vector< IBaseAssert * > & getPrecondAsserts () const
const std::vector< IBaseAssert * > & getPostCondAsserts () const
virtual void save (NLMISC::IStream &os)
 Save the class in a stream. More...

virtual void load (NLMISC::IStream &is)
 Load the class from a stream. More...


Protected Attributes

char * _Comment
 Description of the operator. More...

IBaseAssert_Goal
std::vector< IBaseAssert * > _Conds
 Preconditions asserts. More...

std::vector< IBaseAssert * > _Concs
 Postconditions asserts. More...

+

Constructor & Destructor Documentation

+

+ + + + +
+ + + + + + + + + +
NLAILOGIC::IBaseOperator::IBaseOperator  
+
+ + + + + +
+   + + +

+ +

+Definition at line 33 of file operator.cpp. +

+References _Comment, and _Goal.

+

+ + + + +
+ + + + + + + + + + +
NLAILOGIC::IBaseOperator::IBaseOperator const char *  
+
+ + + + + +
+   + + +

+ +

+Definition at line 39 of file operator.cpp. +

+References _Comment, and _Goal.

+

+ + + + +
+ + + + + + + + + +
NLAILOGIC::IBaseOperator::~IBaseOperator   [virtual]
+
+ + + + + +
+   + + +

+ +

+Definition at line 68 of file operator.cpp. +

+References _Comment, and _Goal.

+

+ + + + +
+ + + + + + + + + + +
NLAILOGIC::IBaseOperator::IBaseOperator const IBaseOperator &  
+
+ + + + + +
+   + + +

+ +

+Definition at line 46 of file operator.cpp. +

+References _Comment, _Concs, _Conds, and _Goal.

+


Member Function Documentation

+

+ + + + +
+ + + + + + + + + + +
virtual std::list<CFact *>* NLAILOGIC::IBaseOperator::backward std::list< CFact * > &   [pure virtual]
+
+ + + + + +
+   + + +

+ +

+Implemented in NLAILOGIC::CBoolOperator.

+

+ + + + +
+ + + + + + + + + + +
virtual void NLAILOGIC::IBaseOperator::failure IBaseOperator *   [pure virtual]
+
+ + + + + +
+   + + +

+ +

+Implemented in NLAILOGIC::CBoolOperator.

+

+ + + + +
+ + + + + + + + + +
virtual void NLAILOGIC::IBaseOperator::failure   [pure virtual]
+
+ + + + + +
+   + + +

+ +

+Implemented in NLAILOGIC::CBoolOperator.

+

+ + + + +
+ + + + + + + + + + +
virtual std::list<CFact *>* NLAILOGIC::IBaseOperator::forward std::list< CFact * > &   [pure virtual]
+
+ + + + + +
+   + + +

+ +

+Implemented in NLAILOGIC::CBoolOperator.

+

+ + + + +
+ + + + + + + + + +
const std::vector< IBaseAssert * > & NLAILOGIC::IBaseOperator::getPostCondAsserts   const
+
+ + + + + +
+   + + +

+ +

+Definition at line 97 of file operator.cpp. +

+References _Concs.

+

+ + + + +
+ + + + + + + + + +
const std::vector< IBaseAssert * > & NLAILOGIC::IBaseOperator::getPrecondAsserts   const
+
+ + + + + +
+   + + +

+ +

+Definition at line 92 of file operator.cpp. +

+References _Conds.

+

+ + + + +
+ + + + + + + + + + +
virtual bool NLAILOGIC::IBaseOperator::isValid CFactBase  [pure virtual]
+
+ + + + + +
+   + + +

+Asks wether the operator's preconditions are validated,. +

+ +

+Implemented in NLAILOGIC::CBoolOperator.

+

+ + + + +
+ + + + + + + + + + +
void NLAILOGIC::IBaseOperator::load NLMISC::IStream  is [virtual]
+
+ + + + + +
+   + + +

+Load the class from a stream. +

+ +

+Implements NLAIC::IBasicInterface. +

+Reimplemented in NLAILOGIC::CBoolOperator. +

+Definition at line 122 of file operator.cpp. +

+References _Concs, _Conds, NLAIC::CIdentTypeAlloc::allocClass, id, and NLMISC::IStream::serial.

+

+ + + + +
+ + + + + + + + + +
virtual float NLAILOGIC::IBaseOperator::priority   const [pure virtual]
+
+ + + + + +
+   + + +

+Priority of the operator. +

+ +

+Implemented in NLAILOGIC::CBoolOperator.

+

+ + + + +
+ + + + + + + + + + +
virtual std::list<CFact *>* NLAILOGIC::IBaseOperator::propagate std::list< CFact * > &   [pure virtual]
+
+ + + + + +
+   + + +

+ +

+Implemented in NLAILOGIC::CBoolOperator.

+

+ + + + +
+ + + + + + + + + + +
void NLAILOGIC::IBaseOperator::save NLMISC::IStream  os [virtual]
+
+ + + + + +
+   + + +

+Save the class in a stream. +

+ +

+Implements NLAIC::IBasicInterface. +

+Reimplemented in NLAILOGIC::CBoolOperator. +

+Definition at line 102 of file operator.cpp. +

+References _Concs, _Conds, NLAIC::IBasicType::getType, and NLMISC::IStream::serial.

+

+ + + + +
+ + + + + + + + + + +
void NLAILOGIC::IBaseOperator::setComment char *  
+
+ + + + + +
+   + + +

+Sets teh comment for the operator. +

+ +

+Definition at line 78 of file operator.cpp. +

+References _Comment.

+

+ + + + +
+ + + + + + + + + + +
void NLAILOGIC::IBaseOperator::setGoal IBaseAssert  [virtual]
+
+ + + + + +
+   + + +

+Sets the goals the operator tries to achieve. +

+ +

+Definition at line 150 of file operator.cpp. +

+References _Goal.

+

+ + + + +
+ + + + + + + + + + +
virtual void NLAILOGIC::IBaseOperator::success IBaseOperator *   [pure virtual]
+
+ + + + + +
+   + + +

+Dependencies failure and success notification These functions are called by other operators or goals who failed or succeeded. +

+ +

+Implemented in NLAILOGIC::CBoolOperator.

+

+ + + + +
+ + + + + + + + + +
virtual void NLAILOGIC::IBaseOperator::success   [pure virtual]
+
+ + + + + +
+   + + +

+Own success and failure functions These function telle other operators and goals that might be waiting for the execution of this one. +

+ +

+Implemented in NLAILOGIC::CBoolOperator.

+

+ + + + +
+ + + + + + + + + + +
virtual std::list<CFact *>* NLAILOGIC::IBaseOperator::test std::list< CFact * > &   [inline, virtual]
+
+ + + + + +
+   + + +

+ +

+Reimplemented in NLAILOGIC::CFirstOrderOperator. +

+Definition at line 58 of file operator.h. +

+Referenced by NLAILOGIC::CBoolOperator::propagate, and NLAILOGIC::CBoolOperator::save.

+


Member Data Documentation

+

+ + + + +
+ + +
char* NLAILOGIC::IBaseOperator::_Comment [protected] +
+
+ + + + + +
+   + + +

+Description of the operator. +

+ +

+Reimplemented in NLAILOGIC::CBoolOperator. +

+Definition at line 48 of file operator.h. +

+Referenced by NLAILOGIC::CFirstOrderOperator::CFirstOrderOperator, NLAILOGIC::CFirstOrderOperator::getDebugString, IBaseOperator, setComment, and ~IBaseOperator.

+

+ + + + +
+ + +
std::vector<IBaseAssert *> NLAILOGIC::IBaseOperator::_Concs [protected] +
+
+ + + + + +
+   + + +

+Postconditions asserts. +

+ +

+Definition at line 54 of file operator.h. +

+Referenced by NLAILOGIC::CFirstOrderOperator::addPostcondition, NLAILOGIC::CBoolOperator::addPostcondition, NLAILOGIC::CFirstOrderOperator::CFirstOrderOperator, NLAILOGIC::CBoolOperator::clone, NLAILOGIC::CFirstOrderOperator::forward, NLAILOGIC::CFirstOrderOperator::getDebugString, NLAILOGIC::CBoolOperator::getDebugString, getPostCondAsserts, IBaseOperator, load, NLAILOGIC::CFirstOrderOperator::propagate, NLAILOGIC::CBoolOperator::propagate, save, NLAILOGIC::CBoolOperator::save, and NLAILOGIC::CFirstOrderOperator::unifyBackward.

+

+ + + + +
+ + +
std::vector<IBaseAssert *> NLAILOGIC::IBaseOperator::_Conds [protected] +
+
+ + + + + +
+   + + +

+Preconditions asserts. +

+ +

+Definition at line 52 of file operator.h. +

+Referenced by NLAILOGIC::CFirstOrderOperator::addPostcondition, NLAILOGIC::CFirstOrderOperator::addPrecondition, NLAILOGIC::CBoolOperator::addPrecondition, NLAILOGIC::CFirstOrderOperator::backward, NLAILOGIC::CBoolOperator::backward, NLAILOGIC::CFirstOrderOperator::CFirstOrderOperator, NLAILOGIC::CBoolOperator::clone, NLAILOGIC::CFirstOrderOperator::getDebugString, NLAILOGIC::CBoolOperator::getDebugString, getPrecondAsserts, IBaseOperator, NLAILOGIC::CBoolOperator::isTrue, NLAILOGIC::CFirstOrderOperator::isValid, load, NLAILOGIC::CFirstOrderOperator::propagate, NLAILOGIC::CBoolOperator::propagate, save, NLAILOGIC::CBoolOperator::save, and NLAILOGIC::CFirstOrderOperator::unifyForward.

+

+ + + + +
+ + +
IBaseAssert* NLAILOGIC::IBaseOperator::_Goal [protected] +
+
+ + + + + +
+   + + +

+ +

+Definition at line 50 of file operator.h. +

+Referenced by IBaseOperator, setGoal, and ~IBaseOperator.

+


The documentation for this class was generated from the following files: + + + +
                                                                                                                                                                    +
+ + -- cgit v1.2.1