#include <LocalCandidate.hh>

Public Types
typedef StateProperty	State

typedef FaultProperty	Faults

Public Member Functions
	LocalCandidate ()

	LocalCandidate (const LocalCandidate &candidate)

	LocalCandidate (LocalCandidate &&candidate)

	LocalCandidate (const State &state, const Faults &faults)

LocalCandidate &	operator= (const LocalCandidate &candidate)

	~LocalCandidate ()

bool	operator== (const LocalCandidate &candidate) const

bool	operator!= (const LocalCandidate &candidate) const

const State &	state () const

const Faults &	faults () const

Private Attributes
State	_state

Faults	_faults

Detailed Description

template<typename StateProperty, typename FaultProperty>
class Diades::Automata::Experimental::LocalCandidate< StateProperty, FaultProperty >

This class represents a local diagnosis candidate That is a couple of information (x,F): where x is a local state property and F is a fault property A LocalCandidate is hashable which enforces that StateProperty and FaultProperty must be hashable As we are using boost::hash_combine, boost::hash_value<StateProperty> and boost::hash_value<FaultProperty> must be defined

Definition at line 31 of file LocalCandidate.hh.

Member Typedef Documentation

◆ Faults

template<typename StateProperty, typename FaultProperty>

typedef FaultProperty Diades::Automata::Experimental::LocalCandidate< StateProperty, FaultProperty >::Faults

Definition at line 35 of file LocalCandidate.hh.

◆ State

template<typename StateProperty, typename FaultProperty>

typedef StateProperty Diades::Automata::Experimental::LocalCandidate< StateProperty, FaultProperty >::State

Definition at line 34 of file LocalCandidate.hh.

Constructor & Destructor Documentation

◆ LocalCandidate() [1/4]

template<typename StateProperty, typename FaultProperty>

Diades::Automata::Experimental::LocalCandidate< StateProperty, FaultProperty >::LocalCandidate ( )

inline

Default constructor

Definition at line 46 of file LocalCandidate.hh.

◆ LocalCandidate() [2/4]

template<typename StateProperty, typename FaultProperty>

Diades::Automata::Experimental::LocalCandidate< StateProperty, FaultProperty >::LocalCandidate ( const LocalCandidate< StateProperty, FaultProperty > & candidate )

inline

Copy constructor

Definition at line 52 of file LocalCandidate.hh.

◆ LocalCandidate() [3/4]

template<typename StateProperty, typename FaultProperty>

Diades::Automata::Experimental::LocalCandidate< StateProperty, FaultProperty >::LocalCandidate ( LocalCandidate< StateProperty, FaultProperty > && candidate )

inline

Move constructor

Definition at line 59 of file LocalCandidate.hh.

◆ LocalCandidate() [4/4]

template<typename StateProperty, typename FaultProperty>

Diades::Automata::Experimental::LocalCandidate< StateProperty, FaultProperty >::LocalCandidate	(	const State &	state,
		const Faults &	faults
	)

inline

Parametrized constructor

Parameters

state	the State of the Candidate
faults	the Faults of the Candidate

Definition at line 68 of file LocalCandidate.hh.

◆ ~LocalCandidate()

template<typename StateProperty, typename FaultProperty>

Diades::Automata::Experimental::LocalCandidate< StateProperty, FaultProperty >::~LocalCandidate ( )

inline

Destructor

Definition at line 88 of file LocalCandidate.hh.

Member Function Documentation

◆ faults()

template<typename StateProperty, typename FaultProperty>

const Faults& Diades::Automata::Experimental::LocalCandidate< StateProperty, FaultProperty >::faults ( ) const

inline

Returns: the fault property of this Candidate

Definition at line 118 of file LocalCandidate.hh.

References Diades::Automata::Experimental::LocalCandidate< StateProperty, FaultProperty >::_faults.

Referenced by std::hash< Diades::Automata::Experimental::LocalCandidate< StateProperty, FaultProperty > >::operator()(), Diades::Automata::Experimental::LocalCandidate< StateProperty, FaultProperty >::operator==(), and printSolution().

◆ operator!=()

template<typename StateProperty, typename FaultProperty>

bool Diades::Automata::Experimental::LocalCandidate< StateProperty, FaultProperty >::operator!= ( const LocalCandidate< StateProperty, FaultProperty > & candidate ) const

inline

Difference operator (value)

Definition at line 102 of file LocalCandidate.hh.

◆ operator=()

template<typename StateProperty, typename FaultProperty>

LocalCandidate& Diades::Automata::Experimental::LocalCandidate< StateProperty, FaultProperty >::operator= ( const LocalCandidate< StateProperty, FaultProperty > & candidate )

inline

Assignment operator

Definition at line 75 of file LocalCandidate.hh.

References Diades::Automata::Experimental::LocalCandidate< StateProperty, FaultProperty >::_faults, and Diades::Automata::Experimental::LocalCandidate< StateProperty, FaultProperty >::_state.

◆ operator==()

template<typename StateProperty, typename FaultProperty>

bool Diades::Automata::Experimental::LocalCandidate< StateProperty, FaultProperty >::operator== ( const LocalCandidate< StateProperty, FaultProperty > & candidate ) const

inline

Equality operator (value)

Definition at line 94 of file LocalCandidate.hh.

References Diades::Automata::Experimental::LocalCandidate< StateProperty, FaultProperty >::_faults, Diades::Automata::Experimental::LocalCandidate< StateProperty, FaultProperty >::_state, Diades::Automata::Experimental::LocalCandidate< StateProperty, FaultProperty >::faults(), and Diades::Automata::Experimental::LocalCandidate< StateProperty, FaultProperty >::state().