Diades::Automata::IsIdentifiable Class Reference

#include <ObservableMask.hh>

Public Member Functions
	IsIdentifiable (const ObservableMask &mask)
bool	operator() (const Event &event) const

Public Attributes
const ObservableMask &	_mask

Detailed Description

(mask)(event) An identifiable event is an event generated by the system and fully observable.

Definition at line 447 of file ObservableMask.hh.

Constructor & Destructor Documentation

IsIdentifiable()

Diades::Automata::IsIdentifiable::IsIdentifiable ( const ObservableMask &  mask )

inline

Definition at line 450 of file ObservableMask.hh.

Member Function Documentation

operator()()

bool Diades::Automata::IsIdentifiable::operator() ( const Event &  event ) const

inline

Definition at line 451 of file ObservableMask.hh.

References Diades::Automata::ObservableMask::isIdentifiable().

Member Data Documentation

_mask

const ObservableMask& Diades::Automata::IsIdentifiable::_mask

Definition at line 449 of file ObservableMask.hh.

---

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

• /home/yannick/laas/redmine/tools/diades/include/diades/automata/ObservableMask.hh