From 0ea5fc66924303d1bf73ba283a383e2aadee02f2 Mon Sep 17 00:00:00 2001 From: neodarz Date: Sat, 11 Aug 2018 20:21:34 +0200 Subject: Initial commit --- .../doxygen/nel/classNLAILOGIC_1_1IBaseAssert.html | 646 +++++++++++++++++++++ 1 file changed, 646 insertions(+) create mode 100644 docs/doxygen/nel/classNLAILOGIC_1_1IBaseAssert.html (limited to 'docs/doxygen/nel/classNLAILOGIC_1_1IBaseAssert.html') diff --git a/docs/doxygen/nel/classNLAILOGIC_1_1IBaseAssert.html b/docs/doxygen/nel/classNLAILOGIC_1_1IBaseAssert.html new file mode 100644 index 00000000..5f1e76d7 --- /dev/null +++ b/docs/doxygen/nel/classNLAILOGIC_1_1IBaseAssert.html @@ -0,0 +1,646 @@ + + + + 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::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: + + + +
                                                                                                                                                                    +
+ + -- cgit v1.2.1