api/cxx/apxx__generator0_8hh_source.html

 /* -*- C++ -*-
  * apxx_generator0.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_GENERATOR0_HH
 #define __APXX_GENERATOR0_HH

 #include <vector>
 #include "ap_generator0.h"
 #include "apxx_linexpr0.hh"


 namespace apron {


 /* ================================= */
 /* generator0                        */
 /* ================================= */


 class generator0 : public use_malloc {

 protected:

   ap_generator0_t l;

   generator0(ap_generator0_t& l) : l(l) {}

   friend class abstract0;

 public:


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

   generator0(ap_gentyp_t gentyp=AP_GEN_RAY);

   generator0(ap_gentyp_t gentyp, const linexpr0& lin);

   generator0(const generator0& x);

   generator0(const generator0& x, const dimchange& d);

   generator0(const generator0& x, const dimperm& d);


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

   ~generator0();


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

   generator0& operator= (const generator0& x);


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

   void resize(size_t size);

   void add_dimensions(const dimchange& d);

   void permute_dimensions(const dimperm& d);


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

   /* size */

   size_t size() const;


   /* get */

   ap_gentyp_t& get_gentyp();

   const ap_gentyp_t& get_gentyp() const;

   bool has_linexpr() const;

   linexpr0& get_linexpr();

   const linexpr0& get_linexpr() const;

   void set_linexpr(const linexpr0& c);


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

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

   void print(char** name_of_dim=NULL, FILE* stream=stdout) const;


   /* TODO: intelligent constructors */


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

   const ap_generator0_t* get_ap_generator0_t() const;

   ap_generator0_t* get_ap_generator0_t();

 };


 /* ================================= */
 /* generator0_array                  */
 /* ================================= */


 class generator0_array : public use_malloc {

 protected:

   ap_generator0_array_t a;

   generator0_array(ap_generator0_array_t& a) : a(a) {}

   friend class abstract0;
   friend class generator1_array;

 public:

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


   generator0_array(size_t size);

   generator0_array(const generator0_array& x);

   generator0_array(const generator0_array& x, const dimchange& d);

   generator0_array(const generator0_array& x, const dimperm& d);

   generator0_array(size_t size, const generator0 x[]);

   generator0_array(const std::vector<generator0>& x);


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


   ~generator0_array();


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


   generator0_array& operator= (const generator0_array& x);

   generator0_array& operator= (const generator0 x[]);

   generator0_array& operator= (const std::vector<generator0>& x);


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


   void resize(size_t size);

   void add_dimensions(const dimchange& d);

   void permute_dimensions(const dimperm& d);


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


   size_t size() const;

   generator0* contents();

   const generator0* contents() const;

   generator0& operator[](size_t i);

   const generator0& operator[](size_t i) const;

   generator0& get(size_t i);

   const generator0& get(size_t i) const;


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


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


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


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

   void print(char** name_of_dim=NULL, FILE* stream=stdout) const;


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


   const ap_generator0_array_t* get_ap_generator0_array_t() const;

   ap_generator0_array_t* get_ap_generator0_array_t();

 };


 #include "apxx_generator0_inline.hh"

 }

 #endif /* __APXX_GENERATOR0_HH */
apron::generator0_array::generator0_array
generator0_array(ap_generator0_array_t &a)
Internal use only. Performs a shallow copy and takes ownership of the contents.
Definition: apxx_generator0.hh:221

apron::generator0_array::print
void print(char **name_of_dim=NULL, FILE *stream=stdout) const
Prints to a C stream.
Definition: apxx_generator0.hh:369

apron::dimperm
Dimension permutation object (ap_dimperm_t wrapper).
Definition: apxx_dimension.hh:292

apron::dimchange
Dimension change object (ap_dimchange_t wrapper).
Definition: apxx_dimension.hh:102

apron
Definition: apxx_abstract0.hh:27

apron::generator0_array::add_dimensions
void add_dimensions(const dimchange &d)
Applies add_dimensions to all generators in the array.
Definition: apxx_generator0.hh:292

apron::generator0::get_gentyp
ap_gentyp_t & get_gentyp()
Returns a (modifiable) reference to the constraint type.
Definition: apxx_generator0.hh:120

apron::generator0::get_ap_generator0_t
const ap_generator0_t * get_ap_generator0_t() const
Returns a pointer to the internal APRON object stored in *this.
Definition: apxx_generator0.hh:182

apron::generator0::has_linexpr
bool has_linexpr() const
Returns whether the generator has a valid linear expression.
Definition: apxx_generator0.hh:130

apron::generator0::l
ap_generator0_t l
Structure managed by APRON.
Definition: apxx_generator0.hh:43

apron::generator0::add_dimensions
void add_dimensions(const dimchange &d)
Changes the dimension of the underlying linear expression.
Definition: apxx_generator0.hh:93

apron::generator0_array::contents
const generator0 * contents() const
Returns a pointer to the start of the internal array holding the generators.
Definition: apxx_generator0.hh:316

apron::generator0_array::resize
void resize(size_t size)
Resizes the array.
Definition: apxx_generator0.hh:287

apron::generator0_array::permute_dimensions
void permute_dimensions(const dimperm &d)
Applies permute_dimensions to all generators in the array.
Definition: apxx_generator0.hh:297

apron::generator0::size
size_t size() const
Returns the size of the underlying linear expression.
Definition: apxx_generator0.hh:111

apron::abstract0
Level 0 abstract value (ap_abstract0_t* wrapper).
Definition: apxx_abstract0.hh:78

apron::generator0_array
Array of generators (ap_generator0_array_t wrapper).
Definition: apxx_generator0.hh:214

apron::generator0_array::contents
generator0 * contents()
Returns a pointer to the start of the internal array holding the generators.
Definition: apxx_generator0.hh:311

apron::generator0::set_linexpr
void set_linexpr(const linexpr0 &c)
Sets the underlying linear expression to c (copied).
Definition: apxx_generator0.hh:147

apron::generator0::get_ap_generator0_t
ap_generator0_t * get_ap_generator0_t()
Returns a pointer to the internal APRON object stored in *this.
Definition: apxx_generator0.hh:187

apxx_linexpr0.hh

apron::generator0::operator<<
friend std::ostream & operator<<(std::ostream &os, const generator0 &s)
Printing.
Definition: apxx_generator0.hh:157

apron::generator0_array::operator[]
const generator0 & operator[](size_t i) const
Returns a reference to an element, no bound checking.
Definition: apxx_generator0.hh:326

apron::generator0_array::size
size_t size() const
Returns the size of the array.
Definition: apxx_generator0.hh:306

apron::generator0_array::get
generator0 & get(size_t i)
Returns a (modifiable) reference to an element (bound-checked).
Definition: apxx_generator0.hh:331

apron::generator0_array::~generator0_array
~generator0_array()
Frees the space used by the array and all its generators.
Definition: apxx_generator0.hh:244

apron::generator0::resize
void resize(size_t size)
Resizes the underlying linear expression.
Definition: apxx_generator0.hh:87

apron::generator0::print
void print(char **name_of_dim=NULL, FILE *stream=stdout) const
Prints to a C stream.
Definition: apxx_generator0.hh:173

apron::use_malloc
Inherited by most wrappers to map new and delete to malloc and free.
Definition: apxx_scalar.hh:69

apron::generator0::operator=
generator0 & operator=(const generator0 &x)
(Deep) copy.
Definition: apxx_generator0.hh:74

apron::generator0_array::operator=
generator0_array & operator=(const generator0_array &x)
(Deep) copy.
Definition: apxx_generator0.hh:253

apron::generator0::~generator0
~generator0()
Frees the generator, including the embedded linear expression.
Definition: apxx_generator0.hh:65

apxx_generator0_inline.hh

apron::generator0_array::a
ap_generator0_array_t a
Structure managed by APRON.
Definition: apxx_generator0.hh:218

apron::generator0
Level 0 generator (ap_generator0_t wrapper).
Definition: apxx_generator0.hh:39

apron::generator0::permute_dimensions
void permute_dimensions(const dimperm &d)
Applies a permutation to the underlying linear expression.
Definition: apxx_generator0.hh:99

apron::generator1_array
Array of generators (ap_generator1_array_t wrapper).
Definition: apxx_generator1.hh:272

apron::generator0_array::operator<<
friend std::ostream & operator<<(std::ostream &os, const generator0_array &s)
Printing.
Definition: apxx_generator0.hh:360

apron::generator0_array::get_ap_generator0_array_t
const ap_generator0_array_t * get_ap_generator0_array_t() const
Returns a pointer to the internal APRON object stored in *this.
Definition: apxx_generator0.hh:378

apron::linexpr0
Level 0 linear expression (ap_linexpr0_t wrapper).
Definition: apxx_linexpr0.hh:44

apron::generator0_array::operator[]
generator0 & operator[](size_t i)
Returns a (modifiable) reference to an element, no bound checking.
Definition: apxx_generator0.hh:321

apron::generator0::get_linexpr
linexpr0 & get_linexpr()
Returns a (modifiable) reference to the underlying linear expression.
Definition: apxx_generator0.hh:135

apron::generator0::generator0
generator0(ap_generator0_t &l)
Internal use only. Performs a shallow copy and takes ownership of the contents.
Definition: apxx_generator0.hh:46