fd_range.c File Reference

#include <stdio.h>
#include <string.h>
#include "bool.h"
#include "engine_pl.h"
#include "engine_fd.h"

Include dependency graph for fd_range.c:

Macros
#define	FD_RANGE_FILE
#define	ALL_1   ((VecWord) -1)
#define	WRITE_BEGIN_RANGE   ""
#define	WRITE_END_RANGE   ""
#define	WRITE_LIMITS_SEPARATOR   ".."
#define	WRITE_INTERVALS_SEPARATOR   ":"
#define	WRITE_EXTRA_CSTR_SYMBOL   "@"
#define	math_min(x, y)   ((x) <= (y) ? (x) : (y))
#define	math_max(x, y)   ((x) >= (y) ? (x) : (y))

Functions
void	Pl_Define_Vector_Size (int max_val)
void	Pl_Vector_From_Interval (Vector vec, int min, int max)
int	Pl_Vector_Nb_Elem (Vector vec)
int	Pl_Vector_Ith_Elem (Vector vec, int i)
int	Pl_Vector_Next_After (Vector vec, int n)
int	Pl_Vector_Next_Before (Vector vec, int n)
void	Pl_Vector_Empty (Vector vec)
void	Pl_Vector_Full (Vector vec)
Bool	Pl_Vector_Test_Null_Inter (Vector vec, Vector vec1)
void	Pl_Vector_Copy (Vector vec, Vector vec1)
void	Pl_Vector_Union (Vector vec, Vector vec1)
void	Pl_Vector_Inter (Vector vec, Vector vec1)
void	Pl_Vector_Compl (Vector vec)
void	Pl_Vector_Add_Vector (Vector vec, Vector vec1)
void	Pl_Vector_Sub_Vector (Vector vec, Vector vec1)
void	Pl_Vector_Mul_Vector (Vector vec, Vector vec1)
void	Pl_Vector_Div_Vector (Vector vec, Vector vec1)
void	Pl_Vector_Mod_Vector (Vector vec, Vector vec1)
void	Pl_Vector_Add_Value (Vector vec, int n)
void	Pl_Vector_Mul_Value (Vector vec, int n)
void	Pl_Vector_Div_Value (Vector vec, int n)
void	Pl_Vector_Mod_Value (Vector vec, int n)
Bool	Pl_Range_Test_Value (Range *range, int n)
Bool	Pl_Range_Test_Null_Inter (Range *range, Range *range1)
void	Pl_Range_Copy (Range *range, Range *range1)
int	Pl_Range_Nb_Elem (Range *range)
int	Pl_Range_Ith_Elem (Range *range, int i)
int	Pl_Range_Next_After (Range *range, int n)
int	Pl_Range_Next_Before (Range *range, int n)
void	Pl_Range_Becomes_Sparse (Range *range)
void	Pl_Range_From_Vector (Range *range)
void	Pl_Range_Set_Value (Range *range, int n)
void	Pl_Range_Reset_Value (Range *range, int n)
void	Pl_Range_Union (Range *range, Range *range1)
void	Pl_Range_Inter (Range *range, Range *range1)
void	Pl_Range_Compl (Range *range)
void	Pl_Range_Add_Range (Range *range, Range *range1)
void	Pl_Range_Sub_Range (Range *range, Range *range1)
void	Pl_Range_Mul_Range (Range *range, Range *range1)
void	Pl_Range_Div_Range (Range *range, Range *range1)
void	Pl_Range_Mod_Range (Range *range, Range *range1)
void	Pl_Range_Add_Value (Range *range, int n)
void	Pl_Range_Mul_Value (Range *range, int n)
void	Pl_Range_Div_Value (Range *range, int n)
void	Pl_Range_Mod_Value (Range *range, int n)
char *	Pl_Range_To_String (Range *range)

Macro Definition Documentation

#define ALL_1   ((VecWord) -1)

#define FD_RANGE_FILE

#define math_max	(		x,
			y
	)		((x) >= (y) ? (x) : (y))

#define math_min	(		x,
			y
	)		((x) <= (y) ? (x) : (y))

#define WRITE_BEGIN_RANGE   ""

#define WRITE_END_RANGE   ""

#define WRITE_EXTRA_CSTR_SYMBOL   "@"

#define WRITE_INTERVALS_SEPARATOR   ":"

#define WRITE_LIMITS_SEPARATOR   ".."

Function Documentation

void Pl_Define_Vector_Size

(

int

max_val

)

Here is the caller graph for this function:

void Pl_Range_Add_Range	(	Range *	range,
		Range *	range1
	)

Here is the call graph for this function:

void Pl_Range_Add_Value	(	Range *	range,
		int	n
	)

Here is the call graph for this function:

void Pl_Range_Becomes_Sparse

(

Range *

range

)

Here is the call graph for this function:

Here is the caller graph for this function:

void Pl_Range_Compl

(

Range *

range

)

Here is the call graph for this function:

void Pl_Range_Copy	(	Range *	range,
		Range *	range1
	)

Here is the call graph for this function:

Here is the caller graph for this function:

void Pl_Range_Div_Range	(	Range *	range,
		Range *	range1
	)

Here is the call graph for this function:

Here is the caller graph for this function:

void Pl_Range_Div_Value	(	Range *	range,
		int	n
	)

Here is the call graph for this function:

void Pl_Range_From_Vector

(

Range *

range

)

Here is the caller graph for this function:

void Pl_Range_Inter	(	Range *	range,
		Range *	range1
	)

Here is the call graph for this function:

Here is the caller graph for this function:

int Pl_Range_Ith_Elem	(	Range *	range,
		int	i
	)

Here is the call graph for this function:

Here is the caller graph for this function:

void Pl_Range_Mod_Range	(	Range *	range,
		Range *	range1
	)

Here is the call graph for this function:

void Pl_Range_Mod_Value	(	Range *	range,
		int	n
	)

Here is the call graph for this function:

void Pl_Range_Mul_Range	(	Range *	range,
		Range *	range1
	)

Here is the call graph for this function:

void Pl_Range_Mul_Value	(	Range *	range,
		int	n
	)

Here is the call graph for this function:

int Pl_Range_Nb_Elem

(

Range *

range

)

Here is the call graph for this function:

Here is the caller graph for this function:

int Pl_Range_Next_After	(	Range *	range,
		int	n
	)

Here is the call graph for this function:

Here is the caller graph for this function:

int Pl_Range_Next_Before	(	Range *	range,
		int	n
	)

Here is the call graph for this function:

void Pl_Range_Reset_Value	(	Range *	range,
		int	n
	)

Here is the call graph for this function:

void Pl_Range_Set_Value	(	Range *	range,
		int	n
	)

Here is the call graph for this function:

void Pl_Range_Sub_Range	(	Range *	range,
		Range *	range1
	)

Here is the call graph for this function:

Bool Pl_Range_Test_Null_Inter	(	Range *	range,
		Range *	range1
	)

Here is the call graph for this function:

Here is the caller graph for this function:

Bool Pl_Range_Test_Value	(	Range *	range,
		int	n
	)

Here is the caller graph for this function:

char* Pl_Range_To_String

(

Range *

range

)

Here is the caller graph for this function:

void Pl_Range_Union	(	Range *	range,
		Range *	range1
	)

Here is the call graph for this function:

Here is the caller graph for this function:

void Pl_Vector_Add_Value	(	Vector	vec,
		int	n
	)

Here is the caller graph for this function:

void Pl_Vector_Add_Vector	(	Vector	vec,
		Vector	vec1
	)

Here is the call graph for this function:

Here is the caller graph for this function:

void Pl_Vector_Compl

(

Vector

vec

)

Here is the caller graph for this function:

void Pl_Vector_Copy	(	Vector	vec,
		Vector	vec1
	)

Here is the caller graph for this function:

void Pl_Vector_Div_Value	(	Vector	vec,
		int	n
	)

Here is the call graph for this function:

Here is the caller graph for this function:

void Pl_Vector_Div_Vector	(	Vector	vec,
		Vector	vec1
	)

Here is the call graph for this function:

Here is the caller graph for this function:

void Pl_Vector_Empty

(

Vector

vec

)

Here is the caller graph for this function:

void Pl_Vector_From_Interval	(	Vector	vec,
		int	min,
		int	max
	)

Here is the caller graph for this function:

void Pl_Vector_Full

(

Vector

vec

)

Here is the caller graph for this function:

void Pl_Vector_Inter	(	Vector	vec,
		Vector	vec1
	)

Here is the caller graph for this function:

int Pl_Vector_Ith_Elem	(	Vector	vec,
		int	i
	)

Here is the caller graph for this function:

void Pl_Vector_Mod_Value	(	Vector	vec,
		int	n
	)

Here is the call graph for this function:

Here is the caller graph for this function:

void Pl_Vector_Mod_Vector	(	Vector	vec,
		Vector	vec1
	)

Here is the call graph for this function:

Here is the caller graph for this function:

void Pl_Vector_Mul_Value	(	Vector	vec,
		int	n
	)

Here is the call graph for this function:

Here is the caller graph for this function:

void Pl_Vector_Mul_Vector	(	Vector	vec,
		Vector	vec1
	)

Here is the call graph for this function:

Here is the caller graph for this function:

int Pl_Vector_Nb_Elem

(

Vector

vec

)

Here is the caller graph for this function:

int Pl_Vector_Next_After	(	Vector	vec,
		int	n
	)

Here is the caller graph for this function:

int Pl_Vector_Next_Before	(	Vector	vec,
		int	n
	)

Here is the caller graph for this function:

void Pl_Vector_Sub_Vector	(	Vector	vec,
		Vector	vec1
	)

Here is the call graph for this function:

Here is the caller graph for this function:

Bool Pl_Vector_Test_Null_Inter	(	Vector	vec,
		Vector	vec1
	)

Here is the caller graph for this function:

void Pl_Vector_Union	(	Vector	vec,
		Vector	vec1
	)

Here is the caller graph for this function: