Digital.h

Go to the documentation of this file.

/* Copyright (C) 2002 - 2009, Bernd Speiser */

/* This file is part of Quantities.

PhysicalQuantities is free software; you can redistribute it and/or
modify it under the terms of the GNU General Public License
as published by the Free Software Foundation; either version 2
of the License, or (at your option) any later version.

PhysicalQuantities is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.
  
You should have received a copy of the GNU General Public License
along with this program; if not, write to the Free Software
Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
02111-1307, USA.
*/

#ifndef _Digital_h
#define _Digital_h

// Quantity includes
#include "Quantity/Variable.h"
#include "Quantity/Constant.h"

namespace quantity {
  namespace digital {

class Class;

class Unit;

/* declaration of Digital units */
class DigitalUnit;

typedef unit::NonPrefixable<Unit, DigitalUnit> Unity;

typedef LOKI_TYPELIST_1(Unity) Units;

/* Digital quantity */

typedef quantity::Quantity<Class, bool> Quantity;

class DerivedDigital;

} // end namespace digital

//
// specializations of functionality; some application programs may
// need specific requirements for Digital. Such requirements can be
// added here.
//

//
// GenerateVariable Add and Sub functions for two Quantities, 
// the first of which has storage type bool 
//


template<template<typename, typename> class Q1, typename QT1, typename SU1,
         template<typename, typename> class Q2, typename QT2, typename SU2, typename ST>
  struct GenerateVariable
    <Q1<Quantity<QT1, bool>, SU1>, Q2<Quantity<QT2, ST>, SU2> >
  {
     private:
       typedef typename QuantityTraits<QT1>::Dimension Dim1;
       typedef typename QuantityTraits<QT2>::Dimension Dim2;

      typedef typename Dim1::template Add<Dim2> AddT;
      typedef Quantity<GenericClass<typename AddT::Res>, ST> AddNewQ;

      typedef typename Dim1::template Sub<Dim2> SubT;
      typedef Quantity<GenericClass<typename SubT::Res>, ST> SubNewQ;

     public:

       typedef Variable<AddNewQ> Add;


       typedef Variable<SubNewQ> Sub;
  };

//
// traits templates for Digital
//


  template<>
    struct Standard<digital::Unity, bool>
    {
      static const bool ratio;
      static const bool exact;
    };

template<>
  struct QuantityTraits<digital::Class>
  {
    typedef
      dimension::Dimension<BSUtilities::Rational<0>,
        BSUtilities::Rational<0>, BSUtilities::Rational<0>,
          BSUtilities::Rational<0>, BSUtilities::Rational<0>,
            BSUtilities::Rational<0>, BSUtilities::Rational<0> > Dimension;
    typedef digital::Unit UnitType;
    typedef digital::Units UnitList;
    typedef digital::Unity DefaultUnit;

    typedef digital::DerivedDigital DefaultDerivedQuantityType;

    static const std::string NameString;
    static const std::string SymbolString;

  };

// the derived quantity traits template for derived Digital
template<>
  struct DerivedQuantityTraits<digital::Class, digital::DerivedDigital>
  {
    static const bool OverwriteName = false;
    static const bool OverwriteSymbol = false;

    static const std::string NameString;
    static const std::string SymbolString;

  };


typedef Variable<digital::Quantity> Digital;

typedef Constant<digital::Quantity> DigitalConstant;

namespace digital{
    extern const quantity::DigitalConstant On;
    extern const quantity::DigitalConstant Off;
                } // end namespace digital 

  } // end namespace quantity

#endif /* _Digital_h */

---