faudes::CoVerifierState Struct Reference

#include <diag_decentralizeddiagnosis.h>

Public Member Functions

 CoVerifierState (Idx number=0, Idx state2=0, Idx state3=0, VerifierStateLabel label=NORMAL)
 CoVerifierState (const CoVerifierState &rOther)
bool operator< (const CoVerifierState &rOther) const

Public Attributes

std::vector< IdxmSpec1State
Idx mSpec2State
Idx mPlantState
VerifierStateLabel mLabel

Detailed Description

Definition at line 26 of file diag_decentralizeddiagnosis.h.

Constructor & Destructor Documentation

faudes::CoVerifierState::CoVerifierState ( Idx  number = 0,
Idx  state2 = 0,
Idx  state3 = 0,
VerifierStateLabel  label = NORMAL 
)
inline

Definition at line 33 of file diag_decentralizeddiagnosis.h.

faudes::CoVerifierState::CoVerifierState ( const CoVerifierState rOther)
inline

Definition at line 34 of file diag_decentralizeddiagnosis.h.

Member Function Documentation

bool faudes::CoVerifierState::operator< ( const CoVerifierState rOther) const
inline

Definition at line 36 of file diag_decentralizeddiagnosis.h.

Member Data Documentation

VerifierStateLabel faudes::CoVerifierState::mLabel

Definition at line 30 of file diag_decentralizeddiagnosis.h.

Idx faudes::CoVerifierState::mPlantState

Definition at line 29 of file diag_decentralizeddiagnosis.h.

std::vector<Idx> faudes::CoVerifierState::mSpec1State

Definition at line 27 of file diag_decentralizeddiagnosis.h.

Idx faudes::CoVerifierState::mSpec2State

Definition at line 28 of file diag_decentralizeddiagnosis.h.


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

libFAUDES 2.26g --- 2015.08.17 --- c++ api documentaion by doxygen