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_1CFirstOrderAssert.html | 1229 ++++++++++++++++++++ 1 file changed, 1229 insertions(+) create mode 100644 docs/doxygen/nel/classNLAILOGIC_1_1CFirstOrderAssert.html (limited to 'docs/doxygen/nel/classNLAILOGIC_1_1CFirstOrderAssert.html') diff --git a/docs/doxygen/nel/classNLAILOGIC_1_1CFirstOrderAssert.html b/docs/doxygen/nel/classNLAILOGIC_1_1CFirstOrderAssert.html new file mode 100644 index 00000000..166d1a46 --- /dev/null +++ b/docs/doxygen/nel/classNLAILOGIC_1_1CFirstOrderAssert.html @@ -0,0 +1,1229 @@ + + + + nevrax.org : docs + + + + + + + + + + + + + + +

Home

nevrax.com

+ + + + +

+ + + + + + + + + + +

+ + +

+ Nevrax.org

+ + + + + + + +

	News
	Mailing-list
	Documentation
	CVS
	Bugs
	License

+ + +

+ + + + + + +

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: +

+ + + + + + + + + + + +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 (std::string &) 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
NLAIAGENT::CVolatilMemmory	_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
)
+
+ + + + + +
+ + + +
+ +
+Definition at line 33 of file fo_assert.cpp. +
+References _NbVars. +
+Referenced by clone.
+

+ + + + +
+ + + + + + + + + + +
NLAILOGIC::CFirstOrderAssert::CFirstOrderAssert ( const CFirstOrderAssert & )
+
+ + + + + +
+ + + +
+ +
+Definition at line 42 of file fo_assert.cpp. +
+References _Facts, NLAIAGENT::CVolatilMemmory::getConstIterator, NLAIAGENT::CVolatilMemmory::pushBack, and r.
+

+ + + + +
+ + + + + + + + + +
NLAILOGIC::CFirstOrderAssert::~CFirstOrderAssert ( ) [virtual]
+
+ + + + + +
+ + + +
+ +
+Definition at line 52 of file fo_assert.cpp. +
+References _Facts, NLAIAGENT::CVolatilMemmory::Front, NLAIAGENT::CVolatilMemmory::popFront, and NLAIAGENT::CVolatilMemmory::size.
+

Member Function Documentation

+ + + + +
+ + + + + + + + + + + + + + + + + + + +
void NLAILOGIC::CFirstOrderAssert::addClause ( CClause * CClause,
std::vector< sint32 > & posvars
)
+
+ + + + + +
+ + + +
+ +
+Definition at line 120 of file fo_assert.cpp. +
+References _Clauses, and _PosVars.
+

+ + + + +
+ + + + + + + + + + +
void NLAILOGIC::CFirstOrderAssert::addFact ( CValueSet * ) [virtual]
+
+ + + + + +
+ + + +
+ +
+Implements NLAILOGIC::IBaseAssert. +
+Definition at line 81 of file fo_assert.cpp. +
+References _Facts, NLAILOGIC::IBaseAssert::_Outputs, and NLAIAGENT::CVolatilMemmory::pushBack.
+

+ + + + +
+ + + + + + + + + + +
void NLAILOGIC::CFirstOrderAssert::addFact ( CVarSet * f ) [virtual]
+
+ + + + + +
+ + + +
+ +
+Implements NLAILOGIC::IBaseAssert. +
+Definition at line 65 of file fo_assert.cpp. +
+References _Facts, NLAILOGIC::IBaseAssert::_Outputs, and NLAIAGENT::CVolatilMemmory::pushBack.
+

+ + + + +
+ + + + + + + + + + + + + + + + + + + +
void NLAILOGIC::CFirstOrderAssert::addInput ( CClause * ,
std::vector< sint32 > & posvars
)
+
+ + + + + +
+ + + +
+ +
+Definition at line 179 of file fo_assert.cpp. +
+References _Clauses, NLAILOGIC::IBaseAssert::_Inputs, and _PosVarsInputs.
+

+ + + + +
+ + + + + + + + + + +
std::list< CFact * > * NLAILOGIC::CFirstOrderAssert::backward ( CFact * )
+
+ + + + + +
+ + + +
+ +
+Definition at line 235 of file fo_assert.cpp. +
+References _Facts, NLAILOGIC::IBaseAssert::_Inputs, clone, NLAIAGENT::CVolatilMemmory::getConstIterator, NLAIAGENT::IObjetOp::IObjetOp, and param.
+

+ + + + +
+ + + + + + + + + + + + + + + + + + + +
void NLAILOGIC::CFirstOrderAssert::backward ( CValueSet * ,
std::list< CValueSet * > &
)
+
+ + + + + +
+ + + +
+ +
+Definition at line 214 of file fo_assert.cpp.
+

+ + + + +
+ + + + + + + + + +
const NLAIC::IBasicType * NLAILOGIC::CFirstOrderAssert::clone ( ) const [virtual]
+
+ + + + + +
+ + + +
+This function allow a pointer copy, that mean that the new class have the sam attributs caracteristics as the owne. +
+ +
+Implements NLAIC::IBasicType. +
+Definition at line 133 of file fo_assert.cpp. +
+References CFirstOrderAssert, and clone. +
+Referenced by backward, clone, and newInstance.
+

+ + + + +
+ + + + + + + + + + + + + + + + + + + +
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 192 of file fo_assert.cpp. +
+References _Clauses.
+

+ + + + +
+ + + + + + + + + + +
void NLAILOGIC::CFirstOrderAssert::getDebugString ( std::string & ) 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. +
+ +
+Implements NLAIC::IBasicType. +
+Definition at line 152 of file fo_assert.cpp. +
+References NLAIC::IBasicType::getDebugString, NLAILOGIC::IBaseAssert::getName, and NLAIC::stringGetBuild.
+

+ + + + +
+ + + + + + + + + +
std::list< CFact * > * NLAILOGIC::CFirstOrderAssert::getFacts ( ) const [virtual]
+
+ + + + + +
+ + + +
+ +
+Implements NLAILOGIC::IBaseAssert. +
+Definition at line 291 of file fo_assert.cpp. +
+References _Facts, NLAIAGENT::CVolatilMemmory::getConstIterator, NLAILOGIC::IBaseAssert::IBaseAssert, and NLAIAGENT::IObjetOp::IObjetOp.
+

+ + + + +
+ + + + + + + + + +
const NLAIC::CIdentType & NLAILOGIC::CFirstOrderAssert::getType ( ) 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). +
+Implements NLAILOGIC::IBaseAssert. +
+Definition at line 197 of file fo_assert.cpp. +
+References IdFirstOrderAssert.
+

+ + + + +
+ + + + + + + + + + +
void NLAILOGIC::CFirstOrderAssert::init ( NLAIAGENT::IObjectIA * ) [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 202 of file fo_assert.cpp. +
+References _NbVars, and params.
+

+ + + + +
+ + + + + + + + + + +
bool NLAILOGIC::CFirstOrderAssert::isEqual ( const CFirstOrderAssert & ) const [virtual]
+
+ + + + + +
+ + + +
+ +
+Definition at line 159 of file fo_assert.cpp. +
+References NLAILOGIC::IBaseAssert::getName.
+

+ + + + +
+ + + + + + + + + + +
bool NLAILOGIC::CFirstOrderAssert::isEqual ( const NLAIAGENT::IBasicObjectIA & a ) const
+
+ + + + + +
+ + + +
+ +
+Definition at line 169 of file fo_assert.cpp.
+

+ + + + +
+ + + + + + + + + +
bool NLAILOGIC::CFirstOrderAssert::isTrue ( ) const [virtual]
+
+ + + + + +
+ + + +
+throw (NLAIE::CExceptionNotImplemented). +
+ +
+Implements NLAIAGENT::IObjetOp. +
+Definition at line 174 of file fo_assert.cpp.
+

+ + + + +
+ + + + + + + + + + +
void NLAILOGIC::CFirstOrderAssert::load ( NLMISC::IStream & is ) [virtual]
+
+ + + + + +
+ + + +
+Load the class from a stream. +
+ +
+Implements NLAIC::IBasicInterface. +
+Definition at line 148 of file fo_assert.cpp.
+

+ + + + +
+ + + + + + + + + +
sint32 NLAILOGIC::CFirstOrderAssert::nbVars ( ) const [virtual]
+
+ + + + + +
+ + + +
+ +
+Implements NLAILOGIC::IBaseAssert. +
+Definition at line 209 of file fo_assert.cpp. +
+References _NbVars.
+

+ + + + +
+ + + + + + + + + +
const NLAIC::IBasicType * NLAILOGIC::CFirstOrderAssert::newInstance ( ) const [virtual]
+
+ + + + + +
+ + + +
+This function allow a new instance, that mean that the class is a class factory. +
+ +
+Implements NLAIC::IBasicType. +
+Definition at line 139 of file fo_assert.cpp. +
+References clone.
+

+ + + + +
+ + + + + + + + + + +
void NLAILOGIC::CFirstOrderAssert::removeFact ( CFact * f ) [virtual]
+
+ + + + + +
+ + + +
+ +
+Implements NLAILOGIC::IBaseAssert. +
+Definition at line 95 of file fo_assert.cpp. +
+References _Facts, NLAILOGIC::IBaseAssert::_Outputs, NLAIAGENT::CVolatilMemmory::erase, NLAIAGENT::CVolatilMemmory::getConstIterator, and NLAIAGENT::IObjetOp::IObjetOp.
+

+ + + + +
+ + + + + + + + + +
const IObjectIA::CProcessResult & NLAILOGIC::CFirstOrderAssert::run ( ) [virtual]
+
+ + + + + +
+ + + +
+Some where Run method define the process of the agen. +
+ +
+Implements NLAIAGENT::IObjectIA. +
+Definition at line 164 of file fo_assert.cpp.
+

+ + + + +
+ + + + + + + + + + +
void NLAILOGIC::CFirstOrderAssert::save ( NLMISC::IStream & os ) [virtual]
+
+ + + + + +
+ + + +
+Save the class in a stream. +
+ +
+Implements NLAIC::IBasicInterface. +
+Definition at line 144 of file fo_assert.cpp.
+

Member Data Documentation

+ + + + +
+ + +
std::vector<CClause *> NLAILOGIC::CFirstOrderAssert::_Clauses [private] +
+
+ + + + + +
+ + + +
+ +
+Definition at line 41 of file fo_assert.h. +
+Referenced by addClause, addInput, and getClauses.
+

+ + + + +
+ + +
NLAIAGENT::CVolatilMemmory NLAILOGIC::CFirstOrderAssert::_Facts [private] +
+
+ + + + + +
+ + + +
+ +
+Definition at line 38 of file fo_assert.h. +
+Referenced by addFact, backward, CFirstOrderAssert, getFacts, removeFact, and ~CFirstOrderAssert.
+

+ + + + +
+ + +
sint32 NLAILOGIC::CFirstOrderAssert::_NbVars [private] +
+
+ + + + + +
+ + + +
+ +
+Definition at line 39 of file fo_assert.h. +
+Referenced by CFirstOrderAssert, init, and nbVars.
+

+ + + + +
+ + +
std::vector< std::vector<sint32> > NLAILOGIC::CFirstOrderAssert::_PosVars [private] +
+
+ + + + + +
+ + + +
+ +
+Definition at line 37 of file fo_assert.h. +
+Referenced by addClause.
+

+ + + + +
+ + +
std::vector< std::vector<sint32> > NLAILOGIC::CFirstOrderAssert::_PosVarsInputs [private] +
+
+ + + + + +
+ + + +
+ +
+Definition at line 45 of file fo_assert.h. +
+Referenced by addInput.
+

+ + + + +
+ + +
const NLAIC::CIdentType CFirstOrderAssert::IdFirstOrderAssert [static] +
+
+ + + + + +
+ + + +
+Initial value:
NLAIC::CIdentType( "FirstOrderAssert", NLAIC::CSelfClassFactory(CFirstOrderAssert( CStringVarName("Inst") )), + NLAIC::CTypeOfObject::tLogic, + NLAIC::CTypeOfOperator::opEq | + NLAIC::CTypeOfOperator::opNeg | + NLAIC::CTypeOfOperator::opNot )
+
+Definition at line 399 of file static_def_init.cpp. +
+Referenced by getType.
+

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

+ + + +
+

+ + -- cgit v1.2.1

NLAILOGIC::CFirstOrderAssert Class Reference

Public Methods

Static Public Attributes

Private Methods

Private Attributes

Constructor & Destructor Documentation

Member Function Documentation

Member Data Documentation