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

NLAILOGIC::IBaseAssert NLAIAGENT::IObjetOp NLAIAGENT::IObjectIA NLAIAGENT::IBasicObjectIA NLAIC::IBasicInterface NLAIC::IBasicType NLAIC::IPointerGestion NLMISC::IStreamable NLMISC::IClassable 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: