Diades::Automata::IsUnobservable Class Reference

#include <ObservableMask.hh>

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

Public Attributes
const ObservableMask &	_mask

Detailed Description

(mask)(event)

Definition at line 430 of file ObservableMask.hh.

Constructor & Destructor Documentation

IsUnobservable()

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

inline

Definition at line 433 of file ObservableMask.hh.

Member Function Documentation

operator()()

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

inline

Definition at line 434 of file ObservableMask.hh.

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

Member Data Documentation

_mask

const ObservableMask& Diades::Automata::IsUnobservable::_mask

Definition at line 432 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