faudes::CoVerifierState Struct Reference

Detailed Description

Definition at line 26 of file diag_decentralizeddiagnosis.h.

#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
 

Constructor & Destructor Documentation

◆ CoVerifierState() [1/2]

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.

◆ CoVerifierState() [2/2]

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

Definition at line 34 of file diag_decentralizeddiagnosis.h.

Member Function Documentation

◆ operator<()

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

Definition at line 36 of file diag_decentralizeddiagnosis.h.

Member Data Documentation

◆ mLabel

VerifierStateLabel faudes::CoVerifierState::mLabel

Definition at line 30 of file diag_decentralizeddiagnosis.h.

◆ mPlantState

Idx faudes::CoVerifierState::mPlantState

Definition at line 29 of file diag_decentralizeddiagnosis.h.

◆ mSpec1State

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

Definition at line 27 of file diag_decentralizeddiagnosis.h.

◆ mSpec2State

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.32b --- 2024.03.01 --- c++ api documentaion by doxygen