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

#include <fo_assert.h> +

+Inheritance diagram for NLAILOGIC::CFirstOrderAssert

Inheritance graph
+ + + + + + + + + + + +
[legend]
Collaboration diagram for NLAILOGIC::CFirstOrderAssert:

Collaboration graph
+ + + + + + +
[legend]
List of all members. + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +

Public Methods

 CFirstOrderAssert (const NLAIAGENT::IVarName &n, sint32 nb_vars = 0)
 CFirstOrderAssert (const CFirstOrderAssert &)
virtual ~CFirstOrderAssert ()
void connectClause (CClause *, std::vector<sint32> &)
void addFact (CVarSet *f)
void addFact (CValueSet *)
void removeFact (CFact *f)
void addClause (CClause *CClause, std::vector<sint32> &posvars)
const std::vector<CClause *>& getClauses ()
void addInput (CClause *, std::vector<sint32> &posvars )
virtual const NLAIC::IBasicType* clone () const
 This function allow a pointer copy, that mean that the new class have the sam attributs caracteristics as the owne. More...

virtual const NLAIC::IBasicType* newInstance () const
 This function allow a new instance, that mean that the class is a class factory. More...

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...

virtual void getDebugString (char *text) const
 This is a Debug function, text is an character pointer to receive the debug text output, the debug text containe all think sensible to interset user. More...

bool isEqual (const NLAIAGENT::IBasicObjectIA &a) const
virtual bool isEqual (const CFirstOrderAssert &) const
virtual const IObjectIA::CProcessResult& run ()
 Some where Run method define the process of the agen. More...

virtual bool isTrue () const
 throw (NLAIE::CExceptionNotImplemented). More...

virtual const NLAIC::CIdentType& getType () const
 getType return a unique string how represente the class, it can be the name of the class. More...

virtual void init (NLAIAGENT::IObjectIA *)
 Init method alows to init the attribut of an object. More...

virtual sint32 nbVars () const
void backward (CValueSet *, std::list<CValueSet *> &)
std::list<CFact *>* backward (CFact *)
std::list<CFact *>* getFacts () const

Static Public Attributes

const NLAIC::CIdentType IdFirstOrderAssert

Private Methods

sint32 findAssert (IBaseAssert *)

Private Attributes

std::vector< std::vector<sint32> > _PosVars
std::list<CValueSet *> _Facts
sint32 _NbVars
std::vector<CClause *> _Clauses
std::vector< std::vector<sint32> > _PosVarsInputs
+

Constructor & Destructor Documentation

+

+ + + + +
+ + + + + + + + + + +
+NLAILOGIC::CFirstOrderAssert::CFirstOrderAssert ( + +const NLAIAGENT::IVarName & n, +
+sint32 nb_vars = 0 ) +
+
+ + + + + +
+   + + +

+

+

+ + + + +
+ + + + + + +
+NLAILOGIC::CFirstOrderAssert::CFirstOrderAssert ( + +const CFirstOrderAssert & cp ) +
+
+ + + + + +
+   + + +

+ +

+Definition at line 42 of file fo_assert.cpp.

+

+ + + + +
+ + + + + + +
+NLAILOGIC::CFirstOrderAssert::~CFirstOrderAssert ( + +) [virtual] +
+
+ + + + + +
+   + + +

+ +

+Definition at line 52 of file fo_assert.cpp.

+

Member Function Documentation

+

+ + + + +
+ + + + + + + + + + +
+void NLAILOGIC::CFirstOrderAssert::addClause ( + +CClause * clause, +
+std::vector< sint32 >& posvars ) +
+
+ + + + + +
+   + + +

+ +

+Definition at line 119 of file fo_assert.cpp.

+

+ + + + +
+ + + + + + +
+void NLAILOGIC::CFirstOrderAssert::addFact ( + +CValueSet * f ) [virtual] +
+
+ + + + + +
+   + + +

+ +

+Reimplemented from NLAILOGIC::IBaseAssert. +

+Definition at line 81 of file fo_assert.cpp.

+

+ + + + +
+ + + + + + +
+void NLAILOGIC::CFirstOrderAssert::addFact ( + +CVarSet * f ) [virtual] +
+
+ + + + + +
+   + + +

+ +

+Reimplemented from NLAILOGIC::IBaseAssert. +

+Definition at line 65 of file fo_assert.cpp.

+

+ + + + +
+ + + + + + + + + + +
+void NLAILOGIC::CFirstOrderAssert::addInput ( + +CClause * clause, +
+std::vector< sint32 >& posvars ) +
+
+ + + + + +
+   + + +

+ +

+Definition at line 178 of file fo_assert.cpp.

+

+ + + + +
+ + + + + + +
+std::list< CFact *>* NLAILOGIC::CFirstOrderAssert::backward ( + +CFact * fact ) +
+
+ + + + + +
+   + + +

+ +

+Definition at line 234 of file fo_assert.cpp.

+

+ + + + +
+ + + + + + + + + + +
+void NLAILOGIC::CFirstOrderAssert::backward ( + +CValueSet * vs, +
+std::list< CValueSet *>& bindings ) +
+
+ + + + + +
+   + + +

+ +

+Definition at line 213 of file fo_assert.cpp.

+

+ + + + +
+ + + + + + +
+const NLAIC::IBasicType * NLAILOGIC::CFirstOrderAssert::clone ( + +void ) const [virtual] +
+
+ + + + + +
+   + + +

+This function allow a pointer copy, that mean that the new class have the sam attributs caracteristics as the owne. +

+ +

+Reimplemented from NLAIC::IBasicType. +

+Definition at line 132 of file fo_assert.cpp.

+

+ + + + +
+ + + + + + + + + + +
+void NLAILOGIC::CFirstOrderAssert::connectClause ( + +CClause *, +
+std::vector< sint32 >& ) +
+
+ + + + + +
+   + + +

+ +

+Definition at line 61 of file fo_assert.cpp.

+

+ + + + +
+ + + + + + +
+sint32 NLAILOGIC::CFirstOrderAssert::findAssert ( + +IBaseAssert * ) [private] +
+
+ + + + + +
+   + + +

+

+

+ + + + +
+ + + + + + +
+const std::vector< CClause *>& NLAILOGIC::CFirstOrderAssert::getClauses ( + +) +
+
+ + + + + +
+   + + +

+ +

+Definition at line 191 of file fo_assert.cpp.

+

+ + + + +
+ + + + + + +
+void NLAILOGIC::CFirstOrderAssert::getDebugString ( + +char * text ) const [virtual] +
+
+ + + + + +
+   + + +

+This is a Debug function, text is an character pointer to receive the debug text output, the debug text containe all think sensible to interset user. +

+ +

+Reimplemented from NLAIC::IBasicType. +

+Definition at line 151 of file fo_assert.cpp.

+

+ + + + +
+ + + + + + +
+std::list< CFact *>* NLAILOGIC::CFirstOrderAssert::getFacts ( + +) const [virtual] +
+
+ + + + + +
+   + + +

+ +

+Reimplemented from NLAILOGIC::IBaseAssert. +

+Definition at line 274 of file fo_assert.cpp.

+

+ + + + +
+ + + + + + +
+const NLAIC::CIdentType & NLAILOGIC::CFirstOrderAssert::getType ( + +void ) const [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). +

+Reimplemented from NLAILOGIC::IBaseAssert. +

+Definition at line 196 of file fo_assert.cpp.

+

+ + + + +
+ + + + + + +
+void NLAILOGIC::CFirstOrderAssert::init ( + +IObjectIA * params ) [virtual] +
+
+ + + + + +
+   + + +

+Init method alows to init the attribut of an object. +

+the maparmetre is in more time a list of IObjectIA. +

+Reimplemented from NLAIAGENT::IObjectIA. +

+Definition at line 201 of file fo_assert.cpp.

+

+ + + + +
+ + + + + + +
+bool NLAILOGIC::CFirstOrderAssert::isEqual ( + +const CFirstOrderAssert & a ) const [virtual] +
+
+ + + + + +
+   + + +

+ +

+Definition at line 158 of file fo_assert.cpp.

+

+ + + + +
+ + + + + + +
+bool NLAILOGIC::CFirstOrderAssert::isEqual ( + +const NLAIAGENT::IBasicObjectIA & a ) const +
+
+ + + + + +
+   + + +

+

+

+ + + + +
+ + + + + + +
+bool NLAILOGIC::CFirstOrderAssert::isTrue ( + +) const [virtual] +
+
+ + + + + +
+   + + +

+throw (NLAIE::CExceptionNotImplemented). +

+ +

+Reimplemented from NLAIAGENT::IObjetOp. +

+Definition at line 173 of file fo_assert.cpp.

+

+ + + + +
+ + + + + + +
+void NLAILOGIC::CFirstOrderAssert::load ( + +NLMISC::IStream & is ) [virtual] +
+
+ + + + + +
+   + + +

+Load the class from a stream. +

+ +

+Reimplemented from NLAIC::IBasicInterface. +

+Definition at line 147 of file fo_assert.cpp.

+

+ + + + +
+ + + + + + +
+sint32 NLAILOGIC::CFirstOrderAssert::nbVars ( + +) const [virtual] +
+
+ + + + + +
+   + + +

+ +

+Reimplemented from NLAILOGIC::IBaseAssert. +

+Definition at line 208 of file fo_assert.cpp.

+

+ + + + +
+ + + + + + +
+const NLAIC::IBasicType * NLAILOGIC::CFirstOrderAssert::newInstance ( + +void ) const [virtual] +
+
+ + + + + +
+   + + +

+This function allow a new instance, that mean that the class is a class factory. +

+ +

+Reimplemented from NLAIC::IBasicType. +

+Definition at line 138 of file fo_assert.cpp.

+

+ + + + +
+ + + + + + +
+void NLAILOGIC::CFirstOrderAssert::removeFact ( + +CFact * f ) [virtual] +
+
+ + + + + +
+   + + +

+ +

+Reimplemented from NLAILOGIC::IBaseAssert. +

+Definition at line 95 of file fo_assert.cpp.

+

+ + + + +
+ + + + + + +
+const IObjectIA::CProcessResult & NLAILOGIC::CFirstOrderAssert::run ( + +void ) [virtual] +
+
+ + + + + +
+   + + +

+Some where Run method define the process of the agen. +

+ +

+Reimplemented from NLAIAGENT::IObjectIA. +

+Definition at line 163 of file fo_assert.cpp.

+

+ + + + +
+ + + + + + +
+void NLAILOGIC::CFirstOrderAssert::save ( + +NLMISC::IStream & os ) [virtual] +
+
+ + + + + +
+   + + +

+Save the class in a stream. +

+ +

+Reimplemented from NLAIC::IBasicInterface. +

+Definition at line 143 of file fo_assert.cpp.

+

Member Data Documentation

+

+ + + + +
+ + + + + +
+const NLAIC::CIdentType CFirstOrderAssert::IdFirstOrderAssert [static] +
+
+ + + + + +
+   + + +

+Initializer:

NLAIC::CIdentType( "FirstOrderAssert", NLAIC::CSelfClassFactory(CFirstOrderAssert( CStringVarName("Inst") )),
+                NLAIC::CTypeOfObject::tLogic,
+                NLAIC::CTypeOfOperator::opEq |
+                NLAIC::CTypeOfOperator::opNeg | 
+                NLAIC::CTypeOfOperator::opNot )
+

+Definition at line 315 of file static_def_init.cpp.

+

+ + + + +
+ + + + + +
+std::vector< CClause *> NLAILOGIC::CFirstOrderAssert::_Clauses [private] +
+
+ + + + + +
+   + + +

+ +

+Definition at line 40 of file fo_assert.h.

+

+ + + + +
+ + + + + +
+std::list< CValueSet *> NLAILOGIC::CFirstOrderAssert::_Facts [private] +
+
+ + + + + +
+   + + +

+ +

+Definition at line 37 of file fo_assert.h.

+

+ + + + +
+ + + + + +
+sint32 NLAILOGIC::CFirstOrderAssert::_NbVars [private] +
+
+ + + + + +
+   + + +

+ +

+Definition at line 38 of file fo_assert.h.

+

+ + + + +
+ + + + + +
+std::vector< std::vector< sint32 > > NLAILOGIC::CFirstOrderAssert::_PosVars [private] +
+
+ + + + + +
+   + + +

+ +

+Definition at line 36 of file fo_assert.h.

+

+ + + + +
+ + + + + +
+std::vector< std::vector< sint32 > > NLAILOGIC::CFirstOrderAssert::_PosVarsInputs [private] +
+
+ + + + + +
+   + + +

+ +

+Definition at line 44 of file fo_assert.h.

+

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