chernikova.c File Reference

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

Include dependency graph for chernikova.c:

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)

Function Documentation

sc_convex_hull()

Psysteme sc_convex_hull	(	Psysteme	sc1,
		Psysteme	sc2
	)

Parameters

sc1	c1
sc2	c2

Definition at line 74 of file chernikova.c.

{
        Psysteme sc;
 
        if (linear_use_gmp())
#ifdef HAVE_GMP_H
                sc = sc_convex_hull_mulprec(sc1, sc2);
#else
    abort();
#endif // HAVE_GMP_H
        else
                sc = sc_convex_hull_fixprec(sc1, sc2);
 
        return sc;
}

References abort, linear_use_gmp(), and sc_convex_hull_fixprec().

Referenced by main(), and sc_enveloppe_chernikova_ofl_ctrl().

Here is the call graph for this function:

Here is the caller graph for this function:

sc_to_sg_chernikova()

Ptsg sc_to_sg_chernikova

(

Psysteme

sc

)

chernikova_mulprec.c

chernikova.c

Parameters

sc

c

Definition at line 42 of file chernikova.c.

{
        Ptsg sg;
 
        if (linear_use_gmp())
#ifdef HAVE_GMP_H
                sg = sc_to_sg_chernikova_mulprec(sc);
#else
    abort();
#endif
        else
                sg = sc_to_sg_chernikova_fixprec(sc);
 
        return sg;
}

References abort, linear_use_gmp(), sc_to_sg_chernikova_fixprec(), and sg.

Referenced by dependence_cone_positive(), main(), and unimodular().

Here is the call graph for this function:

Here is the caller graph for this function:

sg_to_sc_chernikova()

Psysteme sg_to_sc_chernikova

(

Ptsg

sg

)

Parameters

sg

g

Definition at line 58 of file chernikova.c.

{
        Psysteme sc;
 
        if (linear_use_gmp())
#ifdef HAVE_GMP_H
                sc = sg_to_sc_chernikova_mulprec(sg);
#else
    abort();
#endif // HAVE_GMP_H
        else
                sc = sg_to_sc_chernikova_fixprec(sg);
 
        return sc;
}

References abort, linear_use_gmp(), sg, and sg_to_sc_chernikova_fixprec().

Referenced by main(), prettyprint_dependence_graph(), and prettyprint_dependence_graph_view().

Here is the call graph for this function:

Here is the caller graph for this function: