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

#include <clause.h> +

+

Inheritance diagram for NLAILOGIC::CClause: +

+ +NLAILOGIC::CVarSet +NLAILOGIC::IBaseBoolType +NLAIAGENT::IObjetOp +NLAIAGENT::IObjectIA +NLAIAGENT::IBasicObjectIA +NLAIC::IBasicInterface +NLAIC::IBasicType +NLAIC::IPointerGestion +NLMISC::IStreamable +NLMISC::IClassable +NLAILOGIC::CRule + +List of all members. + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +

Public Methods

 CClause ()
 CClause (const CClause &)
 CClause (std::list< CFactPattern * > &)
 ~CClause ()
virtual void addCond (CFactPattern *cond)
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...

virtual CVarSet * unify (CVarSet *)
CValueSet * unifyLiaison (const CValueSet *, std::list< NLAIAGENT::IObjectIA * > *, std::vector< sint32 > &)
virtual void propagate (std::list< NLAIAGENT::IObjectIA * > *, std::vector< sint32 > &)
virtual void propagate (CFactPattern *)
std::list< CClause * > * getInputs ()
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 NLAIAGENT::IObjetOp * operator! () const
 throw (NLAIE::CExceptionNotImplemented). More...

virtual NLAIAGENT::IObjetOp * operator!= (NLAIAGENT::IObjetOp &a) const
 throw (NLAIE::CExceptionNotImplemented). More...

virtual NLAIAGENT::IObjetOp * operator== (NLAIAGENT::IObjetOp &a) const
 throw (NLAIE::CExceptionNotImplemented). More...

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

virtual float truthValue () const
 Returns a value in [0,1]. More...

void showConflicts ()
void showBuffer ()
void showLiaisons ()
virtual void addBuffer ()
virtual void addConflicts ()
std::vector< IBaseAssert * > & CClause::getAssert ()
sint32 nbVars ()
void CClause::init (NLAIAGENT::IObjectIA *)

Static Public Attributes

const NLAIC::CIdentType IdClause

Protected Methods

sint32 findAssert (IBaseAssert *)

Protected Attributes

std::list< CBoolAssert * > _SimpleConds
std::vector< IBaseBoolType * > _Conds
std::vector< std::vector<
+ sint32 > > 		_PosVarsCond
std::list< CValueSet * > _Liaisons
std::list< CValueSet * > _BufLiaisons
std::list< CValueSet * > _Conflits
sint32 _NbValid
std::vector< IBaseAssert * > _Asserts
bool _FirstOrderTrue
+

Constructor & Destructor Documentation

+

+ + + + +
+ + + + + + + + + +
NLAILOGIC::CClause::CClause (   ) 
+
+ + + + + +
+   + + +

+ +

+Definition at line 30 of file clause.cpp. +

+References _Liaisons, _NbValid, and NLAILOGIC::CVarSet::_Vars. +

+Referenced by clone, NLAILOGIC::CRule::init, and newInstance.

+

+ + + + +
+ + + + + + + + + + +
NLAILOGIC::CClause::CClause ( const CClause &   ) 
+
+ + + + + +
+   + + +

+ +

+Definition at line 48 of file clause.cpp. +

+References _NbValid, _PosVarsCond, and addCond.

+

+ + + + +
+ + + + + + + + + + +
NLAILOGIC::CClause::CClause ( std::list< CFactPattern * > &   ) 
+
+ + + + + +
+   + + +

+ +

+Definition at line 36 of file clause.cpp. +

+References _Liaisons, _NbValid, NLAILOGIC::CVarSet::_Vars, and addCond.

+

+ + + + +
+ + + + + + + + + +
NLAILOGIC::CClause::~CClause (   ) 
+
+ + + + + +
+   + + +

+ +

+Definition at line 74 of file clause.cpp. +

+References _BufLiaisons, _Conds, _Conflits, and _Liaisons.

+

Member Function Documentation

+

+ + + + +
+ + + + + + + + + +
void NLAILOGIC::CClause::addBuffer (   )  [virtual]
+
+ + + + + +
+   + + +

+ +

+Definition at line 328 of file clause.cpp. +

+References _BufLiaisons, and _Liaisons.

+

+ + + + +
+ + + + + + + + + + +
void NLAILOGIC::CClause::addCond ( CFactPattern *   cond )  [virtual]
+
+ + + + + +
+   + + +

+ +

+Definition at line 124 of file clause.cpp. +

+References _Asserts, _Conds, _PosVarsCond, NLAILOGIC::CVarSet::_Vars, and findAssert. +

+Referenced by CClause.

+

+ + + + +
+ + + + + + + + + +
void NLAILOGIC::CClause::addConflicts (   )  [virtual]
+
+ + + + + +
+   + + +

+ +

+Reimplemented in NLAILOGIC::CRule. +

+Definition at line 341 of file clause.cpp.

+

+ + + + +
+ + + + + + + + + +
std::vector<IBaseAssert *>& NLAILOGIC::CClause::CClause::getAssert (   ) 
+
+ + + + + +
+   + + +

+

+

+ + + + +
+ + + + + + + + + + +
void NLAILOGIC::CClause::CClause::init ( NLAIAGENT::IObjectIA *   ) 
+
+ + + + + +
+   + + +

+

+

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

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

+ +

+Reimplemented from NLAILOGIC::CVarSet. +

+Reimplemented in NLAILOGIC::CRule. +

+Definition at line 98 of file clause.cpp. +

+References CClause, and clone. +

+Referenced by clone.

+

+ + + + +
+ + + + + + + + + + +
sint32 NLAILOGIC::CClause::findAssert ( IBaseAssert *   )  [protected]
+
+ + + + + +
+   + + +

+ +

+Definition at line 110 of file clause.cpp. +

+References _Asserts. +

+Referenced by NLAILOGIC::CRule::addConc, and addCond.

+

+ + + + +
+ + + + + + + + + + +
void NLAILOGIC::CClause::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. +

+ +

+Reimplemented from NLAILOGIC::CVarSet. +

+Reimplemented in NLAILOGIC::CRule. +

+Definition at line 183 of file clause.cpp. +

+References NLAILOGIC::CVarSet::_Vars.

+

+ + + + +
+ + + + + + + + + +
std::list< CClause * > * NLAILOGIC::CClause::getInputs (   ) 
+
+ + + + + +
+   + + +

+ +

+Definition at line 368 of file clause.cpp.

+

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

+throw (NLAIE::CExceptionNotImplemented). +

+ +

+Reimplemented from NLAILOGIC::CVarSet. +

+Definition at line 275 of file clause.cpp. +

+References _NbValid. +

+Referenced by operator!, operator!=, and operator==.

+

+ + + + +
+ + + + + + + + + +
sint32 NLAILOGIC::CClause::nbVars (   ) 
+
+ + + + + +
+   + + +

+ +

+Definition at line 373 of file clause.cpp. +

+References NLAILOGIC::CVarSet::_Vars.

+

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

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

+ +

+Reimplemented from NLAILOGIC::CVarSet. +

+Reimplemented in NLAILOGIC::CRule. +

+Definition at line 104 of file clause.cpp. +

+References CClause.

+

+ + + + +
+ + + + + + + + + +
IObjetOp * NLAILOGIC::CClause::operator! (   )  const [virtual]
+
+ + + + + +
+   + + +

+throw (NLAIE::CExceptionNotImplemented). +

+ +

+Reimplemented from NLAILOGIC::CVarSet. +

+Definition at line 264 of file clause.cpp. +

+References isTrue.

+

+ + + + +
+ + + + + + + + + + +
IObjetOp * NLAILOGIC::CClause::operator!= ( NLAIAGENT::IObjetOp &   a )  const [virtual]
+
+ + + + + +
+   + + +

+throw (NLAIE::CExceptionNotImplemented). +

+ +

+Reimplemented from NLAILOGIC::CVarSet. +

+Definition at line 270 of file clause.cpp. +

+References isTrue.

+

+ + + + +
+ + + + + + + + + + +
IObjetOp * NLAILOGIC::CClause::operator== ( NLAIAGENT::IObjetOp &   a )  const [virtual]
+
+ + + + + +
+   + + +

+throw (NLAIE::CExceptionNotImplemented). +

+ +

+Reimplemented from NLAIAGENT::IObjetOp. +

+Definition at line 288 of file clause.cpp. +

+References isTrue.

+

+ + + + +
+ + + + + + + + + + +
void NLAILOGIC::CClause::propagate ( CFactPattern *   )  [virtual]
+
+ + + + + +
+   + + +

+ +

+Definition at line 195 of file clause.cpp.

+

+ + + + +
+ + + + + + + + + + + + + + + + + + + +
virtual void NLAILOGIC::CClause::propagate ( std::list< NLAIAGENT::IObjectIA * > *  ,
std::vector< sint32 > &  
)  [virtual]
+
+ + + + + +
+   + + +

+

+

+ + + + +
+ + + + + + + + + +
void NLAILOGIC::CClause::showBuffer (   ) 
+
+ + + + + +
+   + + +

+ +

+Definition at line 304 of file clause.cpp. +

+References _BufLiaisons.

+

+ + + + +
+ + + + + + + + + +
void NLAILOGIC::CClause::showConflicts (   ) 
+
+ + + + + +
+   + + +

+ +

+Definition at line 293 of file clause.cpp. +

+References _Conflits.

+

+ + + + +
+ + + + + + + + + +
void NLAILOGIC::CClause::showLiaisons (   ) 
+
+ + + + + +
+   + + +

+ +

+Definition at line 315 of file clause.cpp. +

+References _Liaisons.

+

+ + + + +
+ + + + + + + + + +
float NLAILOGIC::CClause::truthValue (   )  const [virtual]
+
+ + + + + +
+   + + +

+Returns a value in [0,1]. +

+ +

+Reimplemented from NLAILOGIC::CVarSet. +

+Definition at line 280 of file clause.cpp. +

+References _NbValid.

+

+ + + + +
+ + + + + + + + + + +
CVarSet * NLAILOGIC::CClause::unify ( CVarSet *   )  [virtual]
+
+ + + + + +
+   + + +

+ +

+Reimplemented from NLAILOGIC::CVarSet. +

+Definition at line 351 of file clause.cpp.

+

+ + + + +
+ + + + + + + + + + + + + + + + + + + + + + + + + +
CValueSet* NLAILOGIC::CClause::unifyLiaison ( const CValueSet *  ,
std::list< NLAIAGENT::IObjectIA * > *  ,
std::vector< sint32 > &  
) 
+
+ + + + + +
+   + + +

+

+

Member Data Documentation

+

+ + + + +
+ + +
std::vector<IBaseAssert *> NLAILOGIC::CClause::_Asserts [protected] +
+
+ + + + + +
+   + + +

+ +

+Definition at line 48 of file clause.h. +

+Referenced by NLAILOGIC::CRule::addConc, addCond, and findAssert.

+

+ + + + +
+ + +
std::list< CValueSet *> NLAILOGIC::CClause::_BufLiaisons [protected] +
+
+ + + + + +
+   + + +

+ +

+Definition at line 43 of file clause.h. +

+Referenced by addBuffer, showBuffer, and ~CClause.

+

+ + + + +
+ + +
std::vector<IBaseBoolType *> NLAILOGIC::CClause::_Conds [protected] +
+
+ + + + + +
+   + + +

+ +

+Definition at line 40 of file clause.h. +

+Referenced by addCond, NLAILOGIC::CRule::backward, NLAILOGIC::CRule::getDebugString, and ~CClause.

+

+ + + + +
+ + +
std::list< CValueSet *> NLAILOGIC::CClause::_Conflits [protected] +
+
+ + + + + +
+   + + +

+ +

+Definition at line 44 of file clause.h. +

+Referenced by NLAILOGIC::CRule::addConflicts, showConflicts, and ~CClause.

+

+ + + + +
+ + +
bool NLAILOGIC::CClause::_FirstOrderTrue [protected] +
+
+ + + + + +
+   + + +

+ +

+Definition at line 50 of file clause.h.

+

+ + + + +
+ + +
std::list< CValueSet *> NLAILOGIC::CClause::_Liaisons [protected] +
+
+ + + + + +
+   + + +

+ +

+Definition at line 42 of file clause.h. +

+Referenced by addBuffer, CClause, showLiaisons, NLAILOGIC::CRule::unifyBack, and ~CClause.

+

+ + + + +
+ + +
sint32 NLAILOGIC::CClause::_NbValid [protected] +
+
+ + + + + +
+   + + +

+ +

+Definition at line 45 of file clause.h. +

+Referenced by CClause, isTrue, and truthValue.

+

+ + + + +
+ + +
std::vector< std::vector<sint32> > NLAILOGIC::CClause::_PosVarsCond [protected] +
+
+ + + + + +
+   + + +

+ +

+Definition at line 41 of file clause.h. +

+Referenced by addCond, CClause, NLAILOGIC::CRule::getPosListBackward, and NLAILOGIC::CRule::getPosListForward.

+

+ + + + +
+ + +
std::list<CBoolAssert *> NLAILOGIC::CClause::_SimpleConds [protected] +
+
+ + + + + +
+   + + +

+ +

+Definition at line 39 of file clause.h.

+

+ + + + +
+ + +
const NLAIC::CIdentType CClause::IdClause [static] +
+
+ + + + + +
+   + + +

+Initial value:

 NLAIC::CIdentType( "Clause", NLAIC::CSelfClassFactory(CClause()), 
+                NLAIC::CTypeOfObject::tLogic,
+                NLAIC::CTypeOfOperator::opAdd )
+

+Definition at line 449 of file static_def_init.cpp.

+

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