#include <ObservableMask.hh>

Public Member Functions
	IsNonIdentifiable (const ObservableMask &mask)

bool	operator() (const Event &event) const

Public Attributes
const ObservableMask &	_mask

Detailed Description

(mask)(event) An event that is NonIdentifiable is not identifiable. So such an event can be unobservable or partly observable or it can be fully observed but inderectly (other observable events are produced when this event is produced by the system).

Definition at line 464 of file ObservableMask.hh.

Constructor & Destructor Documentation

◆ IsNonIdentifiable()

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

inline

Definition at line 467 of file ObservableMask.hh.

Member Function Documentation

◆ operator()()

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

inline

Definition at line 468 of file ObservableMask.hh.

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

Member Data Documentation

◆ _mask

const ObservableMask& Diades::Automata::IsNonIdentifiable::_mask

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

Public Member Functions