PIPS
sommet-local.h File Reference

Go to the source code of this file.

Data Structures

struct  typ_som
 structure de donnees Sommet More...
 

Macros

#define SOMMET   1004
 package sommet: structure de donnees representant les sommets d'un systeme generateur; elle contient: More...
 
#define print_som(s)   sommet_fprint(stdout,s)
 
#define print_lsom(ls)   fprint_lsom(stdout,ls)
 
#define VERSION_FINALE
 
#define SOMMET_RM(s, function_name)   sommet_rm(s)
 
#define sommet_denominateur(s)   ((s)->denominateur)
 macros d'acces More...
 

Typedefs

typedef struct typ_somPsommet
 structure de donnees Sommet More...
 
typedef struct typ_som Ssommet
 

Macro Definition Documentation

◆ print_lsom

#define print_lsom (   ls)    fprint_lsom(stdout,ls)

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

◆ print_som

#define print_som (   s)    sommet_fprint(stdout,s)

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

◆ SOMMET

#define SOMMET   1004

package sommet: structure de donnees representant les sommets d'un systeme generateur; elle contient:

  • le vecteur correspondant, a un coefficient multiplicatif pret qui le rend entier,
  • son denominateur,
  • un eventuel tableau de saturation (par rapport a une liste implicite de contraintes),
  • le chainage vers les autres rayons ou droites.

Francois Irigoin, Mai 1989

Cette structure de donnees est aussi utilisee dans plint.dir pour representer la fonction economique, les contraintes lineaires et les systemes de contraintes lineaires.

FI: commentaires a completer par Corinne, declaration d'un type synonyme pour eviter les conflits? valeur numerique utilise pour flagger les structures de donnees de type sommet

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

◆ sommet_denominateur

#define sommet_denominateur (   s)    ((s)->denominateur)

macros d'acces

int sommet_denominateur(Psommet): denominateur des coordonnees d'un sommet; ex den_of()

Definition at line 87 of file sommet-local.h.

◆ SOMMET_RM

#define SOMMET_RM (   s,
  function_name 
)    sommet_rm(s)

Definition at line 77 of file sommet-local.h.

◆ VERSION_FINALE

#define VERSION_FINALE

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

Typedef Documentation

◆ Psommet

typedef struct typ_som * Psommet

structure de donnees Sommet

  • eq_sat: eventuel tableau des saturations du sommets par rapport a un eventuel systeme de contraintes; inutilisable quand on ne connait pas le nombre de contraintes, egalites ou inegalites
  • vecteur: coordonnees entieres du sommet, a un coefficient multiplicatif pres; l'inverse de ce coefficient est donne par le champ suivant
  • denominateur: coefficient permettant de garder les coordonnees du sommet sous forme rationnelle; les numerateurs des coordonnees se trouvent dans "vecteur"; le denominateur est unique, pour le sommet, i.e. c'est le PGCD des coordonnees; le denominateur doit toujours etre strictement positif
  • succ: pointeur vers le sommet suivant; on s'interesse a l'ensemble des sommets du systeme generateur plutot qu'a un sommet particulier

◆ Ssommet

typedef struct typ_som Ssommet