/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           */
/* =============== */

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      */
/* =============== */


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;  

  manager(ap_manager_t* m);
  
  friend class abstract0;
  friend class abstract1;

public:

  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;

  ap_funopt_t& get_funopt(ap_funid_t funid);

  ap_scalar_discr_t& get_scalar_discr();

  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 */