LocalCandidate.hh

Go to the documentation of this file.

/* 
 * File:   LocalCandidate.hh
 * Author: 
 *
 * Created on 24 octobre 2017, 19:12
 */

#ifndef __DIADES__AUTOMATA__EXPERIMENTAL__LOCALCANDIDATE__HH__
#define __DIADES__AUTOMATA__EXPERIMENTAL__LOCALCANDIDATE__HH__




namespace Diades
{
    namespace Automata
    {
        namespace Experimental
        {
            template<typename StateProperty,typename FaultProperty>
            class LocalCandidate
            {
                public:
                    typedef StateProperty State;
                    typedef FaultProperty Faults;
                    
                    private:
                        State _state;
                        Faults _faults;
                
                public:
                    
                    LocalCandidate():_state(),_faults(){}
                    
                    
                    LocalCandidate(const LocalCandidate & candidate):
                        _state(candidate.state()),
                        _faults(candidate.faults()){}
                    
                    LocalCandidate(LocalCandidate && candidate):
                        _state(candidate.state()),
                        _faults(candidate.faults()){}
                    
                    LocalCandidate(const State & state,
                                   const Faults & faults):_state(state),_faults(faults){}
                    
                    
                    LocalCandidate & operator=(const LocalCandidate & candidate)
                    {
                        if(this != &candidate)
                        {
                            _state = candidate._state;
                            _faults = candidate._faults;
                        }
                        return *this;
                    }
                     
                    ~LocalCandidate(){}
                    
                    
                    bool operator==(const LocalCandidate & candidate) const
                    {
                        return (candidate.state() == _state) && (candidate.faults()==_faults);
                    }
                    
                    bool operator!=(const LocalCandidate & candidate) const
                    {
                        return !( *this == candidate);
                    }
                    
                    const State & state() const
                    {
                        return _state;
                    }
                    
                    const Faults & faults() const
                    {
                        return _faults;
                    }
                   
            };
            
            
            template<typename StateProperty, typename FaultProperty>
            ostream & operator<<(ostream & os, const LocalCandidate<StateProperty,FaultProperty> & candidate)
            {
                return os << candidate.state() << " " << candidate.faults();
            }
            
        };
    };
};
namespace std 
{
   template <typename StateProperty, typename FaultProperty> 
   struct hash<Diades::Automata::Experimental::LocalCandidate<StateProperty,FaultProperty> >
   {
        size_t operator()(Diades::Automata::Experimental::LocalCandidate<StateProperty,FaultProperty> const & candidate) const 
        {
            std::size_t seed = 0; 
            std::size_t value = std::hash<StateProperty>()(candidate.state());
            seed ^= value + 0x9e3779b9 + (seed<<6) + (seed>>2);
            value = std::hash<FaultProperty>()(candidate.faults());
            seed ^= value + 0x9e3779b9 + (seed<<6) + (seed>>2);
            return seed;
        }
    };    
    
    
};

#endif /* CANDIDATE_HH */