Data Structures
struct	Ssyslist
	Warning! Do not modify this file that is automatically generated! More...

struct	Spath

struct	Sunion

Macros
#define	SL_NULL (Psyslist) NULL

#define	DJ_UNDEFINED (Pdisjunct) NULL

#define	CO_UNDEFINED (Pcomplement) NULL

#define	PA_UNDEFINED (Ppath) NULL

#define	UN_UNDEFINED (Punion) NULL

#define	UN_FULL_SPACE (Punion) NULL

#define	UN_EMPTY_SPACE (Punion) NULL

#define	my_sc_full() sc_full()
	FOR BACKWARD COMPATIBILITY. More...

#define	my_sc_empty() sc_empty((Pbase) NULL)

#define	is_sc_my_empty_p(ps) sc_empty_p((ps))

#define	is_dj_full_p(dj) dj_full_p((dj))

#define	is_dj_empty_p(dj) dj_empty_p((dj))

#define	is_pa_full_p(pa) pa_full_p((pa))

#define	is_pa_empty_p(pa) pa_empty_p((pa))

#define	sc_difference(ps1, ps2) pa_system_difference_ofl_ctrl((ps1),(ps2),FWD_OFL_CTRL)
	FOR BACKWARD COMPATIBILITY. More...

#define	sc_inclusion_p(ps1, ps2) pa_inclusion_p_ofl_ctrl((ps1), (ps2), NO_OFL_CTRL)

#define	sc_inclusion_p_ofl(ps1, ps2) pa_inclusion_p_ofl_ctrl((ps1), (ps2), FWD_OFL_CTRL)

#define	sc_inclusion_p_ofl_ctrl(ps1, ps2, ofl) pa_inclusion_p_ofl_ctrl((ps1), (ps2), (ofl))

#define	sc_equal_p(ps1, ps2) pa_system_equal_p_ofl_ctrl((ps1), (ps2), NO_OFL_CTRL)

#define	sc_equal_p_ofl(ps1, ps2) pa_system_equal_p_ofl_ctrl((ps1), (ps2), FWD_OFL_CTRL)

#define	sc_equal_p_ofl_ctrl(ps1, ps2, ofl) pa_system_equal_p_ofl_ctrl((ps1), (ps2), (ofl))

#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)

#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)

#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))

#define	sc_elim_redund_with_first(ps1, ps2) sc_elim_redund_with_first_ofl_ctrl((ps1), (ps2), NO_OFL_CTRL)
	OTHERS. More...

#define	dj_fprint(fi, dj, fu) dj_fprint_tab((fi), (dj), (fu), 0)

#define	DJ_UNDEFINED_P(dj) ((dj) == DJ_UNDEFINED)

#define	dj_faisabilite(dj) dj_feasibility_ofl_ctrl((dj), NO_OFL_CTRL)

#define	dj_feasibility(dj) dj_feasibility_ofl_ctrl((dj), NO_OFL_CTRL)

#define	dj_faisabilite_ofl(dj) dj_feasibility_ofl_ctrl((dj), FWD_OFL_CTRL)

#define	dj_intersection(dj1, dj2) dj_intersection_ofl_ctrl((dj1), (dj2), NO_OFL_CTRL)

#define	dj_intersect_system(dj, ps) dj_intersect_system_ofl_ctrl((dj), (ps), NO_OFL_CTRL )

#define	dj_intersect_djcomp(dj1, dj2) dj_intersect_djcomp_ofl_ctrl( (dj1), (dj2), NO_OFL_CTRL )

#define	dj_projection_along_variables(dj, pv) dj_projection_along_variables_ofl_ctrl((dj),(pv),NO_OFL_CTRL)

#define	dj_variable_substitution_with_eqs(dj, co, pv) dj_variable_substitution_with_eqs_ofl_ctrl( (dj), (co), (pv), NO_OFL_CTRL )

#define	pa_fprint(fi, pa, fu) pa_fprint_tab((fi), (pa), (fu), 0)

#define	PA_UNDEFINED_P(pa) ((pa) == PA_UNDEFINED)

#define	pa_new() pa_make(NULL, NULL)

#define	pa_faisabilite(pa) pa_feasibility_ofl_ctrl((pa), NO_OFL_CTRL)

#define	pa_feasibility(pa) pa_feasibility_ofl_ctrl((pa), NO_OFL_CTRL)

#define	pa_faisabilite_ofl(pa) pa_feasibility_ofl_ctrl((pa), FWD_OFL_CTRL)

#define	pa_path_to_disjunct(pa) pa_path_to_disjunct_ofl_ctrl((pa), NO_OFL_CTRL )

#define	pa_path_dup_to_disjunct(pa) pa_path_to_disjunct_ofl_ctrl((pa), NO_OFL_CTRL )

#define	pa_system_difference(ps1, ps2) pa_system_difference_ofl_ctrl((ps1),(ps2),NO_OFL_CTRL)

#define	pa_system_equal_p(ps1, ps2) pa_system_equal_p_ofl_ctrl((ps1),(ps2),NO_OFL_CTRL)

#define	pa_inclusion_p(ps1, ps2) pa_inclusion_p_ofl_ctrl((ps1),(ps2),NO_OFL_CTRL)

#define	pa_path_to_disjunct_ofl(pa) pa_path_to_disjunct_ofl_ctrl((pa), FWD_OFL_CTRL )

#define	pa_path_to_disjunct_rule4(pa) pa_path_to_disjunct_rule4_ofl_ctrl((pa), FWD_OFL_CTRL )

#define	pa_path_to_few_disjunct(pa) pa_path_to_few_disjunct_ofl_ctrl((pa), NO_OFL_CTRL)

#define	pa_system_difference(ps1, ps2) pa_system_difference_ofl_ctrl((ps1),(ps2),NO_OFL_CTRL)

#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)

#define	un_fprint(fi, un, fu, ty) un_fprint_tab((fi), (un), (fu), (ty), 0)

#define	PATH_MAX_CONSTRAINTS 12
	Misceleanous (debuging...) More...

#define	IS_SC 1

#define	IS_SL 2

#define	IS_DJ 3

#define	IS_PA 4

#define	C3_DEBUG(fun, code)

#define	C3_RETURN(type, val) {return val;}

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...

Macro Definition Documentation

◆ C3_DEBUG

#define C3_DEBUG	(	fun,
		code
	)

Definition at line 150 of file union-local.h.

◆ C3_RETURN

#define C3_RETURN	(	type,
		val
	)	{return val;}

Definition at line 151 of file union-local.h.

◆ CO_UNDEFINED

#define CO_UNDEFINED (Pcomplement) NULL

Definition at line 16 of file union-local.h.

◆ dj_faisabilite

#define dj_faisabilite ( dj ) dj_feasibility_ofl_ctrl((dj), NO_OFL_CTRL)

Definition at line 98 of file union-local.h.

◆ dj_faisabilite_ofl

#define dj_faisabilite_ofl ( dj ) dj_feasibility_ofl_ctrl((dj), FWD_OFL_CTRL)

Definition at line 100 of file union-local.h.

◆ dj_feasibility

#define dj_feasibility ( dj ) dj_feasibility_ofl_ctrl((dj), NO_OFL_CTRL)

Definition at line 99 of file union-local.h.

◆ dj_fprint

#define dj_fprint	(	fi,
		dj,
		fu
	)	dj_fprint_tab((fi), (dj), (fu), 0)

Definition at line 96 of file union-local.h.

◆ dj_intersect_djcomp

#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.

◆ dj_intersect_system

#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.

◆ dj_intersection

#define dj_intersection	(	dj1,
		dj2
	)	dj_intersection_ofl_ctrl((dj1), (dj2), NO_OFL_CTRL)

Definition at line 101 of file union-local.h.

◆ dj_projection_along_variables

#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.

◆ DJ_UNDEFINED

#define DJ_UNDEFINED (Pdisjunct) NULL

Definition at line 12 of file union-local.h.

◆ DJ_UNDEFINED_P

#define DJ_UNDEFINED_P ( dj ) ((dj) == DJ_UNDEFINED)

Definition at line 97 of file union-local.h.

◆ dj_variable_substitution_with_eqs

#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.

◆ IS_DJ

#define IS_DJ 3

Definition at line 135 of file union-local.h.

◆ is_dj_empty_p

#define is_dj_empty_p ( dj ) dj_empty_p((dj))

Definition at line 73 of file union-local.h.

◆ is_dj_full_p

#define is_dj_full_p ( dj ) dj_full_p((dj))

Definition at line 72 of file union-local.h.

◆ IS_PA

#define IS_PA 4

Definition at line 136 of file union-local.h.

◆ is_pa_empty_p

#define is_pa_empty_p ( pa ) pa_empty_p((pa))

Definition at line 75 of file union-local.h.

◆ is_pa_full_p

#define is_pa_full_p ( pa ) pa_full_p((pa))

Definition at line 74 of file union-local.h.

◆ IS_SC

#define IS_SC 1

Definition at line 133 of file union-local.h.

◆ is_sc_my_empty_p

#define is_sc_my_empty_p ( ps ) sc_empty_p((ps))

Definition at line 71 of file union-local.h.

◆ IS_SL

#define IS_SL 2

Definition at line 134 of file union-local.h.

◆ my_sc_empty

#define my_sc_empty ( ) sc_empty((Pbase) NULL)

Definition at line 70 of file union-local.h.

◆ my_sc_full

#define my_sc_full ( ) sc_full()

FOR BACKWARD COMPATIBILITY.

Definition at line 69 of file union-local.h.

◆ pa_convex_hull_equals_union_p

#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.

◆ pa_faisabilite

#define pa_faisabilite ( pa ) pa_feasibility_ofl_ctrl((pa), NO_OFL_CTRL)

Definition at line 112 of file union-local.h.

◆ pa_faisabilite_ofl

#define pa_faisabilite_ofl ( pa ) pa_feasibility_ofl_ctrl((pa), FWD_OFL_CTRL)

Definition at line 114 of file union-local.h.

◆ pa_feasibility

#define pa_feasibility ( pa ) pa_feasibility_ofl_ctrl((pa), NO_OFL_CTRL)

Definition at line 113 of file union-local.h.

◆ pa_fprint

#define pa_fprint	(	fi,
		pa,
		fu
	)	pa_fprint_tab((fi), (pa), (fu), 0)

Definition at line 109 of file union-local.h.

◆ pa_inclusion_p

#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.

◆ pa_new

#define pa_new ( ) pa_make(NULL, NULL)

Definition at line 111 of file union-local.h.

◆ pa_path_dup_to_disjunct

#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.

◆ pa_path_to_disjunct

#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.

◆ pa_path_to_disjunct_ofl

#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.

◆ pa_path_to_disjunct_rule4

#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.

◆ pa_path_to_few_disjunct

#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.

◆ pa_system_difference [1/2]

#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.

◆ pa_system_difference [2/2]

#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.

◆ pa_system_equal_p

#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.

◆ PA_UNDEFINED

#define PA_UNDEFINED (Ppath) NULL

Definition at line 23 of file union-local.h.

◆ PA_UNDEFINED_P

#define PA_UNDEFINED_P ( pa ) ((pa) == PA_UNDEFINED)

Definition at line 110 of file union-local.h.

◆ PATH_MAX_CONSTRAINTS

#define PATH_MAX_CONSTRAINTS 12

Misceleanous (debuging...)

Definition at line 131 of file union-local.h.

◆ sc_convex_hull_equals_union_p

#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.

◆ sc_convex_hull_equals_union_p_ofl

#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.

◆ sc_convex_hull_equals_union_p_ofl_ctrl

#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.

◆ sc_difference

#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.

◆ sc_elim_redund_with_first

#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.

◆ sc_equal_p

#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.

◆ sc_equal_p_ofl

#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.

◆ sc_equal_p_ofl_ctrl

#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.

◆ sc_inclusion_p

#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.

◆ sc_inclusion_p_ofl

#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.

◆ sc_inclusion_p_ofl_ctrl

#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.

◆ SL_NULL

#define SL_NULL (Psyslist) NULL

Definition at line 8 of file union-local.h.

◆ UN_EMPTY_SPACE

#define UN_EMPTY_SPACE (Punion) NULL

Definition at line 32 of file union-local.h.

◆ un_fprint

#define un_fprint	(	fi,
		un,
		fu,
		ty
	)	un_fprint_tab((fi), (un), (fu), (ty), 0)

Definition at line 127 of file union-local.h.

◆ UN_FULL_SPACE

#define UN_FULL_SPACE (Punion) NULL

Definition at line 31 of file union-local.h.

◆ UN_UNDEFINED

#define UN_UNDEFINED (Punion) NULL

Definition at line 30 of file union-local.h.

Typedef Documentation

◆ Pcomplement

typedef Ssysteme* Pcomplement

Definition at line 14 of file union-local.h.

◆ Pcomplist

typedef Ssyslist* Pcomplist

Definition at line 17 of file union-local.h.

◆ Pdisjunct

typedef Ssyslist* Pdisjunct

Definition at line 10 of file union-local.h.

◆ Ppath

typedef struct Spath * Ppath

◆ Psyslist

typedef struct Ssyslist * Psyslist

◆ Punion

typedef struct Sunion * Punion

◆ Scomplement

typedef Ssysteme Scomplement

Definition at line 14 of file union-local.h.

◆ Scomplist

typedef Ssyslist Scomplist

Definition at line 17 of file union-local.h.

◆ Sdisjunct

typedef Ssyslist Sdisjunct

Definition at line 10 of file union-local.h.

◆ Spath

typedef struct Spath Spath

◆ Ssyslist

typedef struct Ssyslist Ssyslist

◆ Sunion

typedef struct Sunion Sunion

Enumeration Type Documentation

◆ hspara_elem

enum hspara_elem

Implementation of the finite parallel half space lattice hspara.

                 ________ full 
                /          |
               /          empty ___
              /            |       \
             /           keep       \
            /           /    \       \
         ssplus        /    opplus    \
            |      ssminus    |     opminus
          sszero        \   opzero    /
             \           \   /       /
              \________ unpara _____/

Enumerator
unpara	compare {h1: a1 X + b1 <= 0} with {hj: aj X + bj <= 0}
sszero	unparallel -> h1/hj = h1 a1 == aj for same sign (ss) part lattice
ssplus	b1 == bj -> h1/hj = full
ssminus	bj > b1 -> h1/hj = full keep part
opzero	bj < b1 -> h1/hj = h1 -a1 == aj for opposite sign (op) part lattice
opplus	b1 == bj -> h1/hj = h1
keep	bj > b1 -> h1/hj = h1
opminus	empty part
empty	b1 < bj -> h1/hj = empty
full
unpara	compare {h1: a1 X + b1 <= 0} with {hj: aj X + bj <= 0}
sszero	unparallel -> h1/hj = h1 a1 == aj for same sign (ss) part lattice
ssplus	b1 == bj -> h1/hj = full
ssminus	bj > b1 -> h1/hj = full keep part
opzero	bj < b1 -> h1/hj = h1 -a1 == aj for opposite sign (op) part lattice
opplus	b1 == bj -> h1/hj = h1
keep	bj > b1 -> h1/hj = h1
opminus	empty part
empty	b1 < bj -> h1/hj = empty
full

Definition at line 48 of file union-local.h.

 {                      /* compare   {h1: a1 X + b1 <= 0} with {hj: aj X + bj <= 0} */      
   unpara        = 0,   /*  unparallel ->   h1/hj = h1    */
   /**/                 /*  a1 == aj for same sign (ss)  part lattice */ 
     sszero      = 1,   /*  b1 == bj   ->   h1/hj = full  */ 
     ssplus      = 2,   /*  bj >  b1   ->   h1/hj = full  */
   /**/     
     /**/               /* keep part                      */
       /**/     
         ssminus = 3,   /*  bj <  b1   ->   h1/hj = h1    */ 
       /**/             /* -a1 == aj for opposite sign (op)  part lattice */
         opzero  = 4,   /*  b1 == bj   ->   h1/hj = h1    */ 
         opplus  = 5,   /*  bj >  b1   ->   h1/hj = h1    */
     keep        = 6,
     /**/               /* empty part                     */
       opminus   = 7,   /*  b1 <  bj   ->   h1/hj = empty */  
     empty       = 8,   
   full          = 9     
 };

Variable Documentation

◆ union_variable_name

char*(* union_variable_name) (Variable) ( Variable )

extern

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 :

sc_list.c

           WARNING

THOSE FUNCTIONS ARE AUTOMATICALLY DERIVED

    FROM THE WEB SOURCES !

Ansi includes
Linear includes

Definition at line 51 of file sc_list.c.

Data Structures

Macros

Typedefs

Enumerations

Variables

Macro Definition Documentation

◆ C3_DEBUG

◆ C3_RETURN

◆ CO_UNDEFINED

◆ dj_faisabilite

◆ dj_faisabilite_ofl

◆ dj_feasibility

◆ dj_fprint

◆ dj_intersect_djcomp

◆ dj_intersect_system

◆ dj_intersection

◆ dj_projection_along_variables

◆ DJ_UNDEFINED

◆ DJ_UNDEFINED_P

◆ dj_variable_substitution_with_eqs

◆ IS_DJ

◆ is_dj_empty_p

◆ is_dj_full_p

◆ IS_PA

◆ is_pa_empty_p

◆ is_pa_full_p

◆ IS_SC

◆ is_sc_my_empty_p

◆ IS_SL

◆ my_sc_empty

◆ my_sc_full

◆ pa_convex_hull_equals_union_p

◆ pa_faisabilite

◆ pa_faisabilite_ofl

◆ pa_feasibility

◆ pa_fprint

◆ pa_inclusion_p

◆ pa_new

◆ pa_path_dup_to_disjunct

◆ pa_path_to_disjunct

◆ pa_path_to_disjunct_ofl

◆ pa_path_to_disjunct_rule4

◆ pa_path_to_few_disjunct

◆ pa_system_difference [1/2]

◆ pa_system_difference [2/2]

◆ pa_system_equal_p

◆ PA_UNDEFINED

◆ PA_UNDEFINED_P

◆ PATH_MAX_CONSTRAINTS

◆ sc_convex_hull_equals_union_p

◆ sc_convex_hull_equals_union_p_ofl

◆ sc_convex_hull_equals_union_p_ofl_ctrl

◆ sc_difference

◆ sc_elim_redund_with_first

◆ sc_equal_p

◆ sc_equal_p_ofl

◆ sc_equal_p_ofl_ctrl

◆ sc_inclusion_p

◆ sc_inclusion_p_ofl

◆ sc_inclusion_p_ofl_ctrl

◆ SL_NULL

◆ UN_EMPTY_SPACE

◆ un_fprint

◆ UN_FULL_SPACE

◆ UN_UNDEFINED

Typedef Documentation

◆ Pcomplement

◆ Pcomplist

◆ Pdisjunct

◆ Ppath

◆ Psyslist

◆ Punion

◆ Scomplement

◆ Scomplist

◆ Sdisjunct

◆ Spath

◆ Ssyslist

◆ Sunion

Enumeration Type Documentation

◆ hspara_elem