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