Diades::Automata::NonPredecessorFunctor Struct Reference

#include <Component.hh>

Public Types
enum	Status { NonPredecessor, Predecessor }

Public Member Functions
	NonPredecessorFunctor (NodeMap< Status > *mapPredecessor)
bool	operator() (State s) const

Public Attributes
NodeMap< Status > *	_map

Detailed Description

Definition at line 1423 of file Component.hh.

Member Enumeration Documentation

Status

enum Diades::Automata::NonPredecessorFunctor::Status

Enumerator
NonPredecessor
Predecessor

Definition at line 1425 of file Component.hh.

Constructor & Destructor Documentation

NonPredecessorFunctor()

Diades::Automata::NonPredecessorFunctor::NonPredecessorFunctor ( NodeMap< Status > *  mapPredecessor )

inline

Definition at line 1427 of file Component.hh.

Member Function Documentation

operator()()

bool Diades::Automata::NonPredecessorFunctor::operator() ( State  s ) const

inline

Definition at line 1428 of file Component.hh.

Member Data Documentation

_map

NodeMap<Status>* Diades::Automata::NonPredecessorFunctor::_map

Definition at line 1426 of file Component.hh.

---

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

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