/home/mine/apron/apronxx/apxx_linexpr1.hh

Go to the documentation of this file.

/* -*- C++ -*-
 * apxx_linexpr1.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_LINEXPR1_HH
#define __APXX_LINEXPR1_HH

#include "ap_linexpr1.h"
#include "apxx_environment.hh"
#include "apxx_linexpr0.hh"


namespace apron {


/* ================================= */
/* linexpr1                          */
/* ================================= */


class linexpr1 : public use_malloc {

protected:
  
  ap_linexpr1_t l; 

  linexpr1(ap_linexpr1_t& p);


public:


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


  linexpr1(const environment& e, const linexpr0& x);

  linexpr1(const environment& e, ap_linexpr_discr_t lin_discr=AP_LINEXPR_SPARSE, size_t size=0);
  
  linexpr1(const linexpr1& x);

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



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


  ~linexpr1();



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


  linexpr1& operator= (const linexpr1& x);



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


  void extend_environment(const environment& e);


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


  environment get_environment() const;

  const linexpr0& get_linexpr0() const;

  linexpr0& get_linexpr0();

  size_t size() const;

  ap_linexpr_discr_t get_discr() const;

  coeff& get_cst();

  const coeff& get_cst() const;

  coeff& operator[](const var& v);
  
  const coeff& operator[](const var& v) const;



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


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

  void print(FILE* stream=stdout) const;



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


  bool is_integer() const;

  bool is_real() const;

  ap_linexpr_type_t get_type() const;

  bool is_linear() const;

  bool is_quasilinear() const;


  // TODO: equal, compare (currently not in ap_linexpr1.h) ???


 
  /* iterators */
  /* ========= */


  class const_iterator {

    /* TODO:
       - reverse traversal (operator--).
     */

    friend class linexpr1;
    
  protected:

    ap_linexpr1_t* l; 
    ap_dim_t pos;     

    void skip_AP_DIM_MAX();

    const_iterator(ap_linexpr1_t* l);

  public:
    
    const_iterator(const linexpr1& e);

    const_iterator(const const_iterator& i);

    const_iterator& operator=(const const_iterator& i);

    const var& get_var() const;

    ap_dim_t get_dim() const;

    const coeff& get_coeff() const;

    void next();

    void operator++();

    bool valid() const;

  };

  class iterator : public const_iterator {

    /* TODO:
       - removing/inserting coefficients at iterator position for sparse expressions.
     */

  protected:
    
    friend class linexpr1;
    
    iterator(ap_linexpr1_t* l);

  public:
   
    iterator(linexpr1& e);

    iterator(const iterator& i);

    iterator& operator=(const iterator& i);

    coeff& get_coeff() const;

  };

  iterator begin();
  
  const_iterator begin() const;
  


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


  void minimize();



  /* TODO: evaluation, linearization, intelligent constructors */


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


  const ap_linexpr1_t* get_ap_linexpr1_t() const;

  ap_linexpr1_t* get_ap_linexpr1_t();


};

#include "apxx_linexpr1_inline.hh"

}

#endif /* __APXX_LINEXPR1_HH */