Concrete_Expression.types.hh

Go to the documentation of this file.

/* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it>
   Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com)

This file is free software; as a special exception the author gives
unlimited permission to copy and/or distribute it, with or without
modifications, as long as this notice is preserved.

This program is distributed in the hope that it will be useful, but
WITHOUT ANY WARRANTY, to the extent permitted by law; without even the
implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR
PURPOSE. */

#ifndef PPL_Concrete_Expression_types_hh
#define PPL_Concrete_Expression_types_hh 1

namespace Parma_Polyhedra_Library {

/*
  NOTE: Doxygen seems to ignore documentation blocks attached to
  template class declarations that are not provided with a definition.
  This justifies (here below) the explicit use of Doxygen command \class.
*/

template <typename Target>
class Concrete_Expression;

template <typename Target>
class Binary_Operator;

template <typename Target>
class Unary_Operator;

template <typename Target>
class Cast_Operator;

template <typename Target>
class Integer_Constant;

template <typename Target>
class Floating_Point_Constant;

template <typename Target>
class Approximable_Reference;

class Concrete_Expression_Type;

typedef int Concrete_Expression_Kind;

typedef int Concrete_Expression_BOP;

typedef int Concrete_Expression_UOP;

} // namespace Parma_Polyhedra_Library

#endif // !defined(PPL_Concrete_Expression_types_hh)