PIPS
|
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include "linear.h"
#include "genC.h"
#include "ri.h"
#include "misc.h"
Go to the source code of this file.
Macros | |
#define | TCST_OLD_NAME "TERME_CONSTANT" /**compatibility to read old bases */ |
#define | TCST_NAME "." |
Functions | |
static void | print_token (FILE *fd, string s) |
print token More... | |
static string | read_token (int(*f)()) |
stop at ' ' or ')'. More... | |
void | vect_gen_write (FILE *fd, Pvecteur v) |
output is "([val var ]* )" More... | |
Pvecteur | vect_gen_read (FILE *fd __attribute__((unused)), int(*f)()) |
void | vect_gen_free (Pvecteur v) |
Pvecteur | vect_gen_copy_tree (Pvecteur v) |
int | vect_gen_allocated_memory (Pvecteur v) |
int | contrainte_gen_allocated_memory (Pcontrainte pc) |
#define TCST_NAME "." |
Definition at line 50 of file Pvecteur.c.
#define TCST_OLD_NAME "TERME_CONSTANT" /**compatibility to read old bases */ |
Definition at line 49 of file Pvecteur.c.
int contrainte_gen_allocated_memory | ( | Pcontrainte | pc | ) |
pc | c |
Definition at line 176 of file Pvecteur.c.
References Scontrainte::succ, vect_gen_allocated_memory(), and Scontrainte::vecteur.
Referenced by sc_gen_allocated_memory().
|
static |
print token
backslashify '\ )'
Definition at line 53 of file Pvecteur.c.
Referenced by vect_gen_write().
stop at ' ' or ')'.
handles '\' as a protection. returns a pointer to a static buffer.
static internal buffer
should be ok for most codes.
for current char and ending 0
Definition at line 70 of file Pvecteur.c.
References buf, f(), malloc(), and pips_assert.
Referenced by vect_gen_read().
Definition at line 168 of file Pvecteur.c.
References Svecteur::succ.
Referenced by contrainte_gen_allocated_memory(), initialize_newgen(), monome_gen_allocated_memory(), pips_init(), and sc_gen_allocated_memory().
Definition at line 163 of file Pvecteur.c.
References vect_copy().
Referenced by initialize_newgen(), main(), and pips_init().
void vect_gen_free | ( | Pvecteur | v | ) |
Definition at line 158 of file Pvecteur.c.
References vect_rm().
Referenced by initialize_newgen(), main(), and pips_init().
Definition at line 124 of file Pvecteur.c.
References entity_domain, entity_undefined_p, f(), gen_find_tabulated(), pips_assert, read_token(), same_string_p, sscan_Value(), TCST_NAME, TCST_OLD_NAME, vect_add_elem(), and vect_reversal().
void vect_gen_write | ( | FILE * | fd, |
Pvecteur | v | ||
) |
output is "([val var ]* )"
fd | d |
Definition at line 108 of file Pvecteur.c.
References entity_name, fprint_Value(), print_token(), Svecteur::succ, TCST_NAME, val_of, and Svecteur::var.
Referenced by initialize_newgen(), main(), monome_gen_write(), pips_init(), and sc_gen_write().