Valuation.h

Go to the documentation of this file.

// -*- mode: C++; c-file-style: "stroustrup"; c-basic-offset: 4; indent-tabs-mode: nil; -*-
////////////////////////////////////////////////////////////////////
//
// Filename : Valuation.h
//
// IntValuation & DoubleValuation
//
// This file is a part of the UPPAAL toolkit.
// Copyright (c) 1995 - 2003, Uppsala University and Aalborg University.
// All right reserved.
//
// $Id: Valuation.h,v 1.2 2005/04/25 16:38:27 behrmann Exp $
//
///////////////////////////////////////////////////////////////////

#ifndef INCLUDE_DBM_VALUATION_H
#define INCLUDE_DBM_VALUATION_H

#include "base/pointer.h"
#include "debug/utils.h"

namespace dbm
{
    /** Valuation: like a fixed vector of scalars S with
     * some basic operations on it.
     * We don't use array_t because we don't want to
     * resize but we need basic memory alloc/dealloc.
     */
    template<class S>
    class Valuation : public base::pointer_t<S>
    {
    public:

        /** Constructor
         * @param size: size of the S valuation vector,
         * or dimension.
         */
        Valuation(size_t size)
            : base::pointer_t<S>(new S[size], size)
        { base::pointer_t<S>::reset(); }

        /** Copy constructor
         * @param original: vector to copy
         */
        Valuation(const Valuation<S>& original)
        {
            this(original.size());
            copyFrom(original);
        }

        ~Valuation() { delete [] base::pointer_t<S>::data; }

        /** Add value to all the elements of this vector
         * EXCEPT element 0 (reference clock).
         * @param value: element to add.
         */
        Valuation<S>& operator += (S value)
        {
            if (value) 
            { 
                for(S *i = base::pointer_t<S>::begin()+1; i < base::pointer_t<S>::end(); ++i) 
                {
                    *i += value;
                }
            }
            return *this;
        }

        /** Subtract value to all the elements of this vector.
         * @param value: element to subtract.
         */
        Valuation<S>& operator -= (S value)
        {
            return *this += -value;
        }
    };


    /** IntValuation = Valuation<int32_t>
     */
    typedef Valuation<int32_t> IntValuation;


    /** DoubleValuation = Valuation<double>
     */
    typedef Valuation<double> DoubleValuation;


    /** Overload += for automatic cast.
     */
    static inline
    DoubleValuation& operator += (DoubleValuation& d, int32_t v)
    { return d += (double) v; }


    /** Overload << IntValuation
     */
    static inline
    std::ostream& operator << (std::ostream& os, const IntValuation& i)
    { return debug_cppPrintVector(os, i(), i.size()); }


    /** Overload << DoubleValuation
     */
    static inline
    std::ostream& operator << (std::ostream& os, const DoubleValuation& d)
    { return debug_cppPrintRealVector(os, d(), d.size()); }

}

#endif // INCLUDE_DBM_VALUATION_H

---