var.h

Go to the documentation of this file.

/*  This file is part of libDAI - http://www.libdai.org/
 *
 *  Copyright (c) 2006-2011, The libDAI authors. All rights reserved.
 *
 *  Use of this source code is governed by a BSD-style license that can be found in the LICENSE file.
 */




#ifndef __defined_libdai_var_h
#define __defined_libdai_var_h


#include <iostream>
#include <sstream>
#include <dai/exceptions.h>


namespace dai {



class Var {
    private:
        size_t  _label;

        size_t  _states;

    public:
        Var() : _label(0), _states(0) {}
        Var( size_t label, size_t states ) : _label(label), _states(states) {}

        size_t label() const { return _label; }
        size_t& label() { return _label; }

        size_t states() const { return _states; }
        size_t& states() { return _states; }

        bool operator< ( const Var& n ) const { 
#ifdef DAI_DEBUG
            if( _label == n._label )
                DAI_ASSERT( _states == n._states );
#endif
            return( _label < n._label );
        }

        bool operator> ( const Var& n ) const { 
#ifdef DAI_DEBUG
            if( _label == n._label )
                DAI_ASSERT( _states == n._states );
#endif
            return( _label > n._label ); 
        }

        bool operator<= ( const Var& n ) const {
#ifdef DAI_DEBUG
            if( _label == n._label )
                DAI_ASSERT( _states == n._states );
#endif
            return( _label <= n._label );
        }

        bool operator>= ( const Var& n ) const {
#ifdef DAI_DEBUG
            if( _label == n._label )
                DAI_ASSERT( _states == n._states );
#endif
            return( _label >= n._label );
        }

        bool operator!= ( const Var& n ) const {
#ifdef DAI_DEBUG
            if( _label == n._label )
                DAI_ASSERT( _states == n._states );
#endif
            return( _label != n._label );
        }

        bool operator== ( const Var& n ) const {
#ifdef DAI_DEBUG
            if( _label == n._label )
                DAI_ASSERT( _states == n._states );
#endif
            return( _label == n._label );
        }

        friend std::ostream& operator << ( std::ostream& os, const Var& n ) {
            return( os << "x" << n.label() );
        }

        std::string toString() const {
            std::stringstream ss;
            ss << *this;
            return ss.str();
        }
};


} // end of namespace dai


#endif