Polly 23.0.0git
isl::val Class Reference

#include <cpp.h>

Public Member Functions

 val ()
 val (const val &obj)
 val (isl::ctx ctx, long i)
 val (isl::ctx ctx, const std::string &str)
valoperator= (val obj)
 ~val ()
__isl_give isl_valcopy () const &
__isl_give isl_valcopy () &&=delete
__isl_keep isl_valget () const
__isl_give isl_valrelease ()
bool is_null () const
isl::ctx ctx () const
isl::val abs () const
bool abs_eq (const isl::val &v2) const
bool abs_eq (long v2) const
isl::val add (isl::val v2) const
isl::val add (long v2) const
isl::val ceil () const
int cmp_si (long i) const
long den_si () const
long get_den_si () const
isl::val div (isl::val v2) const
isl::val div (long v2) const
bool eq (const isl::val &v2) const
bool eq (long v2) const
isl::val floor () const
isl::val gcd (isl::val v2) const
isl::val gcd (long v2) const
bool ge (const isl::val &v2) const
bool ge (long v2) const
bool gt (const isl::val &v2) const
bool gt (long v2) const
isl::val inv () const
bool is_divisible_by (const isl::val &v2) const
bool is_divisible_by (long v2) const
bool is_infty () const
bool is_int () const
bool is_nan () const
bool is_neg () const
bool is_neginfty () const
bool is_negone () const
bool is_nonneg () const
bool is_nonpos () const
bool is_one () const
bool is_pos () const
bool is_rat () const
bool is_zero () const
bool le (const isl::val &v2) const
bool le (long v2) const
bool lt (const isl::val &v2) const
bool lt (long v2) const
isl::val max (isl::val v2) const
isl::val max (long v2) const
isl::val min (isl::val v2) const
isl::val min (long v2) const
isl::val mod (isl::val v2) const
isl::val mod (long v2) const
isl::val mul (isl::val v2) const
isl::val mul (long v2) const
bool ne (const isl::val &v2) const
bool ne (long v2) const
isl::val neg () const
long num_si () const
long get_num_si () const
isl::val pow2 () const
int sgn () const
isl::val sub (isl::val v2) const
isl::val sub (long v2) const
isl::val_list to_list () const
isl::val trunc () const
 val ()
 val (const val &obj)
 val (isl::ctx ctx, long i)
 val (isl::ctx ctx, const std::string &str)
valoperator= (val obj)
 ~val ()
__isl_give isl_valcopy () const &
__isl_give isl_valcopy () &&=delete
__isl_keep isl_valget () const
__isl_give isl_valrelease ()
bool is_null () const
isl::ctx ctx () const
isl::val abs () const
boolean abs_eq (const isl::val &v2) const
boolean abs_eq (long v2) const
isl::val add (isl::val v2) const
isl::val add (long v2) const
isl::val ceil () const
int cmp_si (long i) const
long den_si () const
long get_den_si () const
isl::val div (isl::val v2) const
isl::val div (long v2) const
boolean eq (const isl::val &v2) const
boolean eq (long v2) const
isl::val floor () const
isl::val gcd (isl::val v2) const
isl::val gcd (long v2) const
boolean ge (const isl::val &v2) const
boolean ge (long v2) const
boolean gt (const isl::val &v2) const
boolean gt (long v2) const
isl::val inv () const
boolean is_divisible_by (const isl::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::val &v2) const
boolean le (long v2) const
boolean lt (const isl::val &v2) const
boolean lt (long v2) const
isl::val max (isl::val v2) const
isl::val max (long v2) const
isl::val min (isl::val v2) const
isl::val min (long v2) const
isl::val mod (isl::val v2) const
isl::val mod (long v2) const
isl::val mul (isl::val v2) const
isl::val mul (long v2) const
boolean ne (const isl::val &v2) const
boolean ne (long v2) const
isl::val neg () const
long num_si () const
long get_num_si () const
isl::val pow2 () const
int sgn () const
isl::val sub (isl::val v2) const
isl::val sub (long v2) const
isl::val_list to_list () const
isl::val trunc () const

Static Public Member Functions

static isl::val infty (isl::ctx ctx)
static isl::val nan (isl::ctx ctx)
static isl::val neginfty (isl::ctx ctx)
static isl::val negone (isl::ctx ctx)
static isl::val one (isl::ctx ctx)
static isl::val zero (isl::ctx ctx)
static isl::val infty (isl::ctx ctx)
static isl::val int_from_ui (isl::ctx ctx, unsigned long u)
static isl::val nan (isl::ctx ctx)
static isl::val neginfty (isl::ctx ctx)
static isl::val negone (isl::ctx ctx)
static isl::val one (isl::ctx ctx)
static isl::val zero (isl::ctx ctx)

Protected Member Functions

 val (__isl_take isl_val *ptr)
 val (__isl_take isl_val *ptr)

Protected Attributes

isl_valptr = nullptr

Friends

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

Detailed Description

Definition at line 4443 of file include/isl/cpp.h.

Constructor & Destructor Documentation

◆ val() [1/10]

◆ val() [2/10]

isl::val::val ( )
inline

◆ val() [3/10]

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

References obj, and val().

◆ val() [4/10]

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

References ctx().

◆ val() [5/10]

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

References ctx(), and str.

◆ ~val() [1/2]

isl::val::~val ( )
inline

◆ val() [6/10]

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

References __isl_take, and ptr.

◆ val() [7/10]

isl::val::val ( )
inline

◆ val() [8/10]

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

References obj, and val().

◆ val() [9/10]

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

References ctx().

◆ val() [10/10]

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

References ctx(), and str.

◆ ~val() [2/2]

isl::val::~val ( )
inline

Member Function Documentation

◆ abs() [1/2]

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

References abs(), and val().

Referenced by abs().

◆ abs() [2/2]

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

References abs(), and val().

◆ abs_eq() [1/4]

bool isl::val::abs_eq ( const isl::val & v2) const
inline

References abs_eq(), and val().

Referenced by abs_eq(), and abs_eq().

◆ abs_eq() [2/4]

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

References abs_eq(), and val().

◆ abs_eq() [3/4]

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

References abs_eq().

◆ abs_eq() [4/4]

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

References abs_eq().

◆ add() [1/4]

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

References add(), and val().

Referenced by add(), and add().

◆ add() [2/4]

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

References add(), and val().

◆ add() [3/4]

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

References add(), and val().

◆ add() [4/4]

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

References add(), and val().

◆ ceil() [1/2]

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

References ceil(), and val().

Referenced by ceil().

◆ ceil() [2/2]

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

References ceil(), and val().

◆ cmp_si() [1/2]

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

References cmp_si().

Referenced by cmp_si().

◆ cmp_si() [2/2]

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

References cmp_si().

◆ copy() [1/4]

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

References __isl_give, and copy().

◆ copy() [2/4]

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

References __isl_give, and copy().

◆ copy() [3/4]

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

References __isl_give.

Referenced by copy().

◆ copy() [4/4]

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

References __isl_give.

◆ ctx() [1/2]

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

References ctx().

Referenced by ctx(), infty(), int_from_ui(), nan(), neginfty(), negone(), one(), val(), val(), and zero().

◆ ctx() [2/2]

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

References ctx().

◆ den_si() [1/2]

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

References den_si().

Referenced by den_si().

◆ den_si() [2/2]

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

References den_si().

◆ div() [1/4]

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

References div(), and val().

Referenced by div(), and div().

◆ div() [2/4]

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

References div(), and val().

◆ div() [3/4]

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

References div(), and val().

◆ div() [4/4]

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

References div(), and val().

◆ eq() [1/4]

bool isl::val::eq ( const isl::val & v2) const
inline

References eq(), and val().

Referenced by eq(), and eq().

◆ eq() [2/4]

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

References eq(), and val().

◆ eq() [3/4]

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

References eq().

◆ eq() [4/4]

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

References eq().

◆ floor() [1/2]

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

References floor(), and val().

Referenced by floor().

◆ floor() [2/2]

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

References floor(), and val().

◆ gcd() [1/4]

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

References gcd(), and val().

Referenced by gcd(), and gcd().

◆ gcd() [2/4]

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

References gcd(), and val().

◆ gcd() [3/4]

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

References gcd(), and val().

◆ gcd() [4/4]

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

References gcd(), and val().

◆ ge() [1/4]

bool isl::val::ge ( const isl::val & v2) const
inline

References ge(), and val().

Referenced by ge(), and ge().

◆ ge() [2/4]

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

References ge(), and val().

◆ ge() [3/4]

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

References ge().

◆ ge() [4/4]

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

References ge().

◆ get() [1/2]

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

References __isl_keep, and get().

Referenced by get().

◆ get() [2/2]

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

References __isl_keep, and get().

◆ get_den_si() [1/2]

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

References get_den_si().

Referenced by get_den_si().

◆ get_den_si() [2/2]

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

References get_den_si().

◆ get_num_si() [1/2]

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

References get_num_si().

Referenced by get_num_si().

◆ get_num_si() [2/2]

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

References get_num_si().

◆ gt() [1/4]

bool isl::val::gt ( const isl::val & v2) const
inline

References gt(), and val().

Referenced by gt(), and gt().

◆ gt() [2/4]

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

References gt(), and val().

◆ gt() [3/4]

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

References gt().

◆ gt() [4/4]

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

References gt().

◆ infty() [1/2]

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

References ctx(), infty(), and val().

Referenced by infty().

◆ infty() [2/2]

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

References ctx(), infty(), int_from_ui(), and val().

◆ int_from_ui()

isl::val isl::val::int_from_ui ( isl::ctx ctx,
unsigned long u )
inlinestatic

◆ inv() [1/2]

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

References inv(), and val().

Referenced by inv().

◆ inv() [2/2]

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

References inv(), and val().

◆ is_divisible_by() [1/4]

bool isl::val::is_divisible_by ( const isl::val & v2) const
inline

References is_divisible_by(), and val().

Referenced by is_divisible_by(), and is_divisible_by().

◆ is_divisible_by() [2/4]

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

References is_divisible_by(), and val().

◆ is_divisible_by() [3/4]

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

References is_divisible_by().

◆ is_divisible_by() [4/4]

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

References is_divisible_by().

◆ is_infty() [1/2]

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

References is_infty().

Referenced by is_infty().

◆ is_infty() [2/2]

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

References is_infty().

◆ is_int() [1/2]

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

References is_int().

Referenced by is_int().

◆ is_int() [2/2]

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

References is_int().

◆ is_nan() [1/2]

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

References is_nan().

Referenced by is_nan().

◆ is_nan() [2/2]

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

References is_nan().

◆ is_neg() [1/2]

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

References is_neg().

Referenced by is_neg().

◆ is_neg() [2/2]

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

References is_neg().

◆ is_neginfty() [1/2]

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

References is_neginfty().

Referenced by is_neginfty().

◆ is_neginfty() [2/2]

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

References is_neginfty().

◆ is_negone() [1/2]

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

References is_negone().

Referenced by is_negone().

◆ is_negone() [2/2]

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

References is_negone().

◆ is_nonneg() [1/2]

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

References is_nonneg().

Referenced by is_nonneg().

◆ is_nonneg() [2/2]

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

References is_nonneg().

◆ is_nonpos() [1/2]

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

References is_nonpos().

Referenced by is_nonpos().

◆ is_nonpos() [2/2]

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

References is_nonpos().

◆ is_null() [1/2]

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

References is_null().

Referenced by is_null().

◆ is_null() [2/2]

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

References is_null().

◆ is_one() [1/2]

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

References is_one().

Referenced by is_one().

◆ is_one() [2/2]

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

References is_one().

◆ is_pos() [1/2]

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

References is_pos().

Referenced by is_pos().

◆ is_pos() [2/2]

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

References is_pos().

◆ is_rat() [1/2]

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

References is_rat().

Referenced by is_rat().

◆ is_rat() [2/2]

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

References is_rat().

◆ is_zero() [1/2]

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

References is_zero().

Referenced by is_zero().

◆ is_zero() [2/2]

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

References is_zero().

◆ le() [1/4]

bool isl::val::le ( const isl::val & v2) const
inline

References le(), and val().

Referenced by le(), and le().

◆ le() [2/4]

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

References le(), and val().

◆ le() [3/4]

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

References le().

◆ le() [4/4]

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

References le().

◆ lt() [1/4]

bool isl::val::lt ( const isl::val & v2) const
inline

References lt(), and val().

Referenced by lt(), and lt().

◆ lt() [2/4]

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

References lt(), and val().

◆ lt() [3/4]

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

References lt().

◆ lt() [4/4]

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

References lt().

◆ max() [1/4]

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

References max(), and val().

Referenced by max(), and max().

◆ max() [2/4]

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

References max(), and val().

◆ max() [3/4]

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

References max(), and val().

◆ max() [4/4]

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

References max(), and val().

◆ min() [1/4]

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

References min(), and val().

Referenced by min(), and min().

◆ min() [2/4]

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

References min(), and val().

◆ min() [3/4]

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

References min(), and val().

◆ min() [4/4]

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

References min(), and val().

◆ mod() [1/4]

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

References mod(), and val().

Referenced by mod(), and mod().

◆ mod() [2/4]

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

References mod(), and val().

◆ mod() [3/4]

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

References mod(), and val().

◆ mod() [4/4]

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

References mod(), and val().

◆ mul() [1/4]

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

References mul(), and val().

Referenced by mul(), and mul().

◆ mul() [2/4]

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

References mul(), and val().

◆ mul() [3/4]

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

References mul(), and val().

◆ mul() [4/4]

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

References mul(), and val().

◆ nan() [1/2]

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

References ctx(), nan(), and val().

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

◆ nan() [2/2]

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

References ctx(), nan(), and val().

◆ ne() [1/4]

bool isl::val::ne ( const isl::val & v2) const
inline

References ne(), and val().

Referenced by ne(), and ne().

◆ ne() [2/4]

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

References ne(), and val().

◆ ne() [3/4]

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

References ne().

◆ ne() [4/4]

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

References ne().

◆ neg() [1/2]

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

References neg(), and val().

Referenced by neg().

◆ neg() [2/2]

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

References neg(), and val().

◆ neginfty() [1/2]

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

References ctx(), neginfty(), and val().

Referenced by neginfty().

◆ neginfty() [2/2]

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

References ctx(), neginfty(), and val().

◆ negone() [1/2]

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

References ctx(), negone(), and val().

Referenced by negone().

◆ negone() [2/2]

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

References ctx(), negone(), and val().

◆ num_si() [1/2]

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

References num_si().

Referenced by num_si().

◆ num_si() [2/2]

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

References num_si().

◆ one() [1/2]

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

References ctx(), one(), and val().

Referenced by one().

◆ one() [2/2]

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

References ctx(), one(), and val().

◆ operator=() [1/2]

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

References obj, and val().

◆ operator=() [2/2]

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

References obj, and val().

◆ pow2() [1/2]

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

References pow2(), and val().

Referenced by pow2().

◆ pow2() [2/2]

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

References pow2(), and val().

◆ release() [1/2]

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

References __isl_give, and release().

Referenced by release().

◆ release() [2/2]

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

References __isl_give, and release().

◆ sgn() [1/2]

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

References sgn().

Referenced by sgn().

◆ sgn() [2/2]

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

References sgn().

◆ sub() [1/4]

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

References sub(), and val().

Referenced by sub(), and sub().

◆ sub() [2/4]

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

References sub(), and val().

◆ sub() [3/4]

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

References sub(), and val().

◆ sub() [4/4]

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

References sub(), and val().

◆ to_list() [1/2]

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

References to_list().

Referenced by to_list().

◆ to_list() [2/2]

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

References to_list().

◆ trunc() [1/2]

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

References trunc(), and val().

Referenced by trunc().

◆ trunc() [2/2]

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

References trunc(), and val().

◆ zero() [1/2]

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

◆ zero() [2/2]

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

◆ manage [1/2]

val manage ( __isl_take isl_val * ptr)
friend

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

Referenced by zero().

◆ manage [2/2]

val manage ( __isl_take isl_val * ptr)
friend

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

◆ manage_copy [1/2]

val manage_copy ( __isl_keep isl_val * ptr)
friend

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

Referenced by zero().

◆ manage_copy [2/2]

val manage_copy ( __isl_keep isl_val * ptr)
friend

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

Member Data Documentation

◆ ptr

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

Definition at line 4448 of file include/isl/cpp.h.

Referenced by val(), and zero().


The documentation for this class was generated from the following files: