PIPS
typ_som Struct Reference

structure de donnees Sommet More...

#include <sommet-local.h>

+ Collaboration diagram for typ_som:

Data Fields

inteq_sat
 
Pvecteur vecteur
 
Value denominateur
 
struct typ_somsucc
 

Detailed Description

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

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

Field Documentation

◆ denominateur

◆ eq_sat

◆ succ

◆ vecteur


The documentation for this struct was generated from the following files: