fd_symbolic_c.c File Reference

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

Include dependency graph for fd_symbolic_c.c:

Functions
static Bool	Fd_All_Different_Rec (WamWord list_word, PlLong x_tag, WamWord x_word, WamWord save_list_word)
Bool	Pl_Fd_All_Different_1 (WamWord list_word, WamWord save_list_word)
void	Pl_Fd_Element_I (Range *i, WamWord *l)
void	Pl_Fd_Element_I_To_V (Range *v, Range *i, WamWord *l)
void	Pl_Fd_Element_V_To_I (Range *i, Range *v, WamWord *l)
void	Pl_Fd_Element_Var_I (Range *i, WamWord *l)
void	Pl_Fd_Element_Var_I_To_V (Range *v, Range *i, WamWord **l)
void	Pl_Fd_Element_Var_V_To_I (Range *i, Range *v, WamWord **l)
Bool	Pl_Fd_Element_V_To_Xi (int i, WamWord **array, Range *v)
Bool	Pl_Fd_Atmost (int n, WamWord **array, int v)
Bool	Pl_Fd_Atleast (int n, WamWord **array, int v)
Bool	Pl_Fd_Exactly (int n, WamWord **array, int v)

Function Documentation

static Bool Fd_All_Different_Rec ( WamWord  list_word, PlLong  x_tag, WamWord  x_word, WamWord  save_list_word  )

static

Here is the call graph for this function:

Here is the caller graph for this function:

Bool Pl_Fd_All_Different_1	(	WamWord	list_word,
		WamWord	save_list_word
	)

Here is the call graph for this function:

Bool Pl_Fd_Atleast	(	int	n,
		WamWord **	array,
		int	v
	)

Here is the call graph for this function:

Bool Pl_Fd_Atmost	(	int	n,
		WamWord **	array,
		int	v
	)

Here is the call graph for this function:

void Pl_Fd_Element_I	(	Range *	i,
		WamWord *	l
	)

Here is the call graph for this function:

void Pl_Fd_Element_I_To_V	(	Range *	v,
		Range *	i,
		WamWord *	l
	)

Here is the call graph for this function:

void Pl_Fd_Element_V_To_I	(	Range *	i,
		Range *	v,
		WamWord *	l
	)

Here is the call graph for this function:

Bool Pl_Fd_Element_V_To_Xi	(	int	i,
		WamWord **	array,
		Range *	v
	)

Here is the call graph for this function:

void Pl_Fd_Element_Var_I	(	Range *	i,
		WamWord *	l
	)

Here is the call graph for this function:

void Pl_Fd_Element_Var_I_To_V	(	Range *	v,
		Range *	i,
		WamWord **	l
	)

Here is the call graph for this function:

void Pl_Fd_Element_Var_V_To_I	(	Range *	i,
		Range *	v,
		WamWord **	l
	)

Here is the call graph for this function:

Bool Pl_Fd_Exactly	(	int	n,
		WamWord **	array,
		int	v
	)

Here is the call graph for this function: