# 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::IBaseAssert Class Reference

#include <ai_assert.h>

Inheritance diagram for NLAILOGIC::IBaseAssert:

NLAIAGENT::IObjetOp NLAIAGENT::IObjectIA NLAIAGENT::IBasicObjectIA NLAIC::IBasicInterface NLAIC::IBasicType NLAIC::IPointerGestion NLMISC::IStreamable NLMISC::IClassable NLAILOGIC::CBoolAssert NLAILOGIC::CFirstOrderAssert List of all members.

Public Methods

 IBaseAssert (const NLAIAGENT::IVarName &n)
virtual ~IBaseAssert ()
virtual void addFact (CValueSet *)=0
virtual void addFact (CVarSet *)=0
virtual void removeFact (CFact *)=0
virtual NLAIAGENT::IVarName & getName () const
virtual bool operator== (IBaseAssert *cp)
virtual void addInput (IBaseOperator *)
virtual const std::vector<
IBaseOperator * > & 		getInputs ()
virtual void addOutput (IBaseOperator *)
virtual const std::vector<
IBaseOperator * > & 		getOutputs ()
virtual const NLAIC::CIdentType & getType () const=0
 getType return a unique string how represente the class, it can be the name of the class. More...

virtual sint32 nbVars () const=0
virtual std::list< CFact * > * getFacts () const=0

Protected Attributes

NLAIAGENT::IVarName * _Name
std::vector< IBaseOperator * > _Outputs
std::vector< IBaseOperator * > _Inputs

Constructor & Destructor Documentation

NLAILOGIC::IBaseAssert::IBaseAssert (  const NLAIAGENT::IVarName &    n ) 
 

Definition at line 34 of file ai_assert.cpp.

References _Name, and NLAIC::IBasicType::clone.

Referenced by NLAILOGIC::CFirstOrderAssert::getFacts, and operator==.

NLAILOGIC::IBaseAssert::~IBaseAssert (    )  [virtual]
 

Definition at line 39 of file ai_assert.cpp.

References _Inputs, _Name, _Outputs, and NLAIC::IPointerGestion::release.

Member Function Documentation

virtual void NLAILOGIC::IBaseAssert::addFact (  CVarSet *    )  [pure virtual]
 

Implemented in NLAILOGIC::CBoolAssert.

virtual void NLAILOGIC::IBaseAssert::addFact (  CValueSet *    )  [pure virtual]
 

Implemented in NLAILOGIC::CBoolAssert.

void NLAILOGIC::IBaseAssert::addInput (  IBaseOperator *    )  [virtual]
 

Definition at line 52 of file ai_assert.cpp.

References _Inputs.

void NLAILOGIC::IBaseAssert::addOutput (  IBaseOperator *    )  [virtual]
 

Definition at line 63 of file ai_assert.cpp.

References _Outputs.

virtual std::list<CFact *>* NLAILOGIC::IBaseAssert::getFacts (    )  const [pure virtual]
 

Implemented in NLAILOGIC::CBoolAssert.

const std::vector< IBaseOperator * > & NLAILOGIC::IBaseAssert::getInputs (    )  [virtual]
 

Definition at line 58 of file ai_assert.cpp.

References _Inputs.

virtual NLAIAGENT::IVarName& NLAILOGIC::IBaseAssert::getName (    )  const [inline, virtual]
 

Definition at line 56 of file ai_assert.h.

Referenced by NLAILOGIC::CFirstOrderAssert::getDebugString, and NLAILOGIC::CFirstOrderAssert::isEqual.

const std::vector< IBaseOperator * > & NLAILOGIC::IBaseAssert::getOutputs (    )  [virtual]
 

Definition at line 68 of file ai_assert.cpp.

References _Outputs.

virtual const NLAIC::CIdentType& NLAILOGIC::IBaseAssert::getType (    )  const [pure virtual]
 

getType return a unique string how represente the class, it can be the name of the class.

This function is used for the sytem regstry class (see the definition of the template class Gen::CRegistry).

Implements NLAIC::IBasicType.

Implemented in NLAILOGIC::CBoolAssert.

virtual sint32 NLAILOGIC::IBaseAssert::nbVars (    )  const [pure virtual]
 

Implemented in NLAILOGIC::CBoolAssert.

virtual bool NLAILOGIC::IBaseAssert::operator== (  IBaseAssert *    cp )  [inline, virtual]
 

Definition at line 61 of file ai_assert.h.

References IBaseAssert.

virtual void NLAILOGIC::IBaseAssert::removeFact (  CFact *    )  [pure virtual]
 

Implemented in NLAILOGIC::CBoolAssert.

Member Data Documentation

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

Definition at line 45 of file ai_assert.h.

Referenced by NLAILOGIC::CFirstOrderAssert::addInput, addInput, NLAILOGIC::CFirstOrderAssert::backward, getInputs, and ~IBaseAssert.

NLAIAGENT::IVarName* NLAILOGIC::IBaseAssert::_Name [protected]
 

Definition at line 43 of file ai_assert.h.

Referenced by IBaseAssert, and ~IBaseAssert.

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

Definition at line 44 of file ai_assert.h.

Referenced by NLAILOGIC::CFirstOrderAssert::addFact, addOutput, getOutputs, NLAILOGIC::CFirstOrderAssert::removeFact, and ~IBaseAssert.

The documentation for this class was generated from the following files: