PIPS
|
Go to the source code of this file.
Data Structures | |
struct | Ssyslist |
Warning! Do not modify this file that is automatically generated! More... | |
struct | Spath |
struct | Sunion |
Typedefs | |
typedef struct Ssyslist * | Psyslist |
typedef struct Ssyslist | Ssyslist |
typedef Ssyslist * | Pdisjunct |
typedef Ssyslist | Sdisjunct |
typedef Ssysteme * | Pcomplement |
typedef Ssysteme | Scomplement |
typedef Ssyslist * | Pcomplist |
typedef Ssyslist | Scomplist |
typedef struct Spath * | Ppath |
typedef struct Spath | Spath |
typedef struct Sunion * | Punion |
typedef struct Sunion | Sunion |
Enumerations | |
enum | hspara_elem { unpara = 0 , sszero = 1 , ssplus = 2 , ssminus = 3 , opzero = 4 , opplus = 5 , keep = 6 , opminus = 7 , empty = 8 , full = 9 , unpara = 0 , sszero = 1 , ssplus = 2 , ssminus = 3 , opzero = 4 , opplus = 5 , keep = 6 , opminus = 7 , empty = 8 , full = 9 } |
Implementation of the finite parallel half space lattice hspara. More... | |
Variables | |
char *(* | union_variable_name )(Variable) |
Package : C3/union Author : Arnauld LESERVOT (leservot(a)limeil.cea.fr) Date : Modified : 04 04 95 Documents: UNION.tex : `‘Extension de C3 aux unions de polyedres’' Comments : More... | |
#define C3_DEBUG | ( | fun, | |
code | |||
) |
Definition at line 150 of file union-local.h.
Definition at line 151 of file union-local.h.
#define CO_UNDEFINED (Pcomplement) NULL |
Definition at line 16 of file union-local.h.
#define dj_faisabilite | ( | dj | ) | dj_feasibility_ofl_ctrl((dj), NO_OFL_CTRL) |
Definition at line 98 of file union-local.h.
#define dj_faisabilite_ofl | ( | dj | ) | dj_feasibility_ofl_ctrl((dj), FWD_OFL_CTRL) |
Definition at line 100 of file union-local.h.
#define dj_feasibility | ( | dj | ) | dj_feasibility_ofl_ctrl((dj), NO_OFL_CTRL) |
Definition at line 99 of file union-local.h.
#define dj_fprint | ( | fi, | |
dj, | |||
fu | |||
) | dj_fprint_tab((fi), (dj), (fu), 0) |
Definition at line 96 of file union-local.h.
#define dj_intersect_djcomp | ( | dj1, | |
dj2 | |||
) | dj_intersect_djcomp_ofl_ctrl( (dj1), (dj2), NO_OFL_CTRL ) |
Definition at line 103 of file union-local.h.
#define dj_intersect_system | ( | dj, | |
ps | |||
) | dj_intersect_system_ofl_ctrl((dj), (ps), NO_OFL_CTRL ) |
Definition at line 102 of file union-local.h.
#define dj_intersection | ( | dj1, | |
dj2 | |||
) | dj_intersection_ofl_ctrl((dj1), (dj2), NO_OFL_CTRL) |
Definition at line 101 of file union-local.h.
#define dj_projection_along_variables | ( | dj, | |
pv | |||
) | dj_projection_along_variables_ofl_ctrl((dj),(pv),NO_OFL_CTRL) |
Definition at line 104 of file union-local.h.
#define DJ_UNDEFINED (Pdisjunct) NULL |
Definition at line 12 of file union-local.h.
#define DJ_UNDEFINED_P | ( | dj | ) | ((dj) == DJ_UNDEFINED) |
Definition at line 97 of file union-local.h.
#define dj_variable_substitution_with_eqs | ( | dj, | |
co, | |||
pv | |||
) | dj_variable_substitution_with_eqs_ofl_ctrl( (dj), (co), (pv), NO_OFL_CTRL ) |
Definition at line 106 of file union-local.h.
#define IS_DJ 3 |
Definition at line 135 of file union-local.h.
#define is_dj_empty_p | ( | dj | ) | dj_empty_p((dj)) |
Definition at line 73 of file union-local.h.
#define is_dj_full_p | ( | dj | ) | dj_full_p((dj)) |
Definition at line 72 of file union-local.h.
#define IS_PA 4 |
Definition at line 136 of file union-local.h.
#define is_pa_empty_p | ( | pa | ) | pa_empty_p((pa)) |
Definition at line 75 of file union-local.h.
#define is_pa_full_p | ( | pa | ) | pa_full_p((pa)) |
Definition at line 74 of file union-local.h.
#define IS_SC 1 |
Definition at line 133 of file union-local.h.
#define is_sc_my_empty_p | ( | ps | ) | sc_empty_p((ps)) |
Definition at line 71 of file union-local.h.
#define IS_SL 2 |
Definition at line 134 of file union-local.h.
Definition at line 70 of file union-local.h.
#define my_sc_full | ( | ) | sc_full() |
FOR BACKWARD COMPATIBILITY.
Definition at line 69 of file union-local.h.
#define pa_convex_hull_equals_union_p | ( | conv_hull, | |
ps1, | |||
ps2 | |||
) | pa_convex_hull_equals_union_p_ofl_ctrl((conv_hull), (ps1), (ps2), NO_OFL_CTRL, false) |
Definition at line 124 of file union-local.h.
#define pa_faisabilite | ( | pa | ) | pa_feasibility_ofl_ctrl((pa), NO_OFL_CTRL) |
Definition at line 112 of file union-local.h.
#define pa_faisabilite_ofl | ( | pa | ) | pa_feasibility_ofl_ctrl((pa), FWD_OFL_CTRL) |
Definition at line 114 of file union-local.h.
#define pa_feasibility | ( | pa | ) | pa_feasibility_ofl_ctrl((pa), NO_OFL_CTRL) |
Definition at line 113 of file union-local.h.
#define pa_fprint | ( | fi, | |
pa, | |||
fu | |||
) | pa_fprint_tab((fi), (pa), (fu), 0) |
Definition at line 109 of file union-local.h.
#define pa_inclusion_p | ( | ps1, | |
ps2 | |||
) | pa_inclusion_p_ofl_ctrl((ps1),(ps2),NO_OFL_CTRL) |
Definition at line 119 of file union-local.h.
#define pa_new | ( | ) | pa_make(NULL, NULL) |
Definition at line 111 of file union-local.h.
#define pa_path_dup_to_disjunct | ( | pa | ) | pa_path_to_disjunct_ofl_ctrl((pa), NO_OFL_CTRL ) |
Definition at line 116 of file union-local.h.
#define pa_path_to_disjunct | ( | pa | ) | pa_path_to_disjunct_ofl_ctrl((pa), NO_OFL_CTRL ) |
Definition at line 115 of file union-local.h.
#define pa_path_to_disjunct_ofl | ( | pa | ) | pa_path_to_disjunct_ofl_ctrl((pa), FWD_OFL_CTRL ) |
Definition at line 120 of file union-local.h.
#define pa_path_to_disjunct_rule4 | ( | pa | ) | pa_path_to_disjunct_rule4_ofl_ctrl((pa), FWD_OFL_CTRL ) |
Definition at line 121 of file union-local.h.
#define pa_path_to_few_disjunct | ( | pa | ) | pa_path_to_few_disjunct_ofl_ctrl((pa), NO_OFL_CTRL) |
Definition at line 122 of file union-local.h.
#define pa_system_difference | ( | ps1, | |
ps2 | |||
) | pa_system_difference_ofl_ctrl((ps1),(ps2),NO_OFL_CTRL) |
Definition at line 123 of file union-local.h.
#define pa_system_difference | ( | ps1, | |
ps2 | |||
) | pa_system_difference_ofl_ctrl((ps1),(ps2),NO_OFL_CTRL) |
Definition at line 123 of file union-local.h.
#define pa_system_equal_p | ( | ps1, | |
ps2 | |||
) | pa_system_equal_p_ofl_ctrl((ps1),(ps2),NO_OFL_CTRL) |
Definition at line 118 of file union-local.h.
#define PA_UNDEFINED (Ppath) NULL |
Definition at line 23 of file union-local.h.
#define PA_UNDEFINED_P | ( | pa | ) | ((pa) == PA_UNDEFINED) |
Definition at line 110 of file union-local.h.
#define PATH_MAX_CONSTRAINTS 12 |
Misceleanous (debuging...)
Definition at line 131 of file union-local.h.
#define sc_convex_hull_equals_union_p | ( | conv_hull, | |
ps1, | |||
ps2 | |||
) | pa_convex_hull_equals_union_p_ofl_ctrl((conv_hull), (ps1), (ps2),NO_OFL_CTRL, false) |
Definition at line 86 of file union-local.h.
#define sc_convex_hull_equals_union_p_ofl | ( | conv_hull, | |
ps1, | |||
ps2 | |||
) | pa_convex_hull_equals_union_p_ofl_ctrl((conv_hull), (ps1), (ps2), OFL_CTRL, false) |
Definition at line 88 of file union-local.h.
#define sc_convex_hull_equals_union_p_ofl_ctrl | ( | conv_hull, | |
ps1, | |||
ps2, | |||
ofl, | |||
bo | |||
) | pa_convex_hull_equals_union_p_ofl_ctrl((conv_hull), (ps1), (ps2), (ofl), (bo)) |
Definition at line 90 of file union-local.h.
#define sc_difference | ( | ps1, | |
ps2 | |||
) | pa_system_difference_ofl_ctrl((ps1),(ps2),FWD_OFL_CTRL) |
FOR BACKWARD COMPATIBILITY.
Definition at line 79 of file union-local.h.
#define sc_elim_redund_with_first | ( | ps1, | |
ps2 | |||
) | sc_elim_redund_with_first_ofl_ctrl((ps1), (ps2), NO_OFL_CTRL) |
OTHERS.
Definition at line 94 of file union-local.h.
#define sc_equal_p | ( | ps1, | |
ps2 | |||
) | pa_system_equal_p_ofl_ctrl((ps1), (ps2), NO_OFL_CTRL) |
Definition at line 83 of file union-local.h.
#define sc_equal_p_ofl | ( | ps1, | |
ps2 | |||
) | pa_system_equal_p_ofl_ctrl((ps1), (ps2), FWD_OFL_CTRL) |
Definition at line 84 of file union-local.h.
#define sc_equal_p_ofl_ctrl | ( | ps1, | |
ps2, | |||
ofl | |||
) | pa_system_equal_p_ofl_ctrl((ps1), (ps2), (ofl)) |
Definition at line 85 of file union-local.h.
#define sc_inclusion_p | ( | ps1, | |
ps2 | |||
) | pa_inclusion_p_ofl_ctrl((ps1), (ps2), NO_OFL_CTRL) |
Definition at line 80 of file union-local.h.
#define sc_inclusion_p_ofl | ( | ps1, | |
ps2 | |||
) | pa_inclusion_p_ofl_ctrl((ps1), (ps2), FWD_OFL_CTRL) |
Definition at line 81 of file union-local.h.
#define sc_inclusion_p_ofl_ctrl | ( | ps1, | |
ps2, | |||
ofl | |||
) | pa_inclusion_p_ofl_ctrl((ps1), (ps2), (ofl)) |
Definition at line 82 of file union-local.h.
#define SL_NULL (Psyslist) NULL |
Definition at line 8 of file union-local.h.
#define UN_EMPTY_SPACE (Punion) NULL |
Definition at line 32 of file union-local.h.
#define un_fprint | ( | fi, | |
un, | |||
fu, | |||
ty | |||
) | un_fprint_tab((fi), (un), (fu), (ty), 0) |
Definition at line 127 of file union-local.h.
#define UN_FULL_SPACE (Punion) NULL |
Definition at line 31 of file union-local.h.
#define UN_UNDEFINED (Punion) NULL |
Definition at line 30 of file union-local.h.
typedef Ssysteme* Pcomplement |
Definition at line 14 of file union-local.h.
Definition at line 17 of file union-local.h.
Definition at line 10 of file union-local.h.
typedef Ssysteme Scomplement |
Definition at line 14 of file union-local.h.
Definition at line 17 of file union-local.h.
Definition at line 10 of file union-local.h.
enum hspara_elem |
Implementation of the finite parallel half space lattice hspara.
________ full / | / empty ___ / | \ / keep \ / / \ \ ssplus / opplus \ | ssminus | opminus sszero \ opzero / \ \ / / \________ unpara _____/
Definition at line 48 of file union-local.h.
Package : C3/union Author : Arnauld LESERVOT (leservot(a)limeil.cea.fr) Date :
Modified : 04 04 95 Documents: UNION.tex : `‘Extension de C3 aux unions de polyedres’' Comments :
WARNING
THOSE FUNCTIONS ARE AUTOMATICALLY DERIVED
FROM THE WEB SOURCES !
Ansi includes
Linear includes