Diades::Sdmdl::Rule Class Reference

#include <Rule.hh>

Public Member Functions
	Rule ()
virtual	~Rule ()
void	makePrecondition (const Formula &precondition)
void	makeEffect (const Formula &effect)
bool	valid () const
const Formula &	precondition () const
const Formula &	effect () const
const Event &	inputEvent () const
const list< const Event * > &	outputEvents () const
void	setInputEvent (const Event &evt)
void	insertOutputEvent (const Event &evt)
void	generateCubes ()
vector< int * >::const_iterator	beginOfCubes () const
vector< int * >::const_iterator	endOfCubes () const
int	cubeSize () const

Private Attributes
vector< Formula::ConstReference >	_precond
vector< Formula::ConstReference >	_effect
const Event *	_event
list< const Event * >	_events
vector< int * >	cubes
int	size

Friends
ostream &	operator<< (ostream &os, const Rule &rule)

Detailed Description

Definition at line 31 of file Rule.hh.

Constructor & Destructor Documentation

Rule()

Diades::Sdmdl::Rule::Rule

(

)

~Rule()

virtual Diades::Sdmdl::Rule::~Rule ( )

virtual

Member Function Documentation

beginOfCubes()

vector<int *>::const_iterator Diades::Sdmdl::Rule::beginOfCubes ( ) const

inline

Definition at line 123 of file Rule.hh.

cubeSize()

int Diades::Sdmdl::Rule::cubeSize ( ) const

inline

Definition at line 125 of file Rule.hh.

References Diades::Sdmdl::operator<<().

effect()

const Formula& Diades::Sdmdl::Rule::effect ( ) const

inline

Definition at line 73 of file Rule.hh.

References require.

endOfCubes()

vector<int *>::const_iterator Diades::Sdmdl::Rule::endOfCubes ( ) const

inline

Definition at line 124 of file Rule.hh.

generateCubes()

void Diades::Sdmdl::Rule::generateCubes ( )

inline

Definition at line 98 of file Rule.hh.

References Diades::Sdmdl::CubeGenerator::cubeSize(), Diades::Sdmdl::CubeGenerator::currentCube(), Diades::Sdmdl::CubeGenerator::isEmpty(), and Diades::Sdmdl::CubeGenerator::nextCube().

inputEvent()

const Event& Diades::Sdmdl::Rule::inputEvent ( ) const

inline

Definition at line 78 of file Rule.hh.

insertOutputEvent()

void Diades::Sdmdl::Rule::insertOutputEvent ( const Event &  evt )

inline

Definition at line 91 of file Rule.hh.

References Diades::Sdmdl::Port::Output, and require.

makeEffect()

void Diades::Sdmdl::Rule::makeEffect ( const Formula &  effect )

inline

Definition at line 54 of file Rule.hh.

References ensure, Diades::Sdmdl::Formula::isNull(), and require.

makePrecondition()

void Diades::Sdmdl::Rule::makePrecondition ( const Formula &  precondition )

inline

Definition at line 46 of file Rule.hh.

References ensure, Diades::Sdmdl::Formula::isNull(), and require.

outputEvents()

const list<const Event *>& Diades::Sdmdl::Rule::outputEvents ( ) const

inline

Definition at line 79 of file Rule.hh.

precondition()

const Formula& Diades::Sdmdl::Rule::precondition ( ) const

inline

Definition at line 68 of file Rule.hh.

References require.

setInputEvent()

void Diades::Sdmdl::Rule::setInputEvent ( const Event &  evt )

inline

Definition at line 84 of file Rule.hh.

References Diades::Sdmdl::Port::Input, and require.

valid()

bool Diades::Sdmdl::Rule::valid ( ) const

inline

Definition at line 61 of file Rule.hh.

Friends And Related Function Documentation

operator<<

ostream& operator<< ( ostream &  os, const Rule &  rule  )

friend

Member Data Documentation

_effect

vector<Formula::ConstReference> Diades::Sdmdl::Rule::_effect

private

Definition at line 35 of file Rule.hh.

_event

const Event* Diades::Sdmdl::Rule::_event

private

Definition at line 36 of file Rule.hh.

_events

list<const Event *> Diades::Sdmdl::Rule::_events

private

Definition at line 37 of file Rule.hh.

_precond

vector<Formula::ConstReference> Diades::Sdmdl::Rule::_precond

private

Definition at line 34 of file Rule.hh.

cubes

vector<int *> Diades::Sdmdl::Rule::cubes

private

Definition at line 38 of file Rule.hh.

size

int Diades::Sdmdl::Rule::size

private

Definition at line 39 of file Rule.hh.

---

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

• /home/yannick/laas/redmine/tools/diades/include/diades/sdmdl/Rule.hh