Polly 23.0.0git
Public Member Functions | Static Public Member Functions | Protected Member Functions | Protected Attributes | Friends | List of all members
isl::checked::val Class Reference

#include <cpp-checked.h>

Inheritance diagram for isl::checked::val:
[legend]

Public Member Functions

 val ()
 val (const val &obj)
 val (isl::checked::ctx ctx, long i)
 val (isl::checked::ctx ctx, const std::string &str)
val & operator= (val obj)
 ~val ()
__isl_give isl_val * copy () const &
__isl_give isl_val * copy () &&=delete
__isl_keep isl_val * get () const
__isl_give isl_val * release ()
bool is_null () const
isl::checked::ctx ctx () const
isl::checked::val abs () const
boolean abs_eq (const isl::checked::val &v2) const
boolean abs_eq (long v2) const
isl::checked::val add (isl::checked::val v2) const
isl::checked::val add (long v2) const
isl::checked::val ceil () const
int cmp_si (long i) const
long den_si () const
long get_den_si () const
isl::checked::val div (isl::checked::val v2) const
isl::checked::val div (long v2) const
boolean eq (const isl::checked::val &v2) const
boolean eq (long v2) const
isl::checked::val floor () const
isl::checked::val gcd (isl::checked::val v2) const
isl::checked::val gcd (long v2) const
boolean ge (const isl::checked::val &v2) const
boolean ge (long v2) const
boolean gt (const isl::checked::val &v2) const
boolean gt (long v2) const
isl::checked::val inv () const
boolean is_divisible_by (const isl::checked::val &v2) const
boolean is_divisible_by (long v2) const
boolean is_infty () const
boolean is_int () const
boolean is_nan () const
boolean is_neg () const
boolean is_neginfty () const
boolean is_negone () const
boolean is_nonneg () const
boolean is_nonpos () const
boolean is_one () const
boolean is_pos () const
boolean is_rat () const
boolean is_zero () const
boolean le (const isl::checked::val &v2) const
boolean le (long v2) const
boolean lt (const isl::checked::val &v2) const
boolean lt (long v2) const
isl::checked::val max (isl::checked::val v2) const
isl::checked::val max (long v2) const
isl::checked::val min (isl::checked::val v2) const
isl::checked::val min (long v2) const
isl::checked::val mod (isl::checked::val v2) const
isl::checked::val mod (long v2) const
isl::checked::val mul (isl::checked::val v2) const
isl::checked::val mul (long v2) const
boolean ne (const isl::checked::val &v2) const
boolean ne (long v2) const
isl::checked::val neg () const
long num_si () const
long get_num_si () const
isl::checked::val pow2 () const
int sgn () const
isl::checked::val sub (isl::checked::val v2) const
isl::checked::val sub (long v2) const
isl::checked::val_list to_list () const
isl::checked::val trunc () const

Static Public Member Functions

static isl::checked::val infty (isl::checked::ctx ctx)
static isl::checked::val nan (isl::checked::ctx ctx)
static isl::checked::val neginfty (isl::checked::ctx ctx)
static isl::checked::val negone (isl::checked::ctx ctx)
static isl::checked::val one (isl::checked::ctx ctx)
static isl::checked::val zero (isl::checked::ctx ctx)

Protected Member Functions

 val (__isl_take isl_val *ptr)

Protected Attributes

isl_val * ptr = nullptr

Friends

val manage (__isl_take isl_val *ptr)
val manage_copy (__isl_keep isl_val *ptr)

Detailed Description

Definition at line 4377 of file cpp-checked.h.

Constructor & Destructor Documentation

◆ val() [1/5]

isl::val::val ( __isl_take isl_val * ptr)
inlineexplicitprotected

Definition at line 20569 of file cpp-checked.h.

References __isl_take, and ptr.

Referenced by copy(), manage, manage_copy, operator=(), and val().

◆ val() [2/5]

isl::val::val ( )
inline

Definition at line 20572 of file cpp-checked.h.

References ptr.

◆ val() [3/5]

isl::val::val ( const val & obj)
inline

Definition at line 20575 of file cpp-checked.h.

References obj, ptr, and val().

◆ val() [4/5]

isl::val::val ( isl::checked::ctx ctx,
long i )
inlineexplicit

Definition at line 20581 of file cpp-checked.h.

References ctx(), isl_val_int_from_si(), ptr, and res.

◆ val() [5/5]

isl::val::val ( isl::checked::ctx ctx,
const std::string & str )
inlineexplicit

Definition at line 20587 of file cpp-checked.h.

References ctx(), isl_val_read_from_str(), ptr, res, and str.

◆ ~val()

isl::val::~val ( )
inline

Definition at line 20598 of file cpp-checked.h.

References isl_val_free(), and ptr.

Member Function Documentation

◆ abs()

isl::val isl::val::abs ( ) const
inline

Definition at line 20625 of file cpp-checked.h.

References copy(), isl_val_abs(), manage, and res.

Referenced by copy().

◆ abs_eq() [1/2]

boolean isl::val::abs_eq ( const isl::checked::val & v2) const
inline

Definition at line 20631 of file cpp-checked.h.

References get(), isl_val_abs_eq(), manage, and res.

Referenced by abs_eq(), and copy().

◆ abs_eq() [2/2]

boolean isl::val::abs_eq ( long v2) const
inline

Definition at line 20637 of file cpp-checked.h.

References abs_eq(), and ctx().

◆ add() [1/2]

isl::val isl::val::add ( isl::checked::val v2) const
inline

Definition at line 20642 of file cpp-checked.h.

References copy(), isl_val_add(), manage, release(), and res.

Referenced by add(), copy(), and test_return_obj().

◆ add() [2/2]

isl::val isl::val::add ( long v2) const
inline

Definition at line 20648 of file cpp-checked.h.

References add(), and ctx().

◆ ceil()

isl::val isl::val::ceil ( ) const
inline

Definition at line 20653 of file cpp-checked.h.

References copy(), isl_val_ceil(), manage, and res.

Referenced by copy().

◆ cmp_si()

int isl::val::cmp_si ( long i) const
inline

Definition at line 20659 of file cpp-checked.h.

References get(), isl_val_cmp_si(), and res.

Referenced by copy().

◆ copy() [1/2]

__isl_give isl_val * isl::checked::val::copy ( ) &&
inlinedelete

References __isl_give, __isl_keep, __isl_take, abs(), abs_eq(), add(), ceil(), cmp_si(), copy(), ctx(), den_si(), div(), eq(), floor(), gcd(), ge(), get(), get_den_si(), get_num_si(), gt(), infty(), inv(), is_divisible_by(), is_infty(), is_int(), is_nan(), is_neg(), is_neginfty(), is_negone(), is_nonneg(), is_nonpos(), is_null(), is_one(), is_pos(), is_rat(), is_zero(), le(), lt(), manage, manage_copy, max(), min(), mod(), mul(), nan(), ne(), neg(), neginfty(), negone(), num_si(), one(), pow2(), ptr, release(), sgn(), sub(), to_list(), trunc(), val(), and zero().

◆ copy() [2/2]

__isl_give isl_val * isl::val::copy ( ) const &
inline

Definition at line 20603 of file cpp-checked.h.

References __isl_give, isl_val_copy(), and ptr.

Referenced by abs(), add(), ceil(), copy(), div(), floor(), gcd(), inv(), max(), min(), mod(), mul(), neg(), pow2(), sub(), to_list(), and trunc().

◆ ctx()

isl::ctx isl::val::ctx ( ) const
inline

Definition at line 20621 of file cpp-checked.h.

References isl_val_get_ctx(), and ptr.

Referenced by abs_eq(), add(), copy(), div(), eq(), gcd(), ge(), gt(), infty(), is_divisible_by(), le(), lt(), max(), min(), mod(), mul(), nan(), ne(), neginfty(), negone(), one(), sub(), val(), val(), isl::typed::val< Anonymous >::val(), isl::typed::val< Anonymous >::val(), and zero().

◆ den_si()

long isl::val::den_si ( ) const
inline

Definition at line 20665 of file cpp-checked.h.

References get(), isl_val_get_den_si(), and res.

Referenced by copy(), and get_den_si().

◆ div() [1/2]

isl::val isl::val::div ( isl::checked::val v2) const
inline

Definition at line 20676 of file cpp-checked.h.

References copy(), isl_val_div(), manage, release(), and res.

Referenced by copy().

◆ div() [2/2]

isl::val isl::val::div ( long v2) const
inline

Definition at line 20682 of file cpp-checked.h.

References ctx(), and isl::div.

◆ eq() [1/2]

boolean isl::val::eq ( const isl::checked::val & v2) const
inline

Definition at line 20687 of file cpp-checked.h.

References get(), isl_val_eq(), manage, and res.

Referenced by copy(), eq(), polly::getConstant(), test_parameters_int(), and test_parameters_obj().

◆ eq() [2/2]

boolean isl::val::eq ( long v2) const
inline

Definition at line 20693 of file cpp-checked.h.

References ctx(), and eq().

◆ floor()

isl::val isl::val::floor ( ) const
inline

Definition at line 20698 of file cpp-checked.h.

References copy(), isl_val_floor(), manage, and res.

Referenced by copy().

◆ gcd() [1/2]

isl::val isl::val::gcd ( isl::checked::val v2) const
inline

Definition at line 20704 of file cpp-checked.h.

References copy(), isl_val_gcd(), manage, release(), and res.

Referenced by copy(), and gcd().

◆ gcd() [2/2]

isl::val isl::val::gcd ( long v2) const
inline

Definition at line 20710 of file cpp-checked.h.

References ctx(), and gcd().

◆ ge() [1/2]

boolean isl::val::ge ( const isl::checked::val & v2) const
inline

Definition at line 20715 of file cpp-checked.h.

References get(), isl_val_ge(), manage, and res.

Referenced by copy(), and ge().

◆ ge() [2/2]

boolean isl::val::ge ( long v2) const
inline

Definition at line 20721 of file cpp-checked.h.

References ctx(), and ge().

◆ get()

__isl_keep isl_val * isl::val::get ( ) const
inline

Definition at line 20607 of file cpp-checked.h.

References __isl_keep, and ptr.

Referenced by abs_eq(), cmp_si(), copy(), den_si(), eq(), ge(), gt(), is_divisible_by(), is_infty(), is_int(), is_nan(), is_neg(), is_neginfty(), is_negone(), is_nonneg(), is_nonpos(), is_one(), is_pos(), is_rat(), is_zero(), le(), lt(), ne(), num_si(), and sgn().

◆ get_den_si()

long isl::val::get_den_si ( ) const
inline

Definition at line 20671 of file cpp-checked.h.

References den_si().

Referenced by copy().

◆ get_num_si()

long isl::val::get_num_si ( ) const
inline

Definition at line 20939 of file cpp-checked.h.

References num_si().

Referenced by copy(), and polly::IslNodeBuilder::getNumberOfIterations().

◆ gt() [1/2]

boolean isl::val::gt ( const isl::checked::val & v2) const
inline

Definition at line 20726 of file cpp-checked.h.

References get(), isl_val_gt(), manage, and res.

Referenced by copy(), polly::getConstant(), and gt().

◆ gt() [2/2]

boolean isl::val::gt ( long v2) const
inline

Definition at line 20732 of file cpp-checked.h.

References ctx(), and gt().

◆ infty()

isl::val isl::val::infty ( isl::checked::ctx ctx)
inlinestatic

Definition at line 20737 of file cpp-checked.h.

References ctx(), isl_val_infty(), manage, and res.

Referenced by copy().

◆ inv()

isl::val isl::val::inv ( ) const
inline

Definition at line 20743 of file cpp-checked.h.

References copy(), isl_val_inv(), manage, and res.

Referenced by copy(), and test_parameters_obj().

◆ is_divisible_by() [1/2]

boolean isl::val::is_divisible_by ( const isl::checked::val & v2) const
inline

Definition at line 20749 of file cpp-checked.h.

References get(), isl_val_is_divisible_by(), manage, and res.

Referenced by copy(), and is_divisible_by().

◆ is_divisible_by() [2/2]

boolean isl::val::is_divisible_by ( long v2) const
inline

Definition at line 20755 of file cpp-checked.h.

References ctx(), and is_divisible_by().

◆ is_infty()

boolean isl::val::is_infty ( ) const
inline

Definition at line 20760 of file cpp-checked.h.

References get(), isl_val_is_infty(), manage, and res.

Referenced by copy().

◆ is_int()

boolean isl::val::is_int ( ) const
inline

Definition at line 20766 of file cpp-checked.h.

References get(), isl_val_is_int(), manage, and res.

Referenced by copy(), and polly::ScopBuilder::foldSizeConstantsToRight().

◆ is_nan()

boolean isl::val::is_nan ( ) const
inline

Definition at line 20772 of file cpp-checked.h.

References get(), isl_val_is_nan(), manage, and res.

Referenced by copy(), and polly::getConstant().

◆ is_neg()

boolean isl::val::is_neg ( ) const
inline

Definition at line 20778 of file cpp-checked.h.

References get(), isl_val_is_neg(), manage, and res.

Referenced by copy().

◆ is_neginfty()

boolean isl::val::is_neginfty ( ) const
inline

Definition at line 20784 of file cpp-checked.h.

References get(), isl_val_is_neginfty(), manage, and res.

Referenced by copy().

◆ is_negone()

boolean isl::val::is_negone ( ) const
inline

Definition at line 20790 of file cpp-checked.h.

References get(), isl_val_is_negone(), manage, and res.

Referenced by copy().

◆ is_nonneg()

boolean isl::val::is_nonneg ( ) const
inline

Definition at line 20796 of file cpp-checked.h.

References get(), isl_val_is_nonneg(), manage, and res.

Referenced by copy().

◆ is_nonpos()

boolean isl::val::is_nonpos ( ) const
inline

Definition at line 20802 of file cpp-checked.h.

References get(), isl_val_is_nonpos(), manage, and res.

Referenced by copy().

◆ is_null()

bool isl::val::is_null ( ) const
inline

Definition at line 20617 of file cpp-checked.h.

References ptr.

Referenced by copy(), polly::getConstant(), and test_constructors().

◆ is_one()

boolean isl::val::is_one ( ) const
inline

Definition at line 20808 of file cpp-checked.h.

References get(), isl_val_is_one(), manage, and res.

Referenced by copy().

◆ is_pos()

boolean isl::val::is_pos ( ) const
inline

Definition at line 20814 of file cpp-checked.h.

References get(), isl_val_is_pos(), manage, and res.

Referenced by copy().

◆ is_rat()

boolean isl::val::is_rat ( ) const
inline

Definition at line 20820 of file cpp-checked.h.

References get(), isl_val_is_rat(), manage, and res.

Referenced by copy().

◆ is_zero()

boolean isl::val::is_zero ( ) const
inline

Definition at line 20826 of file cpp-checked.h.

References get(), isl_val_is_zero(), manage, and res.

Referenced by copy(), and test_constructors().

◆ le() [1/2]

boolean isl::val::le ( const isl::checked::val & v2) const
inline

Definition at line 20832 of file cpp-checked.h.

References get(), isl_val_le(), manage, and res.

Referenced by copy(), and le().

◆ le() [2/2]

boolean isl::val::le ( long v2) const
inline

Definition at line 20838 of file cpp-checked.h.

References ctx(), and le().

◆ lt() [1/2]

boolean isl::val::lt ( const isl::checked::val & v2) const
inline

Definition at line 20843 of file cpp-checked.h.

References get(), isl_val_lt(), manage, and res.

Referenced by polly::applyFullUnroll(), copy(), polly::getConstant(), and lt().

◆ lt() [2/2]

boolean isl::val::lt ( long v2) const
inline

Definition at line 20849 of file cpp-checked.h.

References ctx(), and lt().

◆ max() [1/2]

isl::val isl::val::max ( isl::checked::val v2) const
inline

Definition at line 20854 of file cpp-checked.h.

References copy(), isl_val_max(), manage, release(), and res.

Referenced by copy(), and max().

◆ max() [2/2]

isl::val isl::val::max ( long v2) const
inline

Definition at line 20860 of file cpp-checked.h.

References ctx(), and max().

◆ min() [1/2]

isl::val isl::val::min ( isl::checked::val v2) const
inline

Definition at line 20865 of file cpp-checked.h.

References copy(), isl_val_min(), manage, release(), and res.

Referenced by copy(), and min().

◆ min() [2/2]

isl::val isl::val::min ( long v2) const
inline

Definition at line 20871 of file cpp-checked.h.

References ctx(), and min().

◆ mod() [1/2]

isl::val isl::val::mod ( isl::checked::val v2) const
inline

Definition at line 20876 of file cpp-checked.h.

References copy(), isl_val_mod(), manage, release(), and res.

Referenced by copy(), and mod().

◆ mod() [2/2]

isl::val isl::val::mod ( long v2) const
inline

Definition at line 20882 of file cpp-checked.h.

References ctx(), and mod().

◆ mul() [1/2]

isl::val isl::val::mul ( isl::checked::val v2) const
inline

Definition at line 20887 of file cpp-checked.h.

References copy(), isl_val_mul(), manage, release(), and res.

Referenced by copy(), and mul().

◆ mul() [2/2]

isl::val isl::val::mul ( long v2) const
inline

Definition at line 20893 of file cpp-checked.h.

References ctx(), and mul().

◆ nan()

isl::val isl::val::nan ( isl::checked::ctx ctx)
inlinestatic

Definition at line 20898 of file cpp-checked.h.

References ctx(), isl_val_nan(), manage, and res.

Referenced by copy().

◆ ne() [1/2]

boolean isl::val::ne ( const isl::checked::val & v2) const
inline

Definition at line 20904 of file cpp-checked.h.

References get(), isl_val_ne(), manage, and res.

Referenced by copy(), and ne().

◆ ne() [2/2]

boolean isl::val::ne ( long v2) const
inline

Definition at line 20910 of file cpp-checked.h.

References ctx(), and ne().

◆ neg()

isl::val isl::val::neg ( ) const
inline

Definition at line 20915 of file cpp-checked.h.

References copy(), isl_val_neg(), manage, and res.

Referenced by copy().

◆ neginfty()

isl::val isl::val::neginfty ( isl::checked::ctx ctx)
inlinestatic

Definition at line 20921 of file cpp-checked.h.

References ctx(), isl_val_neginfty(), manage, and res.

Referenced by copy().

◆ negone()

isl::val isl::val::negone ( isl::checked::ctx ctx)
inlinestatic

Definition at line 20927 of file cpp-checked.h.

References ctx(), isl_val_negone(), manage, and res.

Referenced by copy().

◆ num_si()

long isl::val::num_si ( ) const
inline

Definition at line 20933 of file cpp-checked.h.

References get(), isl_val_get_num_si(), and res.

Referenced by copy(), and get_num_si().

◆ one()

isl::val isl::val::one ( isl::checked::ctx ctx)
inlinestatic

Definition at line 20944 of file cpp-checked.h.

References ctx(), isl_val_one(), manage, and res.

Referenced by copy().

◆ operator=()

val & isl::val::operator= ( val obj)
inline

Definition at line 20593 of file cpp-checked.h.

References obj, and val().

◆ pow2()

isl::val isl::val::pow2 ( ) const
inline

Definition at line 20950 of file cpp-checked.h.

References copy(), isl_val_pow2(), manage, and res.

Referenced by copy().

◆ release()

__isl_give isl_val * isl::val::release ( )
inline

Definition at line 20611 of file cpp-checked.h.

References __isl_give, and ptr.

Referenced by isl::checked::multi_val::add(), add(), isl::checked::val_list::add(), isl::checked::aff::add_constant(), isl::checked::multi_aff::add_constant(), isl::checked::multi_pw_aff::add_constant(), isl::checked::pw_aff::add_constant(), isl::checked::pw_multi_aff::add_constant(), isl::aff::aff(), polly::APIntFromVal(), copy(), div(), isl::basic_map::fix_val(), isl::basic_set::fix_val(), isl::checked::map::fixed_power(), isl::checked::union_map::fixed_power(), isl::map::floordiv_val(), isl::ast_expr::from_val(), gcd(), isl::checked::val_list::insert(), isl::set::lower_bound_val(), max(), min(), mod(), mul(), isl::pw_aff::pw_aff(), isl::checked::set::pw_aff_on_domain(), isl::checked::aff::scale(), isl::checked::multi_aff::scale(), isl::checked::multi_pw_aff::scale(), isl::checked::multi_union_pw_aff::scale(), isl::checked::multi_val::scale(), isl::checked::pw_aff::scale(), isl::checked::pw_multi_aff::scale(), isl::checked::aff::scale_down(), isl::checked::multi_aff::scale_down(), isl::checked::multi_pw_aff::scale_down(), isl::checked::multi_union_pw_aff::scale_down(), isl::checked::multi_val::scale_down(), isl::checked::pw_multi_aff::scale_down(), isl::checked::id_to_ast_expr::set(), isl::checked::id_to_id::set(), isl::checked::multi_val::set_at(), isl::checked::val_list::set_at(), isl::constraint::set_constant_val(), isl::multi_val::set_val(), sub(), isl::union_pw_aff::union_pw_aff(), isl::set::upper_bound_val(), and isl::checked::val_list::val_list().

◆ sgn()

int isl::val::sgn ( ) const
inline

Definition at line 20956 of file cpp-checked.h.

References get(), isl_val_sgn(), and res.

Referenced by copy(), flatCompare(), and test_return_int().

◆ sub() [1/2]

isl::val isl::val::sub ( isl::checked::val v2) const
inline

Definition at line 20962 of file cpp-checked.h.

References copy(), isl_val_sub(), manage, release(), and res.

Referenced by addRangeBoundsToSet(), copy(), flatCompare(), and sub().

◆ sub() [2/2]

isl::val isl::val::sub ( long v2) const
inline

Definition at line 20968 of file cpp-checked.h.

References ctx(), and sub().

◆ to_list()

isl::val_list isl::val::to_list ( ) const
inline

Definition at line 20973 of file cpp-checked.h.

References copy(), manage, and res.

Referenced by copy().

◆ trunc()

isl::val isl::val::trunc ( ) const
inline

Definition at line 20979 of file cpp-checked.h.

References copy(), isl_val_trunc(), manage, and res.

Referenced by copy().

◆ zero()

isl::val isl::val::zero ( isl::checked::ctx ctx)
inlinestatic

Definition at line 20985 of file cpp-checked.h.

References ctx(), isl_val_zero(), manage, and res.

Referenced by copy().

◆ manage

val manage ( __isl_take isl_val * ptr)
friend

Definition at line 20561 of file cpp-checked.h.

References __isl_take, ptr, val(), and val.

Referenced by abs(), abs_eq(), add(), ceil(), copy(), div(), eq(), floor(), gcd(), ge(), gt(), infty(), isl::val::int_from_ui(), inv(), is_divisible_by(), is_infty(), is_int(), is_nan(), is_neg(), is_neginfty(), is_negone(), is_nonneg(), is_nonpos(), is_one(), is_pos(), is_rat(), is_zero(), le(), lt(), max(), min(), mod(), mul(), nan(), ne(), neg(), neginfty(), negone(), one(), pow2(), sub(), to_list(), trunc(), and zero().

◆ manage_copy

val manage_copy ( __isl_keep isl_val * ptr)
friend

Definition at line 20564 of file cpp-checked.h.

References __isl_keep, isl_val_copy(), ptr, val(), and val.

Referenced by copy().

Member Data Documentation

◆ ptr

isl_val * isl::val::ptr = nullptr
protected

Definition at line 4382 of file cpp-checked.h.

Referenced by copy(), copy(), ctx(), get(), is_null(), manage, manage_copy, release(), val(), val(), val(), val(), val(), and ~val().

The documentation for this class was generated from the following files:
Generated on for Polly by doxygen 1.14.0