#include <isl-noexceptions.h>

Public Member Functions
	val ()

	val (const val &obj)

	val (isl::ctx ctx, long i)

	val (isl::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::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	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)

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 4718 of file isl-noexceptions.h.

Constructor & Destructor Documentation

◆ val() [1/5]

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

inlineexplicitprotected

Definition at line 22387 of file isl-noexceptions.h.

◆ val() [2/5]

isl::val::val ( )

inline

Definition at line 22378 of file isl-noexceptions.h.

◆ val() [3/5]

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

inline

Definition at line 22381 of file isl-noexceptions.h.

References obj, and ptr.

◆ val() [4/5]

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

inlineexplicit

Definition at line 22390 of file isl-noexceptions.h.

References isl_val_int_from_si(), ptr, isl::ctx::release(), and res.

◆ val() [5/5]

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

inlineexplicit

Definition at line 22396 of file isl-noexceptions.h.

References isl_val_read_from_str(), ptr, isl::ctx::release(), res, and str.

◆ ~val()

isl::val::~val ( )

inline

Definition at line 22407 of file isl-noexceptions.h.

References isl_val_free(), and ptr.

Member Function Documentation

◆ abs()

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

inline

Definition at line 22434 of file isl-noexceptions.h.

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

◆ abs_eq() [1/2]

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

inline

Definition at line 22440 of file isl-noexceptions.h.

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

Referenced by abs_eq().

◆ abs_eq() [2/2]

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

inline

Definition at line 22446 of file isl-noexceptions.h.

References abs_eq(), and ctx().

◆ add() [1/2]

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

inline

Definition at line 22451 of file isl-noexceptions.h.

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

Referenced by add(), and test_return_obj().

◆ add() [2/2]

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

inline

Definition at line 22457 of file isl-noexceptions.h.

References add(), and ctx().

◆ ceil()

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

inline

Definition at line 22462 of file isl-noexceptions.h.

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

◆ cmp_si()

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

inline

Definition at line 22468 of file isl-noexceptions.h.

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

◆ copy() [1/2]

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

inlinedelete

◆ copy() [2/2]

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

inline

Definition at line 22412 of file isl-noexceptions.h.

References isl_val_copy(), and ptr.

Referenced by abs(), add(), ceil(), 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 22430 of file isl-noexceptions.h.

References isl_val_get_ctx(), and ptr.

Referenced by abs_eq(), add(), div(), eq(), gcd(), ge(), gt(), is_divisible_by(), le(), lt(), max(), min(), mod(), mul(), ne(), and sub().

◆ den_si()

long isl::val::den_si ( ) const

inline

Definition at line 22474 of file isl-noexceptions.h.

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

Referenced by get_den_si().

◆ div() [1/2]

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

inline

Definition at line 22485 of file isl-noexceptions.h.

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

◆ div() [2/2]

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

inline

Definition at line 22491 of file isl-noexceptions.h.

References ctx(), and isl::div.

◆ eq() [1/2]

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

inline

Definition at line 22496 of file isl-noexceptions.h.

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

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

◆ eq() [2/2]

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

inline

Definition at line 22502 of file isl-noexceptions.h.

References ctx(), and eq().

◆ floor()

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

inline

Definition at line 22507 of file isl-noexceptions.h.

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

◆ gcd() [1/2]

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

inline

Definition at line 22513 of file isl-noexceptions.h.

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

Referenced by gcd().

◆ gcd() [2/2]

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

inline

Definition at line 22519 of file isl-noexceptions.h.

References ctx(), and gcd().

◆ ge() [1/2]

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

inline

Definition at line 22524 of file isl-noexceptions.h.

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

Referenced by ge().

◆ ge() [2/2]

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

inline

Definition at line 22530 of file isl-noexceptions.h.

References ctx(), and ge().

◆ get()

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

inline

Definition at line 22416 of file isl-noexceptions.h.

References ptr.

Referenced by abs_eq(), cmp_si(), 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 22480 of file isl-noexceptions.h.

References den_si().

◆ get_num_si()

long isl::val::get_num_si ( ) const

inline

Definition at line 22754 of file isl-noexceptions.h.

References num_si().

Referenced by polly::IslNodeBuilder::getNumberOfIterations().

◆ gt() [1/2]

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

inline

Definition at line 22535 of file isl-noexceptions.h.

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

Referenced by gt().

◆ gt() [2/2]

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

inline

Definition at line 22541 of file isl-noexceptions.h.

References ctx(), and gt().

◆ infty()

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

inlinestatic

Definition at line 22546 of file isl-noexceptions.h.

References isl_val_infty(), manage, isl::ctx::release(), and res.

◆ int_from_ui()

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

inlinestatic

Definition at line 22552 of file isl-noexceptions.h.

References isl_val_int_from_ui(), manage, isl::ctx::release(), and res.

Referenced by polly::SCEVAffinator::addModuloSemantic(), and buildCondition().

◆ inv()

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

inline

Definition at line 22558 of file isl-noexceptions.h.

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

Referenced by test_parameters_obj().

◆ is_divisible_by() [1/2]

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

inline

Definition at line 22564 of file isl-noexceptions.h.

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

Referenced by is_divisible_by().

◆ is_divisible_by() [2/2]

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

inline

Definition at line 22570 of file isl-noexceptions.h.

References ctx(), and is_divisible_by().

◆ is_infty()

boolean isl::val::is_infty ( ) const

inline

Definition at line 22575 of file isl-noexceptions.h.

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

◆ is_int()

boolean isl::val::is_int ( ) const

inline

Definition at line 22581 of file isl-noexceptions.h.

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

Referenced by polly::ScopBuilder::foldSizeConstantsToRight().

◆ is_nan()

boolean isl::val::is_nan ( ) const

inline

Definition at line 22587 of file isl-noexceptions.h.

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

Referenced by polly::getConstant().

◆ is_neg()

boolean isl::val::is_neg ( ) const

inline

Definition at line 22593 of file isl-noexceptions.h.

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

◆ is_neginfty()

boolean isl::val::is_neginfty ( ) const

inline

Definition at line 22599 of file isl-noexceptions.h.

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

◆ is_negone()

boolean isl::val::is_negone ( ) const

inline

Definition at line 22605 of file isl-noexceptions.h.

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

◆ is_nonneg()

boolean isl::val::is_nonneg ( ) const

inline

Definition at line 22611 of file isl-noexceptions.h.

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

◆ is_nonpos()

boolean isl::val::is_nonpos ( ) const

inline

Definition at line 22617 of file isl-noexceptions.h.

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

◆ is_null()

bool isl::val::is_null ( ) const

inline

Definition at line 22426 of file isl-noexceptions.h.

References ptr.

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

◆ is_one()

boolean isl::val::is_one ( ) const

inline

Definition at line 22623 of file isl-noexceptions.h.

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

Referenced by polly::IslNodeBuilder::getNumberOfIterations().

◆ is_pos()

boolean isl::val::is_pos ( ) const

inline

Definition at line 22629 of file isl-noexceptions.h.

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

◆ is_rat()

boolean isl::val::is_rat ( ) const

inline

Definition at line 22635 of file isl-noexceptions.h.

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

◆ is_zero()

boolean isl::val::is_zero ( ) const

inline

Definition at line 22641 of file isl-noexceptions.h.

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

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

◆ le() [1/2]

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

inline

Definition at line 22647 of file isl-noexceptions.h.

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

Referenced by le().

◆ le() [2/2]

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

inline

Definition at line 22653 of file isl-noexceptions.h.

References ctx(), and le().

◆ lt() [1/2]

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

inline

Definition at line 22658 of file isl-noexceptions.h.

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

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

◆ lt() [2/2]

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

inline

Definition at line 22664 of file isl-noexceptions.h.

References ctx(), and lt().

◆ max() [1/2]

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

inline

Definition at line 22669 of file isl-noexceptions.h.

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

Referenced by max().

◆ max() [2/2]

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

inline

Definition at line 22675 of file isl-noexceptions.h.

References ctx(), and max().

◆ min() [1/2]

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

inline

Definition at line 22680 of file isl-noexceptions.h.

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

Referenced by min().

◆ min() [2/2]

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

inline

Definition at line 22686 of file isl-noexceptions.h.

References ctx(), and min().

◆ mod() [1/2]

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

inline

Definition at line 22691 of file isl-noexceptions.h.

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

Referenced by mod().

◆ mod() [2/2]

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

inline

Definition at line 22697 of file isl-noexceptions.h.

References ctx(), and mod().

◆ mul() [1/2]

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

inline

Definition at line 22702 of file isl-noexceptions.h.

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

Referenced by mul().

◆ mul() [2/2]

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

inline

Definition at line 22708 of file isl-noexceptions.h.

References ctx(), and mul().

◆ nan()

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

inlinestatic

Definition at line 22713 of file isl-noexceptions.h.

References isl_val_nan(), manage, isl::ctx::release(), and res.

Referenced by polly::getConstant().

◆ ne() [1/2]

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

inline

Definition at line 22719 of file isl-noexceptions.h.

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

Referenced by ne().

◆ ne() [2/2]

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

inline

Definition at line 22725 of file isl-noexceptions.h.

References ctx(), and ne().

◆ neg()

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

inline

Definition at line 22730 of file isl-noexceptions.h.

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

◆ neginfty()

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

inlinestatic

Definition at line 22736 of file isl-noexceptions.h.

References isl_val_neginfty(), manage, isl::ctx::release(), and res.

◆ negone()

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

inlinestatic

Definition at line 22742 of file isl-noexceptions.h.

References isl_val_negone(), manage, isl::ctx::release(), and res.

◆ num_si()

long isl::val::num_si ( ) const

inline

Definition at line 22748 of file isl-noexceptions.h.

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

Referenced by get_num_si().

◆ one()

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

inlinestatic

Definition at line 22759 of file isl-noexceptions.h.

References isl_val_one(), manage, isl::ctx::release(), and res.

◆ operator=()

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

inline

Definition at line 22402 of file isl-noexceptions.h.

References obj.

◆ pow2()

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

inline

Definition at line 22765 of file isl-noexceptions.h.

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

◆ release()

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

inline

Definition at line 22420 of file isl-noexceptions.h.

References ptr.

Referenced by isl::val_list::add(), isl::multi_val::add(), add(), isl::aff::add_constant(), isl::multi_aff::add_constant(), isl::multi_pw_aff::add_constant(), isl::pw_aff::add_constant(), isl::pw_multi_aff::add_constant(), isl::aff::aff(), polly::APIntFromVal(), div(), isl::basic_map::fix_val(), isl::basic_set::fix_val(), isl::union_map::fixed_power(), isl::map::floordiv_val(), isl::ast_expr::from_val(), gcd(), isl::val_list::insert(), isl::set::lower_bound_val(), max(), min(), mod(), mul(), isl::pw_aff::pw_aff(), isl::aff::scale(), isl::multi_aff::scale(), isl::multi_pw_aff::scale(), isl::multi_union_pw_aff::scale(), isl::multi_val::scale(), isl::pw_aff::scale(), isl::pw_multi_aff::scale(), isl::aff::scale_down(), isl::multi_aff::scale_down(), isl::multi_pw_aff::scale_down(), isl::multi_union_pw_aff::scale_down(), isl::multi_val::scale_down(), isl::pw_multi_aff::scale_down(), isl::id_to_ast_expr::set(), isl::multi_val::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::val_list::val_list().

◆ sgn()

int isl::val::sgn ( ) const

inline

Definition at line 22771 of file isl-noexceptions.h.

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

Referenced by flatCompare(), and test_return_int().

◆ sub() [1/2]

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

inline

Definition at line 22777 of file isl-noexceptions.h.

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

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

◆ sub() [2/2]

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

inline

Definition at line 22783 of file isl-noexceptions.h.

References ctx(), and sub().

◆ to_list()

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

inline

Definition at line 22788 of file isl-noexceptions.h.

References copy(), manage, and res.

◆ trunc()

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

inline

Definition at line 22794 of file isl-noexceptions.h.

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

◆ zero()

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

inlinestatic

Definition at line 22800 of file isl-noexceptions.h.

References isl_val_zero(), manage, isl::ctx::release(), and res.

Referenced by polly::IslAst::buildRunCondition(), and test_constructors().

Friends And Related Function Documentation

◆ manage

val manage ( __isl_take isl_val * ptr )

friend

Definition at line 22370 of file isl-noexceptions.h.

Referenced by abs(), abs_eq(), add(), ceil(), div(), eq(), floor(), gcd(), ge(), gt(), infty(), 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 22373 of file isl-noexceptions.h.

Member Data Documentation

◆ ptr

isl_val* isl::val::ptr = nullptr

protected

Definition at line 4723 of file isl-noexceptions.h.

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

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

isl-noexceptions.h

Public Member Functions

Static Public Member Functions

Protected Member Functions

Protected Attributes

Friends

Detailed Description

Constructor & Destructor Documentation

◆ val() [1/5]

◆ val() [2/5]

◆ val() [3/5]

◆ val() [4/5]

◆ val() [5/5]

◆ ~val()

Member Function Documentation

◆ abs()

◆ abs_eq() [1/2]

◆ abs_eq() [2/2]

◆ add() [1/2]

◆ add() [2/2]

◆ ceil()

◆ cmp_si()

◆ copy() [1/2]

◆ copy() [2/2]

◆ ctx()

◆ den_si()

◆ div() [1/2]

◆ div() [2/2]

◆ eq() [1/2]

◆ eq() [2/2]

◆ floor()

◆ gcd() [1/2]

◆ gcd() [2/2]

◆ ge() [1/2]

◆ ge() [2/2]

◆ get()

◆ get_den_si()

◆ get_num_si()

◆ gt() [1/2]

◆ gt() [2/2]

◆ infty()

◆ int_from_ui()

◆ inv()

◆ is_divisible_by() [1/2]

◆ is_divisible_by() [2/2]

◆ 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() [1/2]

◆ le() [2/2]

◆ lt() [1/2]

◆ lt() [2/2]

◆ max() [1/2]

◆ max() [2/2]

◆ min() [1/2]

◆ min() [2/2]

◆ mod() [1/2]

◆ mod() [2/2]

◆ mul() [1/2]

◆ mul() [2/2]

◆ nan()

◆ ne() [1/2]

◆ ne() [2/2]

◆ neg()

◆ neginfty()

◆ negone()

◆ num_si()

◆ one()

◆ operator=()

◆ pow2()

◆ release()