Digital.h

Go to the documentation of this file.

/* Copyright (C) 2002 - 2006, 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

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

namespace quantity {
  namespace digital {

/* Digital dimension */
typedef BSUtilities::Rational<0> LE;
typedef BSUtilities::Rational<0> M;
typedef BSUtilities::Rational<0> TI;
typedef BSUtilities::Rational<0> E;
typedef BSUtilities::Rational<0> TE;
typedef BSUtilities::Rational<0> A;
typedef BSUtilities::Rational<0> LU;

typedef dimension::Dimension<LE, M, TI, E, TE, A, LU> Dimension;

class Unit;

/* declaration of Digital units */
class DigitalUnit;

/* the digital unity unit */

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

typedef LOKI_TYPELIST_1(Unity) Units;

/* Digital quantity */

typedef quantity::Quantity<Dimension, Unit, Units, Unity, bool> 
                                                               Quantity;

}

//
// 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<class, class> class Q1, class BT1,
  long RL1_N, long RL1_D, long RM1_N, long RM1_D,
    long RT1_N, long RT1_D, long RE1_N, long RE1_D,
      long RTE1_N, long RTE1_D, long RA1_N, long RA1_D,
        long RLU1_N, long RLU1_D, class UL1, class DU1, class SU1,
         template<class, class> class Q2, class BT2,
          long RL2_N, long RL2_D, long RM2_N, long RM2_D,
             long RT2_N, long RT2_D, long RE2_N, long RE2_D,
               long RTE2_N, long RTE2_D, long RA2_N, long RA2_D,
                 long RLU2_N, long RLU2_D,
                              class UL2, class DU2, class SU2, class ST>
  struct GenerateVariable
    <Q1<Quantity<
      dimension::Dimension<BSUtilities::Rational<RL1_N, RL1_D>,
        BSUtilities::Rational<RM1_N, RM1_D>,
          BSUtilities::Rational<RT1_N, RT1_D>,
            BSUtilities::Rational<RE1_N, RE1_D>,
              BSUtilities::Rational<RTE1_N, RTE1_D>,
                BSUtilities::Rational<RA1_N, RA1_D>,
                  BSUtilities::Rational<RLU1_N, RLU1_D> >,
                                             BT1, UL1, DU1, bool>, SU1>,
     Q2<Quantity<
      dimension::Dimension<BSUtilities::Rational<RL2_N, RL2_D>,
        BSUtilities::Rational<RM2_N, RM2_D>,
          BSUtilities::Rational<RT2_N, RT2_D>,
            BSUtilities::Rational<RE2_N, RE2_D>,
              BSUtilities::Rational<RTE2_N, RTE2_D>,
                BSUtilities::Rational<RA2_N, RA2_D>,
                  BSUtilities::Rational<RLU2_N, RLU2_D> >,
                                              BT2, UL2, DU2, ST>, SU2> >
  {
     private:
       typedef typename
         dimension::Dimension<BSUtilities::Rational<RL1_N, RL1_D>,
           BSUtilities::Rational<RM1_N, RM1_D>,
             BSUtilities::Rational<RT1_N, RT1_D>,
               BSUtilities::Rational<RE1_N, RE1_D>,
                 BSUtilities::Rational<RTE1_N, RTE1_D>,
                   BSUtilities::Rational<RA1_N, RA1_D>,
                     BSUtilities::Rational<RLU1_N, RLU1_D> >
         ::template Add<dimension::Dimension<
           BSUtilities::Rational<RL2_N, RL2_D>,
             BSUtilities::Rational<RM2_N, RM2_D>,
               BSUtilities::Rational<RT2_N, RT2_D>,
                 BSUtilities::Rational<RE2_N, RE2_D>,
                   BSUtilities::Rational<RTE2_N, RTE2_D>,
                     BSUtilities::Rational<RA2_N, RA2_D>,
                         BSUtilities::Rational<RLU2_N, RLU2_D> > > AddT;

       typedef unit::NonPrefixable<GenericClass<typename AddT::Res>,
                                               unit::GenericUnit> AddU;
       typedef Loki::Typelist<AddU, Loki::NullType> AddUnits;
       typedef Quantity<typename AddT::Res,
          GenericClass<typename AddT::Res>, AddUnits, AddU, ST> AddNewQ;

       typedef typename
         dimension::Dimension<BSUtilities::Rational<RL1_N, RL1_D>,
           BSUtilities::Rational<RM1_N, RM1_D>,
             BSUtilities::Rational<RT1_N, RT1_D>,
               BSUtilities::Rational<RE1_N, RE1_D>,
                 BSUtilities::Rational<RTE1_N, RTE1_D>,
                   BSUtilities::Rational<RA1_N, RA1_D>,
                     BSUtilities::Rational<RLU1_N, RLU1_D> >
         ::template Sub<dimension::Dimension<
           BSUtilities::Rational<RL2_N, RL2_D>,
             BSUtilities::Rational<RM2_N, RM2_D>,
               BSUtilities::Rational<RT2_N, RT2_D>,
                 BSUtilities::Rational<RE2_N, RE2_D>,
                   BSUtilities::Rational<RTE2_N, RTE2_D>,
                     BSUtilities::Rational<RA2_N, RA2_D>,
                         BSUtilities::Rational<RLU2_N, RLU2_D> > > SubT;

       typedef unit::NonPrefixable<GenericClass<typename SubT::Res>,
                                               unit::GenericUnit> SubU;
       typedef Loki::Typelist<SubU, Loki::NullType> SubUnits;
       typedef Quantity<typename SubT::Res,
          GenericClass<typename SubT::Res>, SubUnits, SubU, ST> SubNewQ;

     public:
       typedef Variable<AddNewQ, AddU> Add;
       typedef Variable<SubNewQ, SubU> Sub;
  };

typedef Variable<digital::Quantity> Digital;

typedef Constant<digital::Quantity> DigitalConstant;

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

  }

#endif /* _Digital_h */

---