globals_types.hh

Go to the documentation of this file.

/* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it>
   Copyright (C) 2010-2016 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_globals_types_hh
#define PPL_globals_types_hh 1

#include <cstddef>

namespace Parma_Polyhedra_Library {


typedef size_t dimension_type;


typedef size_t memory_size_type;


enum Degenerate_Element {
  UNIVERSE,
  EMPTY
};


// This must be kept in sync with Result
enum Relation_Symbol {
  EQUAL = 1U,
  LESS_THAN = 2U,
  LESS_OR_EQUAL = LESS_THAN | EQUAL,
  GREATER_THAN = 4U,
  GREATER_OR_EQUAL = GREATER_THAN | EQUAL,
  NOT_EQUAL = LESS_THAN | GREATER_THAN
};


enum Complexity_Class {
  POLYNOMIAL_COMPLEXITY,
  SIMPLEX_COMPLEXITY,
  ANY_COMPLEXITY
};


enum Optimization_Mode {
  MINIMIZATION,
  MAXIMIZATION
};

enum Bounded_Integer_Type_Width {
  BITS_8 = 8,

  BITS_16 = 16,

  BITS_32 = 32,

  BITS_64 = 64,

  BITS_128 = 128
};

enum Bounded_Integer_Type_Representation {
  UNSIGNED,

  SIGNED_2_COMPLEMENT
};

enum Bounded_Integer_Type_Overflow {
  OVERFLOW_WRAPS,

  OVERFLOW_UNDEFINED,

  OVERFLOW_IMPOSSIBLE
};

enum Representation {
  DENSE,

  SPARSE
};

enum Floating_Point_Format {
  IEEE754_HALF,

  IEEE754_SINGLE,

  IEEE754_DOUBLE,

  IEEE754_QUAD,

  INTEL_DOUBLE_EXTENDED,

  IBM_SINGLE,

  IBM_DOUBLE
};

struct Weightwatch_Traits;

} // namespace Parma_Polyhedra_Library

#endif // !defined(PPL_globals_types_hh)