/home/mine/apron/apronxx/apxx_environment.hh

Go to the documentation of this file.

/* -*- C++ -*-
 * apxx_environment.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_ENVIRONMENT_HH
#define __APXX_ENVIRONMENT_HH

#include <string>
#include <vector>

#include "ap_environment.h"
#include "apxx_dimension.hh"
#include "apxx_var.hh"


namespace apron {


/* ================================= */
/* environment                       */
/* ================================= */

class environment : public use_malloc {

protected:

  ap_environment_t* e;

  environment(ap_environment_t* x) : e(x) {}

  friend class linexpr1;
  friend class lincons1;
  friend class lincons1_array;
  friend class generator1;
  friend class generator1_array;
  friend class texpr1;
  friend class tcons1;
  friend class tcons1_array;
  friend class abstract1;

public:


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



  environment();

  environment(const std::vector<var>& intdim, const std::vector<var>& realdim);

  environment(const var* intdim, size_t intdim_size, const var* realdim, size_t realdim_size);

  environment(const environment& x);




  ~environment();



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


  const environment& operator=(const environment& x);



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


  environment add(const std::vector<var>& intdim, const std::vector<var>& realdim) const;

  environment add(const var* intdim, size_t intdim_size, const var* realdim, size_t realdim_size) const;

  environment add(const std::vector<var>& intdim, const std::vector<var>& realdim, dimperm& perm) const;

  environment add(const var* intdim, size_t intdim_size, const var* realdim, size_t realdim_size, dimperm& perm) const;

  environment remove(const std::vector<var>& dims) const;

  environment remove(const var* dims, size_t dims_size) const;

  environment rename(const std::vector<std::pair<var,var> >& dims) const;

  environment rename(const var* before, const var* after, size_t dims_size) const;

  environment rename(const std::vector<std::pair<var,var> >& dims, dimperm& perm) const;

  environment rename(const var* before, const var* after, size_t dims_size, dimperm& perm) const;

  friend environment lce(const environment& x, const environment& y);

  friend environment lce(const environment& x, const environment& y, dimchange& chgx, dimchange& chgy);

  friend environment lce(const std::vector<environment>& x);

  friend environment lce(const environment* env, size_t env_size);

  friend environment lce(const std::vector<environment>& x, std::vector<dimchange>& chg);

  friend environment lce(const environment* env, dimchange* chg, size_t env_size);

  friend dimchange get_dimchange(const environment& x, const environment& y);



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


  size_t intdim() const;

  size_t realdim() const;

  bool contains(const var& x) const;

  ap_dim_t operator[] (const var& x) const;

  const var& operator[] (ap_dim_t d) const;

  ap_dim_t get_dim(const var& x) const;

  const var& get_var(ap_dim_t d) const;

  std::vector<var> get_vars() const;




  /* Tests */
  /* ===== */


  friend bool operator==(const environment& x, const environment& y);

  friend bool operator!=(const environment& x, const environment& y);

  friend bool operator<=(const environment& x, const environment& y);

  friend bool operator>=(const environment& x, const environment& y);

  friend int cmp(const environment& x, const environment& y);



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


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

  void print(FILE* stream=stdout) const; 



  /* C API compatibility */
  /* =================== */


  const ap_environment_t* get_ap_environment_t() const;

  ap_environment_t* get_ap_environment_t();


};

#include "apxx_environment_inline.hh"

}

#endif /* __APXX_ENVIRONMENT_HH */