PIPS
|
#include <stdio.h>
#include "genC.h"
#include "linear.h"
#include "ri.h"
#include "ri-util.h"
#include "constants.h"
#include "misc.h"
#include "arithmetique.h"
#include "boolean.h"
#include "vecteur.h"
#include "contrainte.h"
#include "sc.h"
#include "properties.h"
#include "hyperplane.h"
Go to the source code of this file.
Functions | |
int | set_hyperplane_parameters (int argc, argv) |
package hyperplane More... | |
package hyperplane
Yi-qing Yang, June 1990 analyzes command line options and returns the index of the first argument in argv[]
get Pips default properties
set semantics default properties
check and set execution parameters; should be done with pips_flag_get() from the parameters package to avoid inconsistencies
let's take care of that later
implied flags, non resettable
set_bool_property(ONE_TRIP_DO, truth);
this implies flow sensitivity, i.e. convex hull computation; non resettable
debug level cannot be inversed, but can be zeroed
a 0 debug level is equivalent to no debug a negative debug level is meaningless
set/reset truth
two parameters at least are needed
Definition at line 54 of file options.c.
References HYPERPLANE_OPTIONS, optarg, optind, pips_flag_p, PRETTYPRINT_EXECUTION_CONTEXT, PRETTYPRINT_TRANSFORMER, SEMANTICS_DEBUG_LEVEL, SEMANTICS_FIX_POINT, SEMANTICS_FLOW_SENSITIVE, SEMANTICS_INEQUALITY_INVARIANT, SEMANTICS_INTERPROCEDURAL, SEMANTICS_STDOUT, set_bool_property(), set_int_property(), and user_error.