#include <stdlib.h>
#include "inline-only.h"

Macros
#define	Int_MAX ((Int)((~((CELL)0)) >> 1))

#define	Int_MIN (-Int_MAX - (CELL)1)

#define	PLMAXTAGGEDINT (MAX_ABS_INT - ((CELL)1))

#define	PLMINTAGGEDINT (-MAX_ABS_INT)

#define	PLMAXINT Int_MAX

#define	PLMININT Int_MIN

#define	INFINITY (1.0 / 0.0)

#define	NAN (0.0 / 0.0)

#define	FlIsInt(X) (FALSE)

#define	MkEvalFl(X) (FlIsInt(X) ? MkIntTerm((Int)(X)) : MkFloatTerm(X))

#define	REvalInt(I)

#define	REvalFl(F)

#define	REvalError() { return (FError); }

#define	FL(X) ((double)(X))

#define	Yap_EvalError(id, t, ...) Yap_EvalError__(__FILE__, __FUNCTION__, __LINE__, id, t, __VA_ARGS__)

#define	Yap_ArithError(id, t, ...) Yap_ThrowError__(__FILE__, __FUNCTION__, __LINE__, id, t, __VA_ARGS__)

#define	Yap_BinError(id) Yap_ThrowError__(true,__FILE__, __FUNCTION__, __LINE__, id, 0L, "")

#define	Yap_AbsmiError(id) Yap_ThrowError__(true,__FILE__, __FUNCTION__, __LINE__, id, 0L, "")

#define	Yap_MathException() Yap_MathException__(PASS_REGS1)

#define	Yap_InnerEval(x) Yap_InnerEval__(x PASS_REGS)

#define	Yap_Eval(x) Yap_Eval__(x PASS_REGS)

#define	Yap_FoundArithError() Yap_FoundArithError__(PASS_REGS1)

#define	RINT(v) return (MkIntegerTerm(v))

#define	RFLOAT(v) return (MkFloatTerm(v))

#define	RBIG(v) return (Yap_MkBigIntTerm(v))

#define	RERROR()

#define	Yap_gmp_cmp_float_big(D, T) (-Yap_gmp_cmp_big_float(T, D))

#define	Yap_gmp_tcmp_float_big(D, T) (-Yap_gmp_tcmp_big_float(T, D))

#define	Yap_Mk64IntegerTerm(i) __Yap_Mk64IntegerTerm((i)PASS_REGS)

#define	PI 3.14159265358979323846

#define	M_E 2.7182818284590452354

#define	DBL_EPSILON 0.00000000000000022204

Enumerations
enum	arith0_op { op_pi , op_e , op_epsilon , op_inf , op_nan , op_random , op_cputime , op_heapused , op_localsp , op_globalsp , op_b , op_env , op_tr , op_stackfree }
	constant operators More...

enum	arith1_op { op_uplus , op_uminus , op_unot , op_exp , op_log , op_log10 , op_sqrt , op_sin , op_cos , op_tan , op_sinh , op_cosh , op_tanh , op_asin , op_acos , op_atan , op_asinh , op_acosh , op_atanh , op_floor , op_ceiling , op_round , op_truncate , op_integer , op_float , op_abs , op_lsb , op_msb , op_popcount , op_ffracp , op_fintp , op_sign , op_lgamma , op_erf , op_erfc , op_rational , op_rationalize , op_random1 }
	unary operators More...

enum	arith2_op { op_plus , op_minus , op_times , op_fdiv , op_mod , op_rem , op_div , op_idiv , op_sll , op_slr , op_and , op_or , op_xor , op_atan2 , op_power , op_power2 , op_gcd , op_min , op_max , op_rdiv }
	binary operators More...

Functions
yap_error_number	Yap_MathException__ (USES_REGS1)

Functor	EvalArg (Term)

void	Yap_InitConstExps (void)

void	Yap_InitUnaryExps (void)

void	Yap_InitBinaryExps (void)

int	Yap_ReInitConstExps (void)

int	Yap_ReInitUnaryExps (void)

int	Yap_ReInitBinaryExps (void)

Term	Yap_eval_atom (Int)

Term	Yap_eval_unary (Int, Term)

Term	Yap_eval_binary (Int, Term, Term)

Term	Yap_InnerEval__ (Term USES_REGS)

void	Yap_EvalError__ (const char , const char , int, yap_error_number, Term,...)

INLINE_ONLY Term	Yap_Eval__ (Term t USES_REGS)

Atom	Yap_NameOfUnaryOp (int i)

Atom	Yap_NameOfBinaryOp (int i)

char *	Yap_mpz_to_string (MP_INT b, char s, size_t sz, int base)

Term	Yap_gmq_rdiv_int_int (Int, Int)

Term	Yap_gmq_rdiv_int_big (Int, Term)

Term	Yap_gmq_rdiv_big_int (Term, Int)

Term	Yap_gmq_rdiv_big_big (Term, Term)

Term	Yap_gmp_add_ints (Int, Int)

Term	Yap_gmp_sub_ints (Int, Int)

Term	Yap_gmp_mul_ints (Int, Int)

Term	Yap_gmp_sll_ints (Int, Int)

Term	Yap_gmp_add_int_big (Int, Term)

Term	Yap_gmp_sub_int_big (Int, Term)

Term	Yap_gmp_sub_big_int (Term, Int)

Term	Yap_gmp_mul_int_big (Int, Term)

Term	Yap_gmp_div_int_big (Int, Term)

Term	Yap_gmp_div_big_int (Term, Int)

Term	Yap_gmp_div2_big_int (Term, Int)

Term	Yap_gmp_fdiv_int_big (Int, Term)

Term	Yap_gmp_fdiv_big_int (Term, Int)

Term	Yap_gmp_and_int_big (Int, Term)

Term	Yap_gmp_ior_int_big (Int, Term)

Term	Yap_gmp_xor_int_big (Int, Term)

Term	Yap_gmp_sll_big_int (Term, Int)

Term	Yap_gmp_add_big_big (Term, Term)

Term	Yap_gmp_sub_big_big (Term, Term)

Term	Yap_gmp_mul_big_big (Term, Term)

Term	Yap_gmp_div_big_big (Term, Term)

Term	Yap_gmp_div2_big_big (Term, Term)

Term	Yap_gmp_fdiv_big_big (Term, Term)

Term	Yap_gmp_and_big_big (Term, Term)

Term	Yap_gmp_ior_big_big (Term, Term)

Term	Yap_gmp_xor_big_big (Term, Term)

Term	Yap_gmp_mod_big_big (Term, Term)

Term	Yap_gmp_mod_big_int (Term, Int)

Term	Yap_gmp_mod_int_big (Int, Term)

Term	Yap_gmp_rem_big_big (Term, Term)

Term	Yap_gmp_rem_big_int (Term, Int)

Term	Yap_gmp_rem_int_big (Int, Term)

Term	Yap_gmp_exp_int_int (Int, Int)

Term	Yap_gmp_exp_int_big (Int, Term)

Term	Yap_gmp_exp_big_int (Term, Int)

Term	Yap_gmp_exp_big_big (Term, Term)

Term	Yap_gmp_gcd_int_big (Int, Term)

Term	Yap_gmp_gcd_big_big (Term, Term)

Term	Yap_gmp_big_from_64bits (YAP_LONG_LONG)

Term	Yap_gmp_float_to_big (Float)

Term	Yap_gmp_float_to_rational (Float)

Term	Yap_gmp_float_rationalize (Float)

Float	Yap_gmp_to_float (Term)

Term	Yap_gmp_add_float_big (Float, Term)

Term	Yap_gmp_sub_float_big (Float, Term)

Term	Yap_gmp_sub_big_float (Term, Float)

Term	Yap_gmp_mul_float_big (Float, Term)

Term	Yap_gmp_fdiv_float_big (Float, Term)

Term	Yap_gmp_fdiv_big_float (Term, Float)

int	Yap_gmp_cmp_big_int (Term, Int)

int	Yap_gmp_cmp_int_big (Int, Term)

int	Yap_gmp_cmp_big_float (Term, Float)

int	Yap_gmp_cmp_big_big (Term, Term)

int	Yap_gmp_tcmp_big_int (Term, Int)

int	Yap_gmp_tcmp_int_big (Int, Term)

int	Yap_gmp_tcmp_big_float (Term, Float)

int	Yap_gmp_tcmp_big_big (Term, Term)

Term	Yap_gmp_neg_int (Int)

Term	Yap_gmp_abs_big (Term)

Term	Yap_gmp_neg_big (Term)

Term	Yap_gmp_unot_big (Term)

Term	Yap_gmp_floor (Term)

Term	Yap_gmp_ceiling (Term)

Term	Yap_gmp_round (Term)

Term	Yap_gmp_trunc (Term)

Term	Yap_gmp_float_fractional_part (Term)

Term	Yap_gmp_float_integer_part (Term)

Term	Yap_gmp_sign (Term)

Term	Yap_gmp_lsb (Term)

Term	Yap_gmp_msb (Term)

Term	Yap_gmp_popcount (Term)

char *	Yap_gmp_to_string (Term, char *, size_t, int)

size_t	Yap_gmp_to_size (Term, int)

int	Yap_term_to_existing_big (Term, MP_INT *)

int	Yap_term_to_existing_rat (Term, MP_RAT *)

void	Yap_gmp_set_bit (Int i, Term t)

INLINE_ONLY Term	__Yap_Mk64IntegerTerm (YAP_LONG_LONG USES_REGS)

INLINE_ONLY Term	__Yap_Mk64IntegerTerm (YAP_LONG_LONG i USES_REGS)

Int	Yap_msb (Int inp USES_REGS)

Macro Definition Documentation

◆ DBL_EPSILON

#define DBL_EPSILON 0.00000000000000022204

Definition at line 702 of file YapEval.h.

◆ FL

#define FL ( X ) ((double)(X))

Definition at line 396 of file YapEval.h.

◆ FlIsInt

#define FlIsInt ( X ) (FALSE)

Definition at line 367 of file YapEval.h.

◆ INFINITY

#define INFINITY (1.0 / 0.0)

Definition at line 154 of file YapEval.h.

◆ Int_MAX

#define Int_MAX ((Int)((~((CELL)0)) >> 1))

Definition at line 139 of file YapEval.h.

◆ Int_MIN

#define Int_MIN (-Int_MAX - (CELL)1)

Definition at line 144 of file YapEval.h.

◆ M_E

#define M_E 2.7182818284590452354

Definition at line 689 of file YapEval.h.

◆ MkEvalFl

#define MkEvalFl ( X ) (FlIsInt(X) ? MkIntTerm((Int)(X)) : MkFloatTerm(X))

Definition at line 373 of file YapEval.h.

◆ NAN

#define NAN (0.0 / 0.0)

Definition at line 158 of file YapEval.h.

◆ PI

#define PI 3.14159265358979323846

Definition at line 684 of file YapEval.h.

◆ PLMAXINT

#define PLMAXINT Int_MAX

Definition at line 150 of file YapEval.h.

◆ PLMAXTAGGEDINT

#define PLMAXTAGGEDINT (MAX_ABS_INT - ((CELL)1))

Definition at line 147 of file YapEval.h.

◆ PLMININT

#define PLMININT Int_MIN

Definition at line 151 of file YapEval.h.

◆ PLMINTAGGEDINT

#define PLMINTAGGEDINT (-MAX_ABS_INT)

Definition at line 148 of file YapEval.h.

◆ RBIG

#define RBIG ( v ) return (Yap_MkBigIntTerm(v))

Definition at line 478 of file YapEval.h.

◆ RERROR

#define RERROR ( )

Value:

  {                                                                            \
    return (0L);                                                               \
  }

Definition at line 479 of file YapEval.h.

◆ REvalError

#define REvalError ( ) { return (FError); }

Definition at line 388 of file YapEval.h.

◆ REvalFl

#define REvalFl ( F )

Value:

  {                                                                            \
    eval_flt = (F);                                                            \
    return (FFloat);                                                           \
  }

Definition at line 382 of file YapEval.h.

◆ REvalInt

#define REvalInt ( I )

Value:

  {                                                                            \
    eval_int = (I);                                                            \
    return (FInt);                                                             \
  }

Definition at line 377 of file YapEval.h.

◆ RFLOAT

#define RFLOAT ( v ) return (MkFloatTerm(v))

Definition at line 477 of file YapEval.h.

◆ RINT

#define RINT ( v ) return (MkIntegerTerm(v))

Definition at line 476 of file YapEval.h.

◆ Yap_AbsmiError

#define Yap_AbsmiError ( id ) Yap_ThrowError__(true,__FILE__, __FUNCTION__, __LINE__, id, 0L, "")

Definition at line 422 of file YapEval.h.

◆ Yap_ArithError

#define Yap_ArithError	(	id,
		t,
		...
	)	Yap_ThrowError__(__FILE__, __FUNCTION__, __LINE__, id, t, __VA_ARGS__)

Definition at line 418 of file YapEval.h.

◆ Yap_BinError

#define Yap_BinError ( id ) Yap_ThrowError__(true,__FILE__, __FUNCTION__, __LINE__, id, 0L, "")

Definition at line 420 of file YapEval.h.

◆ Yap_Eval

#define Yap_Eval ( x ) Yap_Eval__(x PASS_REGS)

Definition at line 431 of file YapEval.h.

◆ Yap_EvalError

#define Yap_EvalError	(	id,
		t,
		...
	)	Yap_EvalError__(__FILE__, __FUNCTION__, __LINE__, id, t, __VA_ARGS__)

Definition at line 413 of file YapEval.h.

◆ Yap_FoundArithError

#define Yap_FoundArithError ( ) Yap_FoundArithError__(PASS_REGS1)

Definition at line 432 of file YapEval.h.

◆ Yap_gmp_cmp_float_big

#define Yap_gmp_cmp_float_big	(	D,
		T
	)	(-Yap_gmp_cmp_big_float(T, D))

Definition at line 562 of file YapEval.h.

◆ Yap_gmp_tcmp_float_big

#define Yap_gmp_tcmp_float_big	(	D,
		T
	)	(-Yap_gmp_tcmp_big_float(T, D))

Definition at line 568 of file YapEval.h.

◆ Yap_InnerEval

#define Yap_InnerEval ( x ) Yap_InnerEval__(x PASS_REGS)

Definition at line 430 of file YapEval.h.

◆ Yap_MathException

#define Yap_MathException ( ) Yap_MathException__(PASS_REGS1)

Definition at line 428 of file YapEval.h.

◆ Yap_Mk64IntegerTerm

#define Yap_Mk64IntegerTerm ( i ) __Yap_Mk64IntegerTerm((i)PASS_REGS)

Definition at line 594 of file YapEval.h.

Enumeration Type Documentation

◆ arith0_op

enum arith0_op

constant operators

specifies the available arithmetic "constants"

Enumerator
op_pi	pi [ISO] An approximation to the value of pi, that is, the ratio of a circle's circumference to its diameter
op_e	e Euler's number, the base of the natural logarithms (approximately 2.718281828)
op_epsilon	epsilon The difference between the float `1.0` and the next largest floating point number
op_inf	inf Infinity according to the IEEE Floating-Point standard Note that evaluating this term will generate a domain error in the `iso` language mode Also note that ?- +inf =:= -inf. false.

Definition at line 166 of file YapEval.h.

◆ arith1_op

enum arith1_op

unary operators

specifies the available unary arithmetic operators

Enumerator
op_uplus	+ X: the value of X X =:= +X.
op_uminus	- X: the complement of X 0-X =:= -X.
op_unot	\ X, The bitwise negation of X \X /\ X =:= 0. Note that the number of bits of an integer is at least the size in bits of a Prolog term cell
op_exp	exp( X ), natural exponentiation of X X = 0.0, abs(1.0 - exp( _X_ )) < 0.0001
op_log	log( X ), natural logarithm of X X = 1.0, abs( log( exp( _X_ )) -1.0) < 0.0001
op_log10	log10( X ) [ISO] Decimal logarithm ?- between(1, 10, I), Delta is log10(I10) + log10(1/(I10)), format('0 == ~3g~n',[Delta]), format. 0 == 0 0 == 0 0 == 0 0 == 0 0 == 0 0 == 0 0 == 0 0 == 0 0 == 2.22format-16 0 == 0 format. format/2 format(+ T, :L) between/3 between(+ Low:int, + High:int, ? Value:int)

Definition at line 217 of file YapEval.h.

Function Documentation

◆ __Yap_Mk64IntegerTerm()

INLINE_ONLY Term __Yap_Mk64IntegerTerm ( YAP_LONG_LONG i USES_REGS )

Definition at line 599 of file YapEval.h.

◆ Yap_Eval__()

INLINE_ONLY Term Yap_Eval__ ( Term t USES_REGS )

Definition at line 436 of file YapEval.h.

◆ Yap_eval_atom()

Term Yap_eval_atom ( Int f )

Definition at line 233 of file arith0.c.

◆ Yap_eval_binary()

Term Yap_eval_binary	(	Int	f,
		Term	t1,
		Term	t2
	)

Definition at line 1110 of file arith2.c.

◆ Yap_eval_unary()

Term Yap_eval_unary	(	Int	f,
		Term	t
	)

Definition at line 916 of file arith1.c.

◆ Yap_gmp_abs_big()

Term Yap_gmp_abs_big ( Term t )

Definition at line 1447 of file gmp_support.c.

◆ Yap_gmp_add_big_big()

Term Yap_gmp_add_big_big	(	Term	t1,
		Term	t2
	)

Definition at line 417 of file gmp_support.c.

◆ Yap_gmp_add_float_big()

Term Yap_gmp_add_float_big	(	Float	d,
		Term	t
	)

Definition at line 866 of file gmp_support.c.

◆ Yap_gmp_add_int_big()

Term Yap_gmp_add_int_big	(	Int	i,
		Term	t
	)

Definition at line 115 of file gmp_support.c.

◆ Yap_gmp_add_ints()

Term Yap_gmp_add_ints	(	Int	i,
		Int	j
	)

Definition at line 52 of file gmp_support.c.

◆ Yap_gmp_and_big_big()

Term Yap_gmp_and_big_big	(	Term	t1,
		Term	t2
	)

Definition at line 614 of file gmp_support.c.

◆ Yap_gmp_and_int_big()

Term Yap_gmp_and_int_big	(	Int	i,
		Term	t
	)

Definition at line 307 of file gmp_support.c.

◆ Yap_gmp_big_from_64bits()

Term Yap_gmp_big_from_64bits ( YAP_LONG_LONG i )

Definition at line 1027 of file gmp_support.c.

◆ Yap_gmp_ceiling()

Term Yap_gmp_ceiling ( Term t )

Definition at line 1499 of file gmp_support.c.

◆ Yap_gmp_cmp_big_big()

int Yap_gmp_cmp_big_big	(	Term	t1,
		Term	t2
	)

Definition at line 1266 of file gmp_support.c.

◆ Yap_gmp_cmp_big_float()

int Yap_gmp_cmp_big_float	(	Term	t,
		Float	d
	)

Definition at line 1248 of file gmp_support.c.

◆ Yap_gmp_cmp_big_int()

int Yap_gmp_cmp_big_int	(	Term	t,
		Int	i
	)

Definition at line 1222 of file gmp_support.c.

◆ Yap_gmp_cmp_int_big()

int Yap_gmp_cmp_int_big	(	Int	i,
		Term	t
	)

Definition at line 1235 of file gmp_support.c.

◆ Yap_gmp_div2_big_big()

Term Yap_gmp_div2_big_big	(	Term	t1,
		Term	t2
	)

Definition at line 577 of file gmp_support.c.

◆ Yap_gmp_div2_big_int()

Term Yap_gmp_div2_big_int	(	Term	t,
		Int	i
	)

Definition at line 276 of file gmp_support.c.

◆ Yap_gmp_div_big_big()

Term Yap_gmp_div_big_big	(	Term	t1,
		Term	t2
	)

Definition at line 535 of file gmp_support.c.

◆ Yap_gmp_div_big_int()

Term Yap_gmp_div_big_int	(	Term	t,
		Int	i
	)

Definition at line 233 of file gmp_support.c.

◆ Yap_gmp_div_int_big()

Term Yap_gmp_div_int_big	(	Int	i,
		Term	t
	)

Definition at line 214 of file gmp_support.c.

◆ Yap_gmp_exp_big_big()

Term Yap_gmp_exp_big_big	(	Term	t1,
		Term	t2
	)

Definition at line 1001 of file gmp_support.c.

◆ Yap_gmp_exp_big_int()

Term Yap_gmp_exp_big_int	(	Term	t,
		Int	i
	)

Definition at line 960 of file gmp_support.c.

◆ Yap_gmp_exp_int_big()

Term Yap_gmp_exp_int_big	(	Int	i,
		Term	t
	)

Definition at line 987 of file gmp_support.c.

◆ Yap_gmp_exp_int_int()

Term Yap_gmp_exp_int_int	(	Int	i1,
		Int	i2
	)

Definition at line 950 of file gmp_support.c.

◆ Yap_gmp_fdiv_big_big()

Term Yap_gmp_fdiv_big_big	(	Term	t1,
		Term	t2
	)

Definition at line 1190 of file gmp_support.c.

◆ Yap_gmp_fdiv_big_float()

Term Yap_gmp_fdiv_big_float	(	Term	t,
		Float	d
	)

Definition at line 936 of file gmp_support.c.

◆ Yap_gmp_fdiv_big_int()

Term Yap_gmp_fdiv_big_int	(	Term	t2,
		Int	i1
	)

Definition at line 1163 of file gmp_support.c.

◆ Yap_gmp_fdiv_float_big()

Term Yap_gmp_fdiv_float_big	(	Float	d,
		Term	t
	)

Definition at line 922 of file gmp_support.c.

◆ Yap_gmp_fdiv_int_big()

Term Yap_gmp_fdiv_int_big	(	Int	i1,
		Term	t2
	)

Definition at line 1136 of file gmp_support.c.

◆ Yap_gmp_float_fractional_part()

Term Yap_gmp_float_fractional_part ( Term t )

Definition at line 1567 of file gmp_support.c.

◆ Yap_gmp_float_integer_part()

Term Yap_gmp_float_integer_part ( Term t )

Definition at line 1587 of file gmp_support.c.

◆ Yap_gmp_float_rationalize()

Term Yap_gmp_float_rationalize ( Float dbl )

Definition at line 1421 of file gmp_support.c.

◆ Yap_gmp_float_to_big()

Term Yap_gmp_float_to_big ( Float v )

Definition at line 844 of file gmp_support.c.

◆ Yap_gmp_float_to_rational()

Term Yap_gmp_float_to_rational ( Float dbl )

Definition at line 1397 of file gmp_support.c.

◆ Yap_gmp_floor()

Term Yap_gmp_floor ( Term t )

Definition at line 1481 of file gmp_support.c.

◆ Yap_gmp_gcd_big_big()

Term Yap_gmp_gcd_big_big	(	Term	t1,
		Term	t2
	)

Definition at line 804 of file gmp_support.c.

◆ Yap_gmp_gcd_int_big()

Term Yap_gmp_gcd_int_big	(	Int	i,
		Term	t
	)

Definition at line 825 of file gmp_support.c.

◆ Yap_gmp_ior_big_big()

Term Yap_gmp_ior_big_big	(	Term	t1,
		Term	t2
	)

Definition at line 635 of file gmp_support.c.

◆ Yap_gmp_ior_int_big()

Term Yap_gmp_ior_int_big	(	Int	i,
		Term	t
	)

Definition at line 324 of file gmp_support.c.

◆ Yap_gmp_lsb()

Term Yap_gmp_lsb ( Term t )

Definition at line 1617 of file gmp_support.c.

◆ Yap_gmp_mod_big_big()

Term Yap_gmp_mod_big_big	(	Term	t1,
		Term	t2
	)

Definition at line 677 of file gmp_support.c.

◆ Yap_gmp_mod_big_int()

Term Yap_gmp_mod_big_int	(	Term	t,
		Int	i2
	)

Definition at line 698 of file gmp_support.c.

◆ Yap_gmp_mod_int_big()

Term Yap_gmp_mod_int_big	(	Int	i1,
		Term	t
	)

Definition at line 714 of file gmp_support.c.

◆ Yap_gmp_msb()

Term Yap_gmp_msb ( Term t )

Definition at line 1634 of file gmp_support.c.

◆ Yap_gmp_mul_big_big()

Term Yap_gmp_mul_big_big	(	Term	t1,
		Term	t2
	)

Definition at line 491 of file gmp_support.c.

◆ Yap_gmp_mul_float_big()

Term Yap_gmp_mul_float_big	(	Float	d,
		Term	t
	)

Definition at line 908 of file gmp_support.c.

◆ Yap_gmp_mul_int_big()

Term Yap_gmp_mul_int_big	(	Int	i,
		Term	t
	)

Definition at line 167 of file gmp_support.c.

◆ Yap_gmp_mul_ints()

Term Yap_gmp_mul_ints	(	Int	i,
		Int	j
	)

Definition at line 94 of file gmp_support.c.

◆ Yap_gmp_neg_big()

Term Yap_gmp_neg_big ( Term t )

Definition at line 1378 of file gmp_support.c.

◆ Yap_gmp_neg_int()

Term Yap_gmp_neg_int ( Int i )

Definition at line 1368 of file gmp_support.c.

◆ Yap_gmp_popcount()

Term Yap_gmp_popcount ( Term t )

Definition at line 1651 of file gmp_support.c.

◆ Yap_gmp_rem_big_big()

Term Yap_gmp_rem_big_big	(	Term	t1,
		Term	t2
	)

Definition at line 754 of file gmp_support.c.

◆ Yap_gmp_rem_big_int()

Term Yap_gmp_rem_big_int	(	Term	t,
		Int	i2
	)

Definition at line 775 of file gmp_support.c.

◆ Yap_gmp_rem_int_big()

Term Yap_gmp_rem_int_big	(	Int	i1,
		Term	t
	)

Definition at line 791 of file gmp_support.c.

◆ Yap_gmp_round()

Term Yap_gmp_round ( Term t )

Definition at line 1517 of file gmp_support.c.

◆ Yap_gmp_set_bit()

void Yap_gmp_set_bit	(	Int	i,
		Term	t
	)

Definition at line 136 of file gmp_support.c.

◆ Yap_gmp_sign()

Term Yap_gmp_sign ( Term t )

Definition at line 1605 of file gmp_support.c.

◆ Yap_gmp_sll_big_int()

Term Yap_gmp_sll_big_int	(	Term	t,
		Int	i
	)

Definition at line 378 of file gmp_support.c.

◆ Yap_gmp_sll_ints()

Term Yap_gmp_sll_ints	(	Int	i,
		Int	j
	)

Definition at line 104 of file gmp_support.c.

◆ Yap_gmp_sub_big_big()

Term Yap_gmp_sub_big_big	(	Term	t1,
		Term	t2
	)

Definition at line 454 of file gmp_support.c.

◆ Yap_gmp_sub_big_float()

Term Yap_gmp_sub_big_float	(	Term	t,
		Float	d
	)

Definition at line 894 of file gmp_support.c.

◆ Yap_gmp_sub_big_int()

Term Yap_gmp_sub_big_int	(	Term	t,
		Int	i
	)

Definition at line 190 of file gmp_support.c.

◆ Yap_gmp_sub_float_big()

Term Yap_gmp_sub_float_big	(	Float	d,
		Term	t
	)

Definition at line 880 of file gmp_support.c.

◆ Yap_gmp_sub_int_big()

Term Yap_gmp_sub_int_big	(	Int	i,
		Term	t
	)

Definition at line 144 of file gmp_support.c.

◆ Yap_gmp_sub_ints()

Term Yap_gmp_sub_ints	(	Int	i,
		Int	j
	)

Definition at line 71 of file gmp_support.c.

◆ Yap_gmp_tcmp_big_big()

int Yap_gmp_tcmp_big_big	(	Term	t1,
		Term	t2
	)

Definition at line 1336 of file gmp_support.c.

◆ Yap_gmp_tcmp_big_float()

int Yap_gmp_tcmp_big_float	(	Term	t,
		Float	d
	)

Definition at line 1330 of file gmp_support.c.

◆ Yap_gmp_tcmp_big_int()

int Yap_gmp_tcmp_big_int	(	Term	t,
		Int	i
	)

Definition at line 1306 of file gmp_support.c.

◆ Yap_gmp_tcmp_int_big()

int Yap_gmp_tcmp_int_big	(	Int	i,
		Term	t
	)

Definition at line 1318 of file gmp_support.c.

◆ Yap_gmp_to_float()

Float Yap_gmp_to_float ( Term t )

Definition at line 853 of file gmp_support.c.

◆ Yap_gmp_to_size()

size_t Yap_gmp_to_size	(	Term	t,
		int	base
	)

Definition at line 1721 of file gmp_support.c.

◆ Yap_gmp_to_string()

char * Yap_gmp_to_string	(	Term	t,
		char *	s,
		size_t	sz,
		int	base
	)

Definition at line 1681 of file gmp_support.c.

◆ Yap_gmp_trunc()

Term Yap_gmp_trunc ( Term t )

Definition at line 1544 of file gmp_support.c.

◆ Yap_gmp_unot_big()

Term Yap_gmp_unot_big ( Term t )

Definition at line 1466 of file gmp_support.c.

◆ Yap_gmp_xor_big_big()

Term Yap_gmp_xor_big_big	(	Term	t1,
		Term	t2
	)

Definition at line 656 of file gmp_support.c.

◆ Yap_gmp_xor_int_big()

Term Yap_gmp_xor_int_big	(	Int	i,
		Term	t
	)

Definition at line 361 of file gmp_support.c.

◆ Yap_gmq_rdiv_big_big()

Term Yap_gmq_rdiv_big_big	(	Term	t1,
		Term	t2
	)

Definition at line 1105 of file gmp_support.c.

◆ Yap_gmq_rdiv_big_int()

Term Yap_gmq_rdiv_big_int	(	Term	t1,
		Int	i2
	)

Definition at line 1081 of file gmp_support.c.

◆ Yap_gmq_rdiv_int_big()

Term Yap_gmq_rdiv_int_big	(	Int	i1,
		Term	t2
	)

Definition at line 1059 of file gmp_support.c.

◆ Yap_gmq_rdiv_int_int()

Term Yap_gmq_rdiv_int_int	(	Int	i1,
		Int	i2
	)

Definition at line 1044 of file gmp_support.c.

◆ Yap_InitBinaryExps()

void Yap_InitBinaryExps ( void )

Definition at line 1338 of file arith2.c.

◆ Yap_InitConstExps()

void Yap_InitConstExps ( void )

Definition at line 261 of file arith0.c.

◆ Yap_InitUnaryExps()

void Yap_InitUnaryExps ( void )

Definition at line 1044 of file arith1.c.

◆ Yap_MathException__()

yap_error_number Yap_MathException__ ( USES_REGS1 )

Definition at line 765 of file sig.c.

◆ Yap_mpz_to_string()

char * Yap_mpz_to_string	(	MP_INT *	b,
		char *	s,
		size_t	sz,
		int	base
	)

Definition at line 1668 of file gmp_support.c.

◆ Yap_msb()

Int Yap_msb ( Int inp USES_REGS )

Definition at line 366 of file arith1.c.

◆ Yap_NameOfBinaryOp()

Atom Yap_NameOfBinaryOp ( int i )

Definition at line 1331 of file arith2.c.

◆ Yap_NameOfUnaryOp()

Atom Yap_NameOfUnaryOp ( int i )

Definition at line 964 of file arith1.c.

◆ Yap_ReInitBinaryExps()

int Yap_ReInitBinaryExps ( void )

Definition at line 1376 of file arith2.c.

◆ Yap_ReInitConstExps()

int Yap_ReInitConstExps ( void )

Definition at line 289 of file arith0.c.

◆ Yap_ReInitUnaryExps()

int Yap_ReInitUnaryExps ( void )

Definition at line 1073 of file arith1.c.

◆ Yap_term_to_existing_big()

int Yap_term_to_existing_big	(	Term	t,
		MP_INT *	b
	)

Definition at line 1737 of file gmp_support.c.

◆ Yap_term_to_existing_rat()

int Yap_term_to_existing_rat	(	Term	t,
		MP_RAT *	b
	)

Definition at line 1755 of file gmp_support.c.

Macros

Enumerations

Functions

Macro Definition Documentation

◆ DBL_EPSILON

◆ FL

◆ FlIsInt

◆ INFINITY

◆ Int_MAX

◆ Int_MIN

◆ M_E

◆ MkEvalFl

◆ NAN

◆ PI

◆ PLMAXINT

◆ PLMAXTAGGEDINT

◆ PLMININT

◆ PLMINTAGGEDINT

◆ RBIG

◆ RERROR

◆ REvalError

◆ REvalFl

◆ REvalInt

◆ RFLOAT

◆ RINT

◆ Yap_AbsmiError

◆ Yap_ArithError

◆ Yap_BinError

◆ Yap_Eval

◆ Yap_EvalError

◆ Yap_FoundArithError

◆ Yap_gmp_cmp_float_big

◆ Yap_gmp_tcmp_float_big

◆ Yap_InnerEval

◆ Yap_MathException

◆ Yap_Mk64IntegerTerm

Enumeration Type Documentation

◆ arith0_op

◆ arith1_op

Function Documentation

◆ __Yap_Mk64IntegerTerm()

◆ Yap_Eval__()

◆ Yap_eval_atom()

◆ Yap_eval_binary()

◆ Yap_eval_unary()

◆ Yap_gmp_abs_big()

◆ Yap_gmp_add_big_big()

◆ Yap_gmp_add_float_big()

◆ Yap_gmp_add_int_big()

◆ Yap_gmp_add_ints()

◆ Yap_gmp_and_big_big()

◆ Yap_gmp_and_int_big()

◆ Yap_gmp_big_from_64bits()

◆ Yap_gmp_ceiling()

◆ Yap_gmp_cmp_big_big()

◆ Yap_gmp_cmp_big_float()

◆ Yap_gmp_cmp_big_int()

◆ Yap_gmp_cmp_int_big()

◆ Yap_gmp_div2_big_big()

◆ Yap_gmp_div2_big_int()

◆ Yap_gmp_div_big_big()

◆ Yap_gmp_div_big_int()

◆ Yap_gmp_div_int_big()

◆ Yap_gmp_exp_big_big()

◆ Yap_gmp_exp_big_int()

◆ Yap_gmp_exp_int_big()

◆ Yap_gmp_exp_int_int()

◆ Yap_gmp_fdiv_big_big()

◆ Yap_gmp_fdiv_big_float()

◆ Yap_gmp_fdiv_big_int()

◆ Yap_gmp_fdiv_float_big()

◆ Yap_gmp_fdiv_int_big()

◆ Yap_gmp_float_fractional_part()

◆ Yap_gmp_float_integer_part()

◆ Yap_gmp_float_rationalize()

◆ Yap_gmp_float_to_big()

◆ Yap_gmp_float_to_rational()

◆ Yap_gmp_floor()

◆ Yap_gmp_gcd_big_big()

◆ Yap_gmp_gcd_int_big()