Expression_Hide_Inhomo_defs.hh

Go to the documentation of this file.

/* Expression_Hide_Inhomo class declaration.
   Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it>
   Copyright (C) 2010-2016 BUGSENG srl (http://bugseng.com)

This file is part of the Parma Polyhedra Library (PPL).

The PPL is free software; you can redistribute it and/or modify it
under the terms of the GNU General Public License as published by the
Free Software Foundation; either version 3 of the License, or (at your
option) any later version.

The PPL is distributed in the hope that it will be useful, but WITHOUT
ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
for more details.

You should have received a copy of the GNU General Public License
along with this program; if not, write to the Free Software Foundation,
Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA.

For the most up-to-date information see the Parma Polyhedra Library
site: http://bugseng.com/products/ppl/ . */

#ifndef PPL_Expression_Hide_Inhomo_defs_hh
#define PPL_Expression_Hide_Inhomo_defs_hh 1

#include "Expression_Hide_Inhomo_types.hh"

#include "Expression_Adapter_defs.hh"
#include "Dense_Row_defs.hh"
#include "Sparse_Row_defs.hh"

#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS

#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS)
template <typename T>
class Parma_Polyhedra_Library::Expression_Hide_Inhomo
  : public Expression_Adapter<T> {
  typedef Expression_Adapter<T> base_type;
public:
  typedef Expression_Hide_Inhomo<T> const_reference;
  typedef typename base_type::inner_type inner_type;
  typedef typename base_type::raw_type raw_type;

  explicit Expression_Hide_Inhomo(const raw_type& expr);

public:
  typedef typename base_type::const_iterator const_iterator;

  Coefficient_traits::const_reference inhomogeneous_term() const;

  bool is_zero() const;

  template <typename Expression>
  bool is_equal_to(const Expression& y) const;

  Coefficient_traits::const_reference get(dimension_type i) const;

  Coefficient_traits::const_reference get(Variable v) const;

  bool all_zeroes(const Variables_Set& vars) const;

  bool all_zeroes(dimension_type start, dimension_type end) const;

  dimension_type num_zeroes(dimension_type start, dimension_type end) const;

  Coefficient gcd(dimension_type start, dimension_type end) const;

  dimension_type last_nonzero() const;

  dimension_type last_nonzero(dimension_type first, dimension_type last) const;

  dimension_type first_nonzero(dimension_type first, dimension_type last) const;

  bool all_zeroes_except(const Variables_Set& vars,
                         dimension_type start, dimension_type end) const;

  void has_a_free_dimension_helper(std::set<dimension_type>& x) const;

  template <typename Expression>
  bool is_equal_to(const Expression& y,
                   dimension_type start, dimension_type end) const;

  template <typename Expression>
  bool is_equal_to(const Expression& y,
                   Coefficient_traits::const_reference c1,
                   Coefficient_traits::const_reference c2,
                   dimension_type start, dimension_type end) const;

  void get_row(Dense_Row& r) const;

  void get_row(Sparse_Row& r) const;
};

#include "Expression_Hide_Inhomo_inlines.hh"

#endif // !defined(PPL_Expression_Hide_Inhomo_defs_hh)