/home/mine/apron/apronxx/apxx_manager.hh

Go to the documentation of this file.

/* -*- C++ -*-
 * apxx_manager.hh
 *
 * APRON Library / C++ class wrappers
 *
 * Copyright (C) Antoine Mine' 2007
 *
 */
/* This file is part of the APRON Library, released under LGPL license
   with an exception allowing the redistribution of statically linked
   executables.
  
   Please read the COPYING file packaged in the distribution.
*/
 
#ifndef __APXX_MANAGER_HH
#define __APXX_MANAGER_HH
 
#include <string>
 
#include "ap_manager.h"
#include "ap_abstract0.h"
#include "ap_abstract1.h"
#include "apxx_lincons0.hh"
#include "apxx_tcons0.hh"
#include "apxx_generator0.hh"
 
#include "box.h"
#include "pk.h"
#include "oct.h"
 
namespace apron {
 
 
/* =============== */
/* tbool           */
/* =============== */


 * or \c tbool_top (don't know).
 */
struct tbool {
 
public:
  
  tbool_t x; 

  tbool(bool a);

  tbool(tbool_t a);


  operator tbool_t();

  operator bool();

  friend tbool operator|| (tbool a, tbool b);

  friend tbool operator&& (tbool a, tbool b);

  friend tbool operator! (tbool a);

  friend std::ostream& operator<<(std::ostream& os, tbool x);
 
  
};
 
 
/* =============== */
/* exceptions      */
/* =============== */
 

//! Exception raised when a timeout occurs.
class timeout : public std::logic_error {
public:
  timeout(const std::string& x) : logic_error(x) {}
};
 

class not_implemented : public std::logic_error {
public:
  not_implemented(const std::string& x) : logic_error(x) {}
};
 
 
class abstract0;
class abstract1;
 
 
/* =============== */
/* manager         */
/* =============== */

class manager : public use_malloc {
  
protected:
 
  ap_manager_t* m;  

  //! Internal use only (by subclasses). Initialise from a ap_manager_t* and take ownership (no copy).
  manager(ap_manager_t* m);
  
  friend class abstract0;
  friend class abstract1;
 
public:

  //! Internal use only. Translates APRON exceptions to C++ ones.
  static void raise(ap_manager_t* m, const char* msg, ap_abstract0_t* a = NULL);

  static void raise(ap_manager_t* m, const char* msg, ap_abstract1_t a);
  
  void raise(const char* msg, ap_abstract0_t* a = NULL);


  void raise(const char* msg, ap_abstract1_t a);

  bool exception_raised();
 



   */
  manager(const manager& x);

 

 

  virtual ~manager();

 




   */
  manager& operator= (const manager& x);

 



  std::string get_library() const;

  std::string get_version() const;


   *
   * \throw std::out_of_range if funid is no between \c AP_FUNID_COPY and \c AP_FUNID_CLOSURE (inclusive).
   */
  ap_funopt_t& get_funopt(ap_funid_t funid);

  /*! \brief Returns a (modifiable) reference to the user's preferred scalar type.
   *
   * \return the scalar type can be either \c AP_SCALAR_DOUBLE, \c AP_SCALAR_MPQ, or \c AP_SCALAR_MPFR.
   */
  ap_scalar_discr_t& get_scalar_discr();

  //! Returns the 'is exact' flag associated to the last computed abstract function.
  bool get_flag_exact();

  bool get_flag_best();

 
 

  static void fpu_init();

 

  
  friend std::ostream& operator<< (std::ostream& os, const manager& s);
  
 
 
  /* C-level compatibility */
  /* ===================== */


  ap_manager_t* get_ap_manager_t();
  const ap_manager_t* get_ap_manager_t() const;

 
};
 
#include "apxx_manager_inline.hh"
 
}
 
#endif /* __APXX_MANAGER_HH */