PIPS
|
#include <stdlib.h>
#include "linear_assert.h"
#include "boolean.h"
#include "vecteur.h"
#include "contrainte.h"
#include "sc.h"
#include "sommet.h"
#include "ray_dte.h"
#include "sg.h"
#include "polyedre.h"
#include "polynome.h"
Go to the source code of this file.
Functions | |
Ptsg | sc_to_sg_chernikova (Psysteme sc) |
chernikova_mulprec.c More... | |
Psysteme | sg_to_sc_chernikova (Ptsg sg) |
Psysteme | sc_convex_hull (Psysteme sc1, Psysteme sc2) |
sc1 | c1 |
sc2 | c2 |
Definition at line 74 of file chernikova.c.
References abort, linear_use_gmp(), and sc_convex_hull_fixprec().
Referenced by main(), and sc_enveloppe_chernikova_ofl_ctrl().
sc | c |
Definition at line 42 of file chernikova.c.
References abort, linear_use_gmp(), sc_to_sg_chernikova_fixprec(), and sg.
Referenced by dependence_cone_positive(), main(), and unimodular().
sg | g |
Definition at line 58 of file chernikova.c.
References abort, linear_use_gmp(), sg, and sg_to_sc_chernikova_fixprec().
Referenced by main(), prettyprint_dependence_graph(), and prettyprint_dependence_graph_view().