PIPS
|
#include <stdio.h>
#include <stdlib.h>
#include "genC.h"
#include "boolean.h"
#include "arithmetique.h"
#include "vecteur.h"
#include "contrainte.h"
#include "ray_dte.h"
#include "sommet.h"
#include "sg.h"
#include "sc.h"
#include "polyedre.h"
#include "matrix.h"
#include "ri.h"
#include "constants.h"
#include "ri-util.h"
#include "misc.h"
#include "bootstrap.h"
#include "complexity_ri.h"
#include "database.h"
#include "graph.h"
#include "dg.h"
#include "paf_ri.h"
#include "parser_private.h"
#include "property.h"
#include "reduction.h"
#include "text.h"
#include "paf-util.h"
#include "pip.h"
Go to the source code of this file.
Macros | |
#define | max(x, y) (x>y? x : y) |
lint More... | |
#define | TAB_CHUNK 4096*sizeof(Entier) |
Functions | |
void | tab_init () |
char * | tab_hwm () |
void | tab_reset (char *p) |
Tableau * | tab_alloc (int h, int w, int n) |
h : le nombre de ligne reelles; n : le nombre de lignes virtuelles More... | |
Tableau * | tab_get (FILE *foo, int h, int w, int n) |
void | tab_display (Tableau *p, FILE *foo) |
Variables | |
char | vcid_pip_tab [] = "$Id: tab.c 23065 2016-03-02 09:05:50Z coelho $" |
static char * | tab_free |
static char * | tab_top |
static struct A * | tab_base |
int | allocation |
External variables for direct call to PIP. More... | |
long int | cross_product |
long int | limit |
char * | Attr [] = {"Unit", "+", "-", "0", "*", "?"} |
h : le nombre de ligne reelles; n : le nombre de lignes virtuelles
Definition at line 113 of file tab.c.
References allocation, A::bout, Entier, exit, L::flags, T::height, int, malloc(), max, L::objet, A::precedent, printf(), T::row, tab_base, TAB_CHUNK, tab_free, tab_top, L::unit, Unit, L::val, T::width, and Zero.
Referenced by tab_get().
void tab_display | ( | Tableau * | p, |
FILE * | foo | ||
) |
char* tab_hwm | ( | ) |
Definition at line 92 of file tab.c.
References tab_free.
Referenced by compa_test(), pip_solve(), pip_solve_min_with_big(), and traiter().
void tab_init | ( | ) |
Definition at line 77 of file tab.c.
References allocation, A::bout, exit, malloc(), A::precedent, printf(), tab_base, tab_free, and tab_top.
Referenced by pip_solve(), and pip_solve_min_with_big().
void tab_reset | ( | char * | p | ) |
Definition at line 97 of file tab.c.
References allocation, A::bout, free(), A::precedent, printf(), tab_base, tab_free, and tab_top.
|
extern |
External variables for direct call to PIP.
Definition at line 92 of file pip.c.
Referenced by tab_alloc(), tab_init(), and tab_reset().
char* Attr[] = {"Unit", "+", "-", "0", "*", "?"} |
Definition at line 179 of file tab.c.
Referenced by tab_display().
|
extern |
Definition at line 91 of file pip.c.
Referenced by pip_solve(), pip_solve_min_with_big(), and tab_display().
|
static |
Definition at line 73 of file tab.c.
Referenced by tab_alloc(), tab_init(), and tab_reset().
|
static |
Definition at line 72 of file tab.c.
Referenced by tab_alloc(), tab_hwm(), tab_init(), and tab_reset().
|
static |
Definition at line 72 of file tab.c.
Referenced by tab_alloc(), tab_init(), and tab_reset().