Sdmdl.hh

Go to the documentation of this file.

#ifndef __DIADES__ALTARICA_SDMDL__HH
#define __DIADES__ALTARICA_SDMDL__HH

#include <diades/sdmdl/Value.hh>
#include <diades/sdmdl/Variable.hh>
#include <diades/sdmdl/Formula.hh>


namespace Diades {
  namespace Altarica {

        typedef ::Diades::Sdmdl::Variable  SlVariable;
        typedef ::Diades::Sdmdl::Value  SlValue;
        typedef ::Diades::Sdmdl::VariableFactory SlVariableFactory;
        typedef ::Diades::Sdmdl::ValueFactory SlValueFactory;
        typedef ::Diades::Sdmdl::Formula SlFormula;
        typedef ::Diades::Sdmdl::FormulaFactory SlFormulaFactory;


  };  
};



#endif