if_no_fd.h File Reference

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

Go to the source code of this file.

Macros
#define	Fd_Unify_With_Integer(f, n)   ((*pl_fd_unify_with_integer)(f, n))
#define	Fd_Unify_With_Fd_Var(f1, f2)   ((*pl_fd_unify_with_fd_var)(f1, f2))
#define	Fd_Variable_Size(f)   ((*pl_fd_variable_size)(f))
#define	Fd_Copy_Variable(dst_adr, f)   ((*pl_fd_copy_variable)(dst_adr, f))
#define	Fd_Variable_To_String(f)   ((*pl_fd_variable_to_string)(f))

Functions
void	Pl_Fd_Init_Solver (void)
void	Pl_Fd_Reset_Solver (void)

Variables
void(*	pl_fd_init_solver )()
void(*	pl_fd_reset_solver )()
Bool(*	pl_fd_unify_with_integer )()
Bool(*	pl_fd_unify_with_fd_var )()
int(*	pl_fd_variable_size )()
int(*	pl_fd_copy_variable )()
char *(*	pl_fd_variable_to_string )()

Macro Definition Documentation

#define Fd_Copy_Variable	(		dst_adr,
			f
	)		((*pl_fd_copy_variable)(dst_adr, f))

#define Fd_Unify_With_Fd_Var	(		f1,
			f2
	)		((*pl_fd_unify_with_fd_var)(f1, f2))

#define Fd_Unify_With_Integer	(		f,
			n
	)		((*pl_fd_unify_with_integer)(f, n))

#define Fd_Variable_Size

(

f

)

((*pl_fd_variable_size)(f))

#define Fd_Variable_To_String

(

f

)

((*pl_fd_variable_to_string)(f))

Function Documentation

void Pl_Fd_Init_Solver

(

void

)

Here is the call graph for this function:

Here is the caller graph for this function:

void Pl_Fd_Reset_Solver

(

void

)

Here is the call graph for this function:

Here is the caller graph for this function:

Variable Documentation

int(* pl_fd_copy_variable) ()

void(* pl_fd_init_solver) ()

void(* pl_fd_reset_solver) ()

Bool(* pl_fd_unify_with_fd_var) ()

Bool(* pl_fd_unify_with_integer) ()

int(* pl_fd_variable_size) ()

char*(* pl_fd_variable_to_string) ()