PIPS
|
This file provides a function to test whether a constraint system is feasible, using simplex method. More...
#include <stdlib.h>
#include "boolean.h"
#include "linear_assert.h"
#include "vecteur.h"
#include "contrainte.h"
#include "sc.h"
Go to the source code of this file.
Macros | |
#define | WNOGMP (fprintf(stderr, "[" __FILE__ "] linear was compiled without GMP support\n")) |
Functions | |
static bool | usegmp () |
bool | sc_simplex_feasibility_ofl_ctrl (Psysteme sys, int ofl_ctrl) |
Main Function. More... | |
This file provides a function to test whether a constraint system is feasible, using simplex method.
Definition in file sc_simplex_feasibility.c.
#define WNOGMP (fprintf(stderr, "[" __FILE__ "] linear was compiled without GMP support\n")) |
Definition at line 43 of file sc_simplex_feasibility.c.
Main Function.
Determine whether a system sys of equations and inequations is feasible. Parameter ofl_ctrl indicates whether an overflow control is performed (possible values: NO_OFL_CTRL
, FWD_OFL_CTRL
).
Definition at line 61 of file sc_simplex_feasibility.c.
References sc_simplex_feasibility_ofl_ctrl_fixprec(), usegmp(), and WNOGMP.
Referenced by sc_simplexe_feasibility_ofl_ctrl_timeout_ctrl().
|
static |
Definition at line 45 of file sc_simplex_feasibility.c.
References env.
Referenced by sc_simplex_feasibility_ofl_ctrl().