fd_infos_c.c File Reference

#include "engine_pl.h"
#include "engine_fd.h"
#include "bips_pl.h"
#include "bips_fd.h"

Include dependency graph for fd_infos_c.c:

Functions
Bool	Pl_Fd_Vector_Max_1 (WamWord max_word)
void	Pl_Fd_Set_Vector_Max_1 (WamWord max_word)
Bool	Pl_Fd_Max_Integer_1 (WamWord inf_word)
Bool	Pl_Fd_Min_2 (WamWord fdv_word, WamWord min_word)
Bool	Pl_Fd_Max_2 (WamWord fdv_word, WamWord max_word)
Bool	Pl_Fd_Dom_2 (WamWord fdv_word, WamWord list_word)
Bool	Pl_Fd_Size_2 (WamWord fdv_word, WamWord size_word)
Bool	Pl_Fd_Has_Extra_Cstr_1 (WamWord fdv_word)
Bool	Pl_Fd_Has_Vector_1 (WamWord fdv_word)
Bool	Pl_Fd_Use_Vector_1 (WamWord fdv_word)

Function Documentation

Bool Pl_Fd_Dom_2	(	WamWord	fdv_word,
		WamWord	list_word
	)

Here is the call graph for this function:

Bool Pl_Fd_Has_Extra_Cstr_1

(

WamWord

fdv_word

)

Bool Pl_Fd_Has_Vector_1

(

WamWord

fdv_word

)

Bool Pl_Fd_Max_2	(	WamWord	fdv_word,
		WamWord	max_word
	)

Here is the call graph for this function:

Bool Pl_Fd_Max_Integer_1

(

WamWord

inf_word

)

Here is the call graph for this function:

Bool Pl_Fd_Min_2	(	WamWord	fdv_word,
		WamWord	min_word
	)

Here is the call graph for this function:

void Pl_Fd_Set_Vector_Max_1

(

WamWord

max_word

)

Here is the call graph for this function:

Bool Pl_Fd_Size_2	(	WamWord	fdv_word,
		WamWord	size_word
	)

Here is the call graph for this function:

Bool Pl_Fd_Use_Vector_1

(

WamWord

fdv_word

)

Here is the call graph for this function:

Bool Pl_Fd_Vector_Max_1

(

WamWord

max_word

)

Here is the call graph for this function: