/home/mine/apron/apronxx/apxx_tcons1.hh

Go to the documentation of this file.

/* -*- C++ -*-
 * apxx_tcons1.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_TCONS1_HH
#define __APXX_TCONS1_HH

#include "ap_tcons1.h"
#include "apxx_tcons0.hh"
#include "apxx_texpr1.hh"


namespace apron {


/* ================================= */
/* tcons1                            */
/* ================================= */


class tcons1 : public use_malloc {

protected:
  
  ap_tcons1_t l;  

  tcons1(ap_tcons1_t l);

  friend class abstract0;
  friend class tcons1_array;

public:

  
  /* constructors */
  /* ============ */


  tcons1(const environment& env, ap_constyp_t constyp=AP_CONS_SUPEQ);

  tcons1(ap_constyp_t constyp, const texpr1::builder& t);

  tcons1(ap_constyp_t constyp, const texpr1::builder& t, const scalar& modulo);

  tcons1(const tcons1& x);


  tcons1(const tcons1& x, const environment& e);

  tcons1(const environment& e, unsat x);

  tcons1(const lincons1& x);



  /* destructor */
  /* ========== */


  ~tcons1();


  /* 'Intelligent' constructors */
  /* ========================== */


  friend tcons1 operator>=(const texpr1::builder& a, const texpr1::builder& b);

  friend tcons1 operator<=(const texpr1::builder& a, const texpr1::builder& b);

  friend tcons1 operator> (const texpr1::builder& a, const texpr1::builder& b);

  friend tcons1 operator< (const texpr1::builder& a, const texpr1::builder& b);

  friend tcons1 operator==(const texpr1::builder& a, const texpr1::builder& b);

  friend tcons1 operator!=(const texpr1::builder& a, const texpr1::builder& b);
  

  /* assignment */
  /* ========== */


  tcons1& operator= (const tcons1& x);

  tcons1& operator= (unsat x);

  tcons1& operator= (const lincons1& x);

  void set_modulo(const scalar& c);  

  void set_texpr(const texpr1::builder& c);



  /* dimension operations */
  /* ==================== */


  void extend_environment(const environment& e);



  /* access */
  /* ====== */


  /* get */
 
  environment get_environment() const;

  const tcons0& get_tcons0() const;

  tcons0& get_tcons0();

  ap_constyp_t& get_constyp();
  
  const ap_constyp_t& get_constyp() const;

  bool has_modulo() const;

  bool has_texpr() const;

  scalar& get_modulo();
 
  const scalar& get_modulo() const;

  texpr1::iterator get_texpr();
 
  texpr1::const_iterator get_texpr() const;
 


  /* print */
  /* ===== */


  friend std::ostream& operator<< (std::ostream& os, const tcons1& s);

  void print(FILE* stream=stdout) const;

 
  /* tests */
  /* ===== */


  bool is_interval_cst() const;

  bool is_interval_linear() const;

  bool is_interval_polynomial() const;

  bool is_interval_polyfrac() const;

  bool is_scalar() const;



  /* C-level compatibility */
  /* ===================== */


  const ap_tcons1_t* get_ap_tcons1_t() const;

  ap_tcons1_t* get_ap_tcons1_t();
 

};



/* ================================= */
/* tcons1_array                    */
/* ================================= */


class tcons1_array : public use_malloc {

protected:

  ap_tcons1_array_t a;  

  tcons1_array(ap_tcons1_array_t& a);

  friend class abstract0;
  friend class abstract1;

public:
  
  /* constructors */
  /* ============ */


  tcons1_array(const environment& e, const tcons0_array& x);

  tcons1_array(const environment& e, size_t size);

  tcons1_array(const tcons1_array& x);

  tcons1_array(const tcons1_array& x, const environment& e);


  tcons1_array(size_t size, const tcons1 x[]);

  tcons1_array(const std::vector<tcons1>& x);



  /* destructor */
  /* ========== */


  ~tcons1_array();



  /* assignment */
  /* ========== */


  tcons1_array& operator= (const tcons1_array& x);

  tcons1_array& operator= (const tcons1 x[]);

  tcons1_array& operator= (const std::vector<tcons1>& x);



  /* dimension operations */
  /* ==================== */


  void resize(size_t size);

  void extend_environment(const environment& e);



  /* access */
  /* ====== */


  size_t size() const;

  environment get_environment() const;

  const tcons0_array& get_tcons0_array() const;

  tcons0_array& get_tcons0_array();

  tcons1 get(size_t i) const;

  void set(size_t i, const tcons1& x);



  /* conversion */
  /* ========== */
  

  operator std::vector<tcons1>() const;



  /* print */
  /* ===== */


  friend std::ostream& operator<< (std::ostream& os, const tcons1_array& s);

  void print(FILE* stream=stdout) const;



  /* C-level compatibility */
  /* ===================== */


  const ap_tcons1_array_t* get_ap_tcons1_array_t() const;

  ap_tcons1_array_t* get_ap_tcons1_array_t();


};

#include "apxx_tcons1_inline.hh"

}

#endif /* __APXX_TCONS1_HH */