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

[legend]Collaboration diagram for NLAILOGIC::CFirstOrderAssert:

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

NLAILOGIC::CFirstOrderAssert Class Reference

Public Methods

Static Public Attributes

Private Methods

Private Attributes

Constructor & Destructor Documentation

Member Function Documentation

Member Data Documentation