/home/mine/apron/apronxx/apxx_dimension.hh

Go to the documentation of this file.

/* -*- C++ -*-
 * apxx_dimension.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_DIMENSION_HH
#define __APXX_DIMENSION_HH

#include "ap_dimension.h"


namespace apron {


/* ================================= */
/* varname                           */
/* ================================= */

class varname {

protected:

  static const int xindex;

  const std::vector<std::string>& names;

public:

  varname(const std::vector<std::string>& names);

  template<class charT, class Traits>
  friend
  std::basic_ostream<charT,Traits>& 
  operator<<(std::basic_ostream<charT,Traits>& os, const varname& v);

  template<class charT, class Traits>
  friend
  std::vector<std::string>* get_varname(std::basic_ostream<charT,Traits>& os);

};




/* ================================= */
/* dimchange                         */
/* ================================= */


class dimchange : public use_malloc {

protected:

  ap_dimchange_t c; 

public:

  /* constructor */
  /* =========== */


  dimchange(size_t intdim=0, size_t realdim=0);

  dimchange(size_t intdim, size_t realdim, const ap_dim_t d[]);

  dimchange(size_t intdim, size_t realdim, const std::vector<ap_dim_t>& d);

  dimchange(const dimchange& x, bool inv=false);



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


  ~dimchange();

  

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


  dimchange& operator= (const dimchange& x);

  dimchange& operator= (const ap_dim_t d[]);

  dimchange& operator= (const std::vector<ap_dim_t>& d);



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


  size_t get_intdim() const;

  size_t get_realdim() const;

  ap_dim_t& operator[](size_t dim);

  const ap_dim_t& operator[](size_t dim) const;

  ap_dim_t& get(size_t dim);

  const ap_dim_t& get(size_t dim) const;
  


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


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

  void print(FILE* stream=stdout) const;




  /* other operators */
  /* =============== */


  void add_invert();

  dimchange operator- () const;



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


  const ap_dimchange_t* get_ap_dimchange_t() const;

  ap_dimchange_t* get_ap_dimchange_t();

};



struct id {
  size_t size; 

  id(size_t size) : size(size) {}
};



/* ================================= */
/* dimperm                           */
/* ================================= */


class dimperm : public use_malloc {

protected:

  ap_dimperm_t c;  

public:


  /* constructor */
  /* =========== */


  dimperm(size_t size=0);

  dimperm(size_t size, const ap_dim_t d[]);

  dimperm(const std::vector<ap_dim_t>& d);


  dimperm(id t);

  dimperm(const dimperm& x, bool inv=false);

  dimperm(const dimperm& x, const dimperm& y);



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


  ~dimperm();

  

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


  dimperm& operator= (const dimperm& x);

  dimperm& operator= (id t);

  dimperm& operator= (const ap_dim_t d[]);

  dimperm& operator= (const std::vector<ap_dim_t>& d);



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


  size_t size() const;

  ap_dim_t& operator[](size_t dim);

  const ap_dim_t& operator[](size_t dim) const;
 
  ap_dim_t& get(size_t dim);
 
  const ap_dim_t& get(size_t dim) const;



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

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

  void print(FILE* stream=stdout) const;



  /* other operators */
  /* =============== */


  /* composition */

  dimperm& operator*= (const dimperm& y);

  friend dimperm operator* (const dimperm& x, const dimperm& y);

 

  /* inversion */

  void invert();

  dimperm operator- () const;



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


  const ap_dimperm_t* get_ap_dimperm_t() const;

  ap_dimperm_t* get_ap_dimperm_t();


};

#include "apxx_dimension_inline.hh"

}

#endif /* __APXX_DIMENSION_HH */