Home

nevrax.com

Nevrax.org News Mailing-list Documentation CVS Bugs License

Documentation                       Search   NLAILOGIC::IBaseOperator Class Reference #include <operator.h> Inheritance diagram for NLAILOGIC::IBaseOperator: 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: operator.h operator.cpp