math_supp.h File Reference

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Macros
#define	MASK_EMPTY   0
#define	MASK_LEFT   1
#define	MASK_RIGHT   2
#define	DEBUG_2(f, a1, a2)
#define	DEBUG_3(f, a1, a2, a3)
#define	DEBUG_4(f, a1, a2, a3, a4)
#define	DEBUG_5(f, a1, a2, a3, a4, a5)
#define	DEBUG_6(f, a1, a2, a3, a4, a5, a6)
#define	PRIM_CSTR_2(f, a1, a2)
#define	PRIM_CSTR_3(f, a1, a2, a3)
#define	PRIM_CSTR_4(f, a1, a2, a3, a4)
#define	PRIM_CSTR_5(f, a1, a2, a3, a4, a5)
#define	PRIM_CSTR_6(f, a1, a2, a3, a4, a5, a6)
#define	MATH_CSTR_2(f, a1, a2)
#define	MATH_CSTR_3(f, a1, a2, a3)
#define	MATH_CSTR_4(f, a1, a2, a3, a4)
#define	MATH_CSTR_5(f, a1, a2, a3, a4, a5)
#define	MATH_CSTR_6(f, a1, a2, a3, a4, a5, a6)

Functions
Bool	Pl_Load_Left_Right (Bool optim_eq, WamWord le_word, WamWord re_word, int *mask, PlLong *c, WamWord *l_word, WamWord *r_word)
Bool	Pl_Term_Math_Loading (WamWord l_word, WamWord r_word)
Bool	Pl_Fd_Math_Unify_X_Y (WamWord x, WamWord y)
Bool	pl_x_eq_c (WamWord x, WamWord c)
Bool	pl_x_eq_y (WamWord x, WamWord y)
Bool	pl_x_plus_c_eq_y (WamWord x, WamWord c, WamWord y)
Bool	pl_x_eq_y_F (WamWord x, WamWord y)
Bool	pl_x_plus_c_eq_y_F (WamWord x, WamWord c, WamWord y)
Bool	pl_x_neq_c (WamWord x, WamWord c)
Bool	pl_x_neq_y (WamWord x, WamWord y)
Bool	pl_x_plus_c_neq_y (WamWord x, WamWord c, WamWord y)
Bool	pl_x_lt_y (WamWord x, WamWord y)
Bool	pl_x_lte_c (WamWord x, WamWord c)
Bool	pl_x_lte_y (WamWord x, WamWord y)
Bool	pl_x_plus_c_lte_y (WamWord x, WamWord c, WamWord y)
Bool	pl_x_gte_c (WamWord x, WamWord c)
Bool	pl_x_plus_c_gte_y (WamWord x, WamWord c, WamWord y)
Bool	pl_ax_eq_y (WamWord a, WamWord x, WamWord y)
Bool	pl_x_plus_y_eq_z (WamWord x, WamWord y, WamWord z)
Bool	pl_ax_plus_y_eq_z (WamWord a, WamWord x, WamWord y, WamWord z)
Bool	pl_ax_plus_by_eq_z (WamWord a, WamWord x, WamWord b, WamWord y, WamWord z)
Bool	pl_x_plus_y_plus_z_eq_t (WamWord x, WamWord y, WamWord z, WamWord t)
Bool	pl_ax_plus_y_plus_z_eq_t (WamWord a, WamWord x, WamWord y, WamWord z, WamWord t)
Bool	pl_ax_plus_by_plus_z_eq_t (WamWord a, WamWord x, WamWord b, WamWord y, WamWord z, WamWord t)
Bool	pl_ax_eq_y_F (WamWord a, WamWord x, WamWord y)
Bool	pl_x_plus_y_eq_z_F (WamWord x, WamWord y, WamWord z)
Bool	pl_ax_plus_y_eq_z_F (WamWord a, WamWord x, WamWord y, WamWord z)
Bool	pl_ax_plus_by_eq_z_F (WamWord a, WamWord x, WamWord b, WamWord y, WamWord z)
Bool	pl_x_plus_y_plus_z_eq_t_F (WamWord x, WamWord y, WamWord z, WamWord t)
Bool	pl_ax_plus_y_plus_z_eq_t_F (WamWord a, WamWord x, WamWord y, WamWord z, WamWord t)
Bool	pl_ax_plus_by_plus_z_eq_t_F (WamWord a, WamWord x, WamWord b, WamWord y, WamWord z, WamWord t)
Bool	pl_zero_power_n_eq_y (WamWord n, WamWord y)
Bool	pl_a_power_n_eq_y (WamWord a, WamWord n, WamWord y)
Bool	pl_x_power_a_eq_y (WamWord x, WamWord a, WamWord y)
Bool	pl_x2_eq_y (WamWord x, WamWord y)
Bool	pl_xy_eq_z (WamWord x, WamWord y, WamWord z)
Bool	pl_a_power_n_eq_y_F (WamWord a, WamWord n, WamWord y)
Bool	pl_x_power_a_eq_y_F (WamWord x, WamWord a, WamWord y)
Bool	pl_x2_eq_y_F (WamWord x, WamWord y)
Bool	pl_xy_eq_z_F (WamWord x, WamWord y, WamWord z)
Bool	pl_min_x_a_eq_z (WamWord x, WamWord a, WamWord z)
Bool	pl_min_x_y_eq_z (WamWord x, WamWord y, WamWord z)
Bool	pl_min_x_a_eq_z_F (WamWord x, WamWord a, WamWord z)
Bool	pl_min_x_y_eq_z_F (WamWord x, WamWord y, WamWord z)
Bool	pl_max_x_a_eq_z (WamWord x, WamWord a, WamWord z)
Bool	pl_max_x_y_eq_z (WamWord x, WamWord y, WamWord z)
Bool	pl_max_x_a_eq_z_F (WamWord x, WamWord a, WamWord z)
Bool	pl_max_x_y_eq_z_F (WamWord x, WamWord y, WamWord z)
Bool	pl_abs_x_minus_a_eq_z (WamWord x, WamWord a, WamWord z)
Bool	pl_abs_x_minus_y_eq_z (WamWord x, WamWord y, WamWord z)
Bool	pl_abs_x_minus_a_eq_z_F (WamWord x, WamWord a, WamWord z)
Bool	pl_abs_x_minus_y_eq_z_F (WamWord x, WamWord y, WamWord z)
Bool	pl_quot_rem_a_y_r_eq_z (WamWord a, WamWord y, WamWord r, WamWord z)
Bool	pl_quot_rem_x_a_r_eq_z (WamWord x, WamWord a, WamWord r, WamWord z)
Bool	pl_quot_rem_x_y_r_eq_z (WamWord x, WamWord y, WamWord r, WamWord z)
Bool	pl_quot_rem_a_y_r_eq_z_F (WamWord a, WamWord y, WamWord r, WamWord z)
Bool	pl_quot_rem_x_a_r_eq_z_F (WamWord x, WamWord a, WamWord r, WamWord z)
Bool	pl_quot_rem_x_y_r_eq_z_F (WamWord x, WamWord y, WamWord r, WamWord z)
Bool	pl_not_x_eq_b (WamWord x, WamWord b)
Bool	pl_x_equiv_y_eq_b (WamWord x, WamWord y, WamWord b)
Bool	pl_x_nequiv_y_eq_b (WamWord x, WamWord y, WamWord b)
Bool	pl_x_imply_y_eq_1 (WamWord x, WamWord y)
Bool	pl_x_imply_y_eq_b (WamWord x, WamWord y, WamWord b)
Bool	pl_x_nimply_y_eq_b (WamWord x, WamWord y, WamWord b)
Bool	pl_x_and_y_eq_0 (WamWord x, WamWord y)
Bool	pl_x_and_y_eq_b (WamWord x, WamWord y, WamWord b)
Bool	pl_x_nand_y_eq_b (WamWord x, WamWord y, WamWord b)
Bool	pl_x_or_y_eq_1 (WamWord x, WamWord y)
Bool	pl_x_or_y_eq_b (WamWord x, WamWord y, WamWord b)
Bool	pl_x_nor_y_eq_b (WamWord x, WamWord y, WamWord b)
Bool	pl_truth_x_eq_c (WamWord x, WamWord c, WamWord b)
Bool	pl_truth_x_eq_y (WamWord x, WamWord y, WamWord b)
Bool	pl_truth_x_plus_c_eq_y (WamWord x, WamWord c, WamWord y, WamWord b)
Bool	pl_truth_x_eq_c_F (WamWord x, WamWord c, WamWord b)
Bool	pl_truth_x_eq_y_F (WamWord x, WamWord y, WamWord b)
Bool	pl_truth_x_plus_c_eq_y_F (WamWord x, WamWord c, WamWord y, WamWord b)
Bool	pl_truth_x_neq_c (WamWord x, WamWord c, WamWord b)
Bool	pl_truth_x_neq_y (WamWord x, WamWord y, WamWord b)
Bool	pl_truth_x_plus_c_neq_y (WamWord x, WamWord c, WamWord y, WamWord b)
Bool	pl_truth_x_neq_c_F (WamWord x, WamWord c, WamWord b)
Bool	pl_truth_x_neq_y_F (WamWord x, WamWord y, WamWord b)
Bool	pl_truth_x_plus_c_neq_y_F (WamWord x, WamWord c, WamWord y, WamWord b)
Bool	pl_truth_x_lt_y (WamWord x, WamWord y, WamWord b)
Bool	pl_truth_x_lte_c (WamWord x, WamWord c, WamWord b)
Bool	pl_truth_x_lte_y (WamWord x, WamWord y, WamWord b)
Bool	pl_truth_x_plus_c_lte_y (WamWord x, WamWord c, WamWord y, WamWord b)
Bool	pl_truth_x_gte_c (WamWord x, WamWord c, WamWord b)
Bool	pl_truth_x_plus_c_gte_y (WamWord x, WamWord c, WamWord y, WamWord b)
Bool	pl_truth_x_in_l_u (WamWord x, WamWord l, WamWord u, WamWord b)

Variables
Bool	pl_full_ac

Macro Definition Documentation

#define DEBUG_2	(		f,
			a1,
			a2
	)

#define DEBUG_3	(		f,
			a1,
			a2,
			a3
	)

#define DEBUG_4	(		f,
			a1,
			a2,
			a3,
			a4
	)

#define DEBUG_5	(		f,
			a1,
			a2,
			a3,
			a4,
			a5
	)

#define DEBUG_6	(		f,
			a1,
			a2,
			a3,
			a4,
			a5,
			a6
	)

#define MASK_EMPTY   0

#define MASK_LEFT   1

#define MASK_RIGHT   2

#define MATH_CSTR_2	(		f,
			a1,
			a2
	)

Value:

do                      \
    {                       \
      if (pl_full_ac == FALSE)          \
	PRIM_CSTR_2(f, a1, a2);            \
      else					\
	PRIM_CSTR_2(f##_F, a1, a2);        \
    }                       \
  while (0)

#define MATH_CSTR_3	(		f,
			a1,
			a2,
			a3
	)

Value:

do                      \
    {                       \
      if (pl_full_ac == FALSE)          \
	PRIM_CSTR_3(f, a1, a2, a3);        \
      else					\
	PRIM_CSTR_3(f##_F, a1, a2, a3);        \
    }                       \
  while (0)

#define MATH_CSTR_4	(		f,
			a1,
			a2,
			a3,
			a4
	)

Value:

do                      \
    {                       \
      if (pl_full_ac == FALSE)          \
	PRIM_CSTR_4(f, a1, a2, a3, a4);        \
      else					\
	PRIM_CSTR_4(f##_F, a1, a2, a3, a4);    \
    }                       \
  while (0)

#define MATH_CSTR_5	(		f,
			a1,
			a2,
			a3,
			a4,
			a5
	)

Value:

do                      \
    {                       \
      if (pl_full_ac == FALSE)          \
	PRIM_CSTR_5(f, a1, a2, a3, a4, a5);    \
      else					\
	PRIM_CSTR_5(f##_F, a1, a2, a3, a4, a5);    \
    }                       \
  while (0)

#define MATH_CSTR_6	(		f,
			a1,
			a2,
			a3,
			a4,
			a5,
			a6
	)

Value:

do                          \
    {                           \
      if (pl_full_ac == FALSE)              \
	PRIM_CSTR_6(f, a1, a2, a3, a4, a5, a6);        \
      else						\
	PRIM_CSTR_6(f##_F, a1, a2, a3, a4, a5, a6);    \
    }                           \
  while (0)

#define PRIM_CSTR_2	(		f,
			a1,
			a2
	)

Value:

do                      \
    {                       \
      DEBUG_2(f, a1, a2);           \
      if (!f(a1, a2))               \
    return FALSE;               \
    }                       \
  while (0)

#define PRIM_CSTR_3	(		f,
			a1,
			a2,
			a3
	)

Value:

do                      \
    {                       \
      DEBUG_3(f, a1, a2, a3);           \
      if (!f(a1, a2, a3))           \
    return FALSE;               \
    }                       \
  while (0)

#define PRIM_CSTR_4	(		f,
			a1,
			a2,
			a3,
			a4
	)

Value:

do                      \
    {                       \
      DEBUG_4(f, a1, a2, a3, a4);       \
      if (!f(a1, a2, a3, a4))           \
    return FALSE;               \
    }                       \
  while (0)

#define PRIM_CSTR_5	(		f,
			a1,
			a2,
			a3,
			a4,
			a5
	)

Value:

do                      \
    {                       \
      DEBUG_5(f, a1, a2, a3, a4, a5);       \
      if (!f(a1, a2, a3, a4, a5))       \
    return FALSE;               \
    }                       \
  while (0)

#define PRIM_CSTR_6	(		f,
			a1,
			a2,
			a3,
			a4,
			a5,
			a6
	)

Value:

do                      \
    {                       \
      DEBUG_6(f, a1, a2, a3, a4, a5, a6);   \
      if (!f(a1, a2, a3, a4, a5, a6))       \
    return FALSE;               \
    }                       \
  while (0)

Function Documentation

Bool pl_a_power_n_eq_y	(	WamWord	a,
		WamWord	n,
		WamWord	y
	)

Here is the caller graph for this function:

Bool pl_a_power_n_eq_y_F	(	WamWord	a,
		WamWord	n,
		WamWord	y
	)

Bool pl_abs_x_minus_a_eq_z	(	WamWord	x,
		WamWord	a,
		WamWord	z
	)

Here is the caller graph for this function:

Bool pl_abs_x_minus_a_eq_z_F	(	WamWord	x,
		WamWord	a,
		WamWord	z
	)

Bool pl_abs_x_minus_y_eq_z	(	WamWord	x,
		WamWord	y,
		WamWord	z
	)

Here is the caller graph for this function:

Bool pl_abs_x_minus_y_eq_z_F	(	WamWord	x,
		WamWord	y,
		WamWord	z
	)

Bool pl_ax_eq_y	(	WamWord	a,
		WamWord	x,
		WamWord	y
	)

Here is the caller graph for this function:

Bool pl_ax_eq_y_F	(	WamWord	a,
		WamWord	x,
		WamWord	y
	)

Bool pl_ax_plus_by_eq_z	(	WamWord	a,
		WamWord	x,
		WamWord	b,
		WamWord	y,
		WamWord	z
	)

Here is the caller graph for this function:

Bool pl_ax_plus_by_eq_z_F	(	WamWord	a,
		WamWord	x,
		WamWord	b,
		WamWord	y,
		WamWord	z
	)

Bool pl_ax_plus_by_plus_z_eq_t	(	WamWord	a,
		WamWord	x,
		WamWord	b,
		WamWord	y,
		WamWord	z,
		WamWord	t
	)

Here is the caller graph for this function:

Bool pl_ax_plus_by_plus_z_eq_t_F	(	WamWord	a,
		WamWord	x,
		WamWord	b,
		WamWord	y,
		WamWord	z,
		WamWord	t
	)

Bool pl_ax_plus_y_eq_z	(	WamWord	a,
		WamWord	x,
		WamWord	y,
		WamWord	z
	)

Here is the caller graph for this function:

Bool pl_ax_plus_y_eq_z_F	(	WamWord	a,
		WamWord	x,
		WamWord	y,
		WamWord	z
	)

Bool pl_ax_plus_y_plus_z_eq_t	(	WamWord	a,
		WamWord	x,
		WamWord	y,
		WamWord	z,
		WamWord	t
	)

Here is the caller graph for this function:

Bool pl_ax_plus_y_plus_z_eq_t_F	(	WamWord	a,
		WamWord	x,
		WamWord	y,
		WamWord	z,
		WamWord	t
	)

Bool Pl_Fd_Math_Unify_X_Y	(	WamWord	x,
		WamWord	y
	)

Here is the call graph for this function:

Here is the caller graph for this function:

Bool Pl_Load_Left_Right	(	Bool	optim_eq,
		WamWord	le_word,
		WamWord	re_word,
		int *	mask,
		PlLong *	c,
		WamWord *	l_word,
		WamWord *	r_word
	)

Here is the call graph for this function:

Here is the caller graph for this function:

Bool pl_max_x_a_eq_z	(	WamWord	x,
		WamWord	a,
		WamWord	z
	)

Here is the caller graph for this function:

Bool pl_max_x_a_eq_z_F	(	WamWord	x,
		WamWord	a,
		WamWord	z
	)

Bool pl_max_x_y_eq_z	(	WamWord	x,
		WamWord	y,
		WamWord	z
	)

Here is the caller graph for this function:

Bool pl_max_x_y_eq_z_F	(	WamWord	x,
		WamWord	y,
		WamWord	z
	)

Bool pl_min_x_a_eq_z	(	WamWord	x,
		WamWord	a,
		WamWord	z
	)

Here is the caller graph for this function:

Bool pl_min_x_a_eq_z_F	(	WamWord	x,
		WamWord	a,
		WamWord	z
	)

Bool pl_min_x_y_eq_z	(	WamWord	x,
		WamWord	y,
		WamWord	z
	)

Here is the caller graph for this function:

Bool pl_min_x_y_eq_z_F	(	WamWord	x,
		WamWord	y,
		WamWord	z
	)

Bool pl_not_x_eq_b	(	WamWord	x,
		WamWord	b
	)

Here is the caller graph for this function:

Bool pl_quot_rem_a_y_r_eq_z	(	WamWord	a,
		WamWord	y,
		WamWord	r,
		WamWord	z
	)

Here is the caller graph for this function:

Bool pl_quot_rem_a_y_r_eq_z_F	(	WamWord	a,
		WamWord	y,
		WamWord	r,
		WamWord	z
	)

Bool pl_quot_rem_x_a_r_eq_z	(	WamWord	x,
		WamWord	a,
		WamWord	r,
		WamWord	z
	)

Here is the caller graph for this function:

Bool pl_quot_rem_x_a_r_eq_z_F	(	WamWord	x,
		WamWord	a,
		WamWord	r,
		WamWord	z
	)

Bool pl_quot_rem_x_y_r_eq_z	(	WamWord	x,
		WamWord	y,
		WamWord	r,
		WamWord	z
	)

Here is the caller graph for this function:

Bool pl_quot_rem_x_y_r_eq_z_F	(	WamWord	x,
		WamWord	y,
		WamWord	r,
		WamWord	z
	)

Bool Pl_Term_Math_Loading	(	WamWord	l_word,
		WamWord	r_word
	)

Here is the call graph for this function:

Here is the caller graph for this function:

Bool pl_truth_x_eq_c	(	WamWord	x,
		WamWord	c,
		WamWord	b
	)

Here is the caller graph for this function:

Bool pl_truth_x_eq_c_F	(	WamWord	x,
		WamWord	c,
		WamWord	b
	)

Bool pl_truth_x_eq_y	(	WamWord	x,
		WamWord	y,
		WamWord	b
	)

Here is the caller graph for this function:

Bool pl_truth_x_eq_y_F	(	WamWord	x,
		WamWord	y,
		WamWord	b
	)

Bool pl_truth_x_gte_c	(	WamWord	x,
		WamWord	c,
		WamWord	b
	)

Here is the caller graph for this function:

Bool pl_truth_x_in_l_u	(	WamWord	x,
		WamWord	l,
		WamWord	u,
		WamWord	b
	)

Here is the caller graph for this function:

Bool pl_truth_x_lt_y	(	WamWord	x,
		WamWord	y,
		WamWord	b
	)

Here is the caller graph for this function:

Bool pl_truth_x_lte_c	(	WamWord	x,
		WamWord	c,
		WamWord	b
	)

Here is the caller graph for this function:

Bool pl_truth_x_lte_y	(	WamWord	x,
		WamWord	y,
		WamWord	b
	)

Here is the caller graph for this function:

Bool pl_truth_x_neq_c	(	WamWord	x,
		WamWord	c,
		WamWord	b
	)

Here is the caller graph for this function:

Bool pl_truth_x_neq_c_F	(	WamWord	x,
		WamWord	c,
		WamWord	b
	)

Bool pl_truth_x_neq_y	(	WamWord	x,
		WamWord	y,
		WamWord	b
	)

Here is the caller graph for this function:

Bool pl_truth_x_neq_y_F	(	WamWord	x,
		WamWord	y,
		WamWord	b
	)

Bool pl_truth_x_plus_c_eq_y	(	WamWord	x,
		WamWord	c,
		WamWord	y,
		WamWord	b
	)

Here is the caller graph for this function:

Bool pl_truth_x_plus_c_eq_y_F	(	WamWord	x,
		WamWord	c,
		WamWord	y,
		WamWord	b
	)

Bool pl_truth_x_plus_c_gte_y	(	WamWord	x,
		WamWord	c,
		WamWord	y,
		WamWord	b
	)

Here is the caller graph for this function:

Bool pl_truth_x_plus_c_lte_y	(	WamWord	x,
		WamWord	c,
		WamWord	y,
		WamWord	b
	)

Here is the caller graph for this function:

Bool pl_truth_x_plus_c_neq_y	(	WamWord	x,
		WamWord	c,
		WamWord	y,
		WamWord	b
	)

Here is the caller graph for this function:

Bool pl_truth_x_plus_c_neq_y_F	(	WamWord	x,
		WamWord	c,
		WamWord	y,
		WamWord	b
	)

Bool pl_x2_eq_y	(	WamWord	x,
		WamWord	y
	)

Here is the caller graph for this function:

Bool pl_x2_eq_y_F	(	WamWord	x,
		WamWord	y
	)

Bool pl_x_and_y_eq_0	(	WamWord	x,
		WamWord	y
	)

Here is the caller graph for this function:

Bool pl_x_and_y_eq_b	(	WamWord	x,
		WamWord	y,
		WamWord	b
	)

Here is the caller graph for this function:

Bool pl_x_eq_c	(	WamWord	x,
		WamWord	c
	)

Here is the call graph for this function:

Here is the caller graph for this function:

Bool pl_x_eq_y	(	WamWord	x,
		WamWord	y
	)

Here is the caller graph for this function:

Bool pl_x_eq_y_F	(	WamWord	x,
		WamWord	y
	)

Bool pl_x_equiv_y_eq_b	(	WamWord	x,
		WamWord	y,
		WamWord	b
	)

Here is the caller graph for this function:

Bool pl_x_gte_c	(	WamWord	x,
		WamWord	c
	)

Here is the caller graph for this function:

Bool pl_x_imply_y_eq_1	(	WamWord	x,
		WamWord	y
	)

Here is the caller graph for this function:

Bool pl_x_imply_y_eq_b	(	WamWord	x,
		WamWord	y,
		WamWord	b
	)

Here is the caller graph for this function:

Bool pl_x_lt_y	(	WamWord	x,
		WamWord	y
	)

Here is the caller graph for this function:

Bool pl_x_lte_c	(	WamWord	x,
		WamWord	c
	)

Here is the caller graph for this function:

Bool pl_x_lte_y	(	WamWord	x,
		WamWord	y
	)

Here is the caller graph for this function:

Bool pl_x_nand_y_eq_b	(	WamWord	x,
		WamWord	y,
		WamWord	b
	)

Here is the caller graph for this function:

Bool pl_x_neq_c	(	WamWord	x,
		WamWord	c
	)

Here is the caller graph for this function:

Bool pl_x_neq_y	(	WamWord	x,
		WamWord	y
	)

Here is the caller graph for this function:

Bool pl_x_nequiv_y_eq_b	(	WamWord	x,
		WamWord	y,
		WamWord	b
	)

Here is the caller graph for this function:

Bool pl_x_nimply_y_eq_b	(	WamWord	x,
		WamWord	y,
		WamWord	b
	)

Here is the caller graph for this function:

Bool pl_x_nor_y_eq_b	(	WamWord	x,
		WamWord	y,
		WamWord	b
	)

Here is the caller graph for this function:

Bool pl_x_or_y_eq_1	(	WamWord	x,
		WamWord	y
	)

Here is the caller graph for this function:

Bool pl_x_or_y_eq_b	(	WamWord	x,
		WamWord	y,
		WamWord	b
	)

Here is the caller graph for this function:

Bool pl_x_plus_c_eq_y	(	WamWord	x,
		WamWord	c,
		WamWord	y
	)

Here is the caller graph for this function:

Bool pl_x_plus_c_eq_y_F	(	WamWord	x,
		WamWord	c,
		WamWord	y
	)

Bool pl_x_plus_c_gte_y	(	WamWord	x,
		WamWord	c,
		WamWord	y
	)

Here is the caller graph for this function:

Bool pl_x_plus_c_lte_y	(	WamWord	x,
		WamWord	c,
		WamWord	y
	)

Here is the caller graph for this function:

Bool pl_x_plus_c_neq_y	(	WamWord	x,
		WamWord	c,
		WamWord	y
	)

Here is the caller graph for this function:

Bool pl_x_plus_y_eq_z	(	WamWord	x,
		WamWord	y,
		WamWord	z
	)

Here is the caller graph for this function:

Bool pl_x_plus_y_eq_z_F	(	WamWord	x,
		WamWord	y,
		WamWord	z
	)

Bool pl_x_plus_y_plus_z_eq_t	(	WamWord	x,
		WamWord	y,
		WamWord	z,
		WamWord	t
	)

Here is the caller graph for this function:

Bool pl_x_plus_y_plus_z_eq_t_F	(	WamWord	x,
		WamWord	y,
		WamWord	z,
		WamWord	t
	)

Bool pl_x_power_a_eq_y	(	WamWord	x,
		WamWord	a,
		WamWord	y
	)

Here is the caller graph for this function:

Bool pl_x_power_a_eq_y_F	(	WamWord	x,
		WamWord	a,
		WamWord	y
	)

Bool pl_xy_eq_z	(	WamWord	x,
		WamWord	y,
		WamWord	z
	)

Here is the caller graph for this function:

Bool pl_xy_eq_z_F	(	WamWord	x,
		WamWord	y,
		WamWord	z
	)

Bool pl_zero_power_n_eq_y	(	WamWord	n,
		WamWord	y
	)

Here is the caller graph for this function:

Variable Documentation

Bool pl_full_ac