#include <typed_cpp.h>

Inheritance diagram for isl::typed::val< Anonymous >:

Public Member Functions
	val ()=default
	val (const isl::val &obj)
	val (const isl::ctx &ctx, long i)
	val (const isl::ctx &ctx, const std::string &str)
typed::val< Anonymous >	add (const typed::val< Anonymous > &v2) const
typed::val< Anonymous >	add (long v2) const
typed::val< Anonymous >	ceil () const
long	get_den_si () const =delete
typed::val< Anonymous >	floor () const
typed::val< Anonymous >	max (const typed::val< Anonymous > &v2) const
typed::val< Anonymous >	max (long v2) const
typed::val< Anonymous >	min (const typed::val< Anonymous > &v2) const
typed::val< Anonymous >	min (long v2) const
typed::val< Anonymous >	mod (const typed::val< Anonymous > &v2) const
typed::val< Anonymous >	mod (long v2) const
typed::val< Anonymous >	neg () const
long	get_num_si () const =delete
typed::val< Anonymous >	sub (const typed::val< Anonymous > &v2) const
typed::val< Anonymous >	sub (long v2) const
Public Member Functions inherited from isl::checked::val
	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 val	from (const isl::val &obj)
Static Public Member Functions inherited from isl::checked::val
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)

Friends
template<typename...>
struct	aff
template<typename...>
struct	aff_list
template<typename...>
struct	basic_map
template<typename...>
struct	basic_set
template<typename...>
struct	fixed_box
template<typename...>
struct	id
template<typename...>
struct	id_list
template<typename...>
struct	map
template<typename...>
struct	map_list
template<typename...>
struct	multi_aff
template<typename...>
struct	multi_id
template<typename...>
struct	multi_pw_aff
template<typename...>
struct	multi_union_pw_aff
template<typename...>
struct	multi_val
template<typename...>
struct	point
template<typename...>
struct	pw_aff
template<typename...>
struct	pw_aff_list
template<typename...>
struct	pw_multi_aff
template<typename...>
struct	pw_multi_aff_list
template<typename...>
struct	set
template<typename...>
struct	set_list
template<typename...>
struct	space
template<typename...>
struct	union_map
template<typename...>
struct	union_pw_aff
template<typename...>
struct	union_pw_aff_list
template<typename...>
struct	union_pw_multi_aff
template<typename...>
struct	union_set
template<typename...>
struct	union_set_list
template<typename...>
struct	val
template<typename...>
struct	val_list

Additional Inherited Members
Protected Member Functions inherited from isl::checked::val
	val (__isl_take isl_val *ptr)
Protected Attributes inherited from isl::checked::val
isl_val *	ptr = nullptr

Detailed Description

Definition at line 14347 of file typed_cpp.h.

Constructor & Destructor Documentation

◆ val() [1/4]

isl::typed::val< Anonymous >::val ( )

default

◆ val() [2/4]

isl::typed::val< Anonymous >::val ( const isl::val< Anonymous > & obj )

inline

Definition at line 14410 of file typed_cpp.h.

References obj, and val.

◆ val() [3/4]

isl::typed::val< Anonymous >::val	(	const isl::ctx &	ctx,
		long	i )

inlineexplicit

References isl::checked::val::ctx().

◆ val() [4/4]

isl::typed::val< Anonymous >::val	(	const isl::ctx &	ctx,
		const std::string &	str )

inlineexplicit

References isl::checked::val::ctx(), and str.

Member Function Documentation

◆ add() [1/2]

typed::val< Anonymous > isl::typed::val< Anonymous >::add ( const typed::val< Anonymous > & v2 ) const

inline

◆ add() [2/2]

typed::val< Anonymous > isl::typed::val< Anonymous >::add ( long v2 ) const

inline

◆ ceil()

typed::val< Anonymous > isl::typed::val< Anonymous >::ceil ( ) const

inline

◆ floor()

typed::val< Anonymous > isl::typed::val< Anonymous >::floor ( ) const

inline

◆ from()

val isl::typed::val< Anonymous >::from ( const isl::val< Anonymous > & obj )

inlinestatic

Definition at line 14411 of file typed_cpp.h.

References obj, val, and val.

◆ get_den_si()

long isl::typed::val< Anonymous >::get_den_si ( ) const

inlinedelete

◆ get_num_si()

long isl::typed::val< Anonymous >::get_num_si ( ) const

inlinedelete

◆ max() [1/2]

typed::val< Anonymous > isl::typed::val< Anonymous >::max ( const typed::val< Anonymous > & v2 ) const

inline

◆ max() [2/2]

typed::val< Anonymous > isl::typed::val< Anonymous >::max ( long v2 ) const

inline

◆ min() [1/2]

typed::val< Anonymous > isl::typed::val< Anonymous >::min ( const typed::val< Anonymous > & v2 ) const

inline

◆ min() [2/2]

typed::val< Anonymous > isl::typed::val< Anonymous >::min ( long v2 ) const

inline

◆ mod() [1/2]

typed::val< Anonymous > isl::typed::val< Anonymous >::mod ( const typed::val< Anonymous > & v2 ) const

inline

◆ mod() [2/2]

typed::val< Anonymous > isl::typed::val< Anonymous >::mod ( long v2 ) const

inline

◆ neg()

typed::val< Anonymous > isl::typed::val< Anonymous >::neg ( ) const

inline

◆ sub() [1/2]

typed::val< Anonymous > isl::typed::val< Anonymous >::sub ( const typed::val< Anonymous > & v2 ) const

inline

◆ sub() [2/2]

typed::val< Anonymous > isl::typed::val< Anonymous >::sub ( long v2 ) const

inline

◆ aff

template<typename...>

friend struct aff

friend

Definition at line 14349 of file typed_cpp.h.

References aff.

Referenced by aff.

◆ aff_list

template<typename...>

friend struct aff_list

friend

Definition at line 14351 of file typed_cpp.h.

References aff_list.

Referenced by aff_list.

◆ basic_map

template<typename...>

friend struct basic_map

friend

Definition at line 14353 of file typed_cpp.h.

References basic_map.

Referenced by basic_map.

◆ basic_set

template<typename...>

friend struct basic_set

friend

Definition at line 14355 of file typed_cpp.h.

References basic_set.

Referenced by basic_set.

◆ fixed_box

template<typename...>

friend struct fixed_box

friend

Definition at line 14357 of file typed_cpp.h.

References fixed_box.

Referenced by fixed_box.

◆ id

template<typename...>

friend struct id

friend

Definition at line 14359 of file typed_cpp.h.

References id.

Referenced by id.

◆ id_list

template<typename...>

friend struct id_list

friend

Definition at line 14361 of file typed_cpp.h.

References id_list.

Referenced by id_list.

◆ map

template<typename...>

friend struct map

friend

Definition at line 14363 of file typed_cpp.h.

References map.

Referenced by map.

◆ map_list

template<typename...>

friend struct map_list

friend

Definition at line 14365 of file typed_cpp.h.

References map_list.

Referenced by map_list.

◆ multi_aff

template<typename...>

friend struct multi_aff

friend

Definition at line 14367 of file typed_cpp.h.

References multi_aff.

Referenced by multi_aff.

◆ multi_id

template<typename...>

friend struct multi_id

friend

Definition at line 14369 of file typed_cpp.h.

References multi_id.

Referenced by multi_id.

◆ multi_pw_aff

template<typename...>

friend struct multi_pw_aff

friend

Definition at line 14371 of file typed_cpp.h.

References multi_pw_aff.

Referenced by multi_pw_aff.

◆ multi_union_pw_aff

template<typename...>

friend struct multi_union_pw_aff

friend

Definition at line 14373 of file typed_cpp.h.

References multi_union_pw_aff.

Referenced by multi_union_pw_aff.

◆ multi_val

template<typename...>

friend struct multi_val

friend

Definition at line 14375 of file typed_cpp.h.

References multi_val.

Referenced by multi_val.

◆ point

template<typename...>

friend struct point

friend

Definition at line 14377 of file typed_cpp.h.

References point.

Referenced by point.

◆ pw_aff

template<typename...>

friend struct pw_aff

friend

Definition at line 14379 of file typed_cpp.h.

References pw_aff.

Referenced by pw_aff.

◆ pw_aff_list

template<typename...>

friend struct pw_aff_list

friend

Definition at line 14381 of file typed_cpp.h.

References pw_aff_list.

Referenced by pw_aff_list.

◆ pw_multi_aff

template<typename...>

friend struct pw_multi_aff

friend

Definition at line 14383 of file typed_cpp.h.

References pw_multi_aff.

Referenced by pw_multi_aff.

◆ pw_multi_aff_list

template<typename...>

friend struct pw_multi_aff_list

friend

Definition at line 14385 of file typed_cpp.h.

References pw_multi_aff_list.

Referenced by pw_multi_aff_list.

◆ set

template<typename...>

friend struct set

friend

Definition at line 14387 of file typed_cpp.h.

References set.

Referenced by set.

◆ set_list

template<typename...>

friend struct set_list

friend

Definition at line 14389 of file typed_cpp.h.

References set_list.

Referenced by set_list.

◆ space

template<typename...>

friend struct space

friend

Definition at line 14391 of file typed_cpp.h.

References space.

Referenced by space.

◆ union_map

template<typename...>

friend struct union_map

friend

Definition at line 14393 of file typed_cpp.h.

References union_map.

Referenced by union_map.

◆ union_pw_aff

template<typename...>

friend struct union_pw_aff

friend

Definition at line 14395 of file typed_cpp.h.

References union_pw_aff.

Referenced by union_pw_aff.

◆ union_pw_aff_list

template<typename...>

friend struct union_pw_aff_list

friend

Definition at line 14397 of file typed_cpp.h.

References union_pw_aff_list.

Referenced by union_pw_aff_list.

◆ union_pw_multi_aff

template<typename...>

friend struct union_pw_multi_aff

friend

Definition at line 14399 of file typed_cpp.h.

References union_pw_multi_aff.

Referenced by union_pw_multi_aff.

◆ union_set

template<typename...>

friend struct union_set

friend

Definition at line 14401 of file typed_cpp.h.

References union_set.

Referenced by union_set.

◆ union_set_list

template<typename...>

friend struct union_set_list

friend

Definition at line 14403 of file typed_cpp.h.

References union_set_list.

Referenced by union_set_list.

◆ val

template<typename...>

friend struct val

friend

Definition at line 14405 of file typed_cpp.h.

References val.

Referenced by from(), val, and val().

◆ val_list

template<typename...>

friend struct val_list

friend

Definition at line 14407 of file typed_cpp.h.

References val_list.

Referenced by val_list.

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

typed_cpp.h

Public Member Functions

Static Public Member Functions

Friends

Additional Inherited Members

Detailed Description

Constructor & Destructor Documentation

◆ val() [1/4]

◆ val() [2/4]

◆ val() [3/4]

◆ val() [4/4]

Member Function Documentation

◆ add() [1/2]

◆ add() [2/2]

◆ ceil()

◆ floor()

◆ from()

◆ get_den_si()

◆ get_num_si()

◆ max() [1/2]

◆ max() [2/2]

◆ min() [1/2]

◆ min() [2/2]

◆ mod() [1/2]

◆ mod() [2/2]

◆ neg()

◆ sub() [1/2]

◆ sub() [2/2]

Friends And Related Symbol Documentation

◆ aff

◆ aff_list

◆ basic_map

◆ basic_set

◆ fixed_box

◆ id

◆ id_list

◆ map

◆ map_list

◆ multi_aff

◆ multi_id

◆ multi_pw_aff

◆ multi_union_pw_aff

◆ multi_val

◆ point

◆ pw_aff

◆ pw_aff_list

◆ pw_multi_aff

◆ pw_multi_aff_list

◆ set

◆ set_list

◆ space

◆ union_map

◆ union_pw_aff

◆ union_pw_aff_list

◆ union_pw_multi_aff

◆ union_set

◆ union_set_list

◆ val

◆ val_list