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"

Include dependency graph for sc_simplex_feasibility.c:

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...

Detailed Description

This file provides a function to test whether a constraint system is feasible, using simplex method.

Definition in file sc_simplex_feasibility.c.

Macro Definition Documentation

◆ WNOGMP

#define WNOGMP (fprintf(stderr, "[" __FILE__ "] linear was compiled without GMP support\n"))

Definition at line 43 of file sc_simplex_feasibility.c.

Function Documentation

◆ sc_simplex_feasibility_ofl_ctrl()

bool sc_simplex_feasibility_ofl_ctrl	(	Psysteme	sys,
		int	ofl_ctrl
	)

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.

 {
         if (usegmp()) {
 #ifdef HAVE_GMP_H
                 return sc_simplex_feasibility_ofl_ctrl_mulprec(sys, ofl_ctrl);
 #else
                 WNOGMP;
                 return sc_simplex_feasibility_ofl_ctrl_fixprec(sys, ofl_ctrl);
 #endif
         }
         else {
                 return sc_simplex_feasibility_ofl_ctrl_fixprec(sys, ofl_ctrl);
         }
 }

References sc_simplex_feasibility_ofl_ctrl_fixprec(), usegmp(), and WNOGMP.

Referenced by sc_simplexe_feasibility_ofl_ctrl_timeout_ctrl().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ usegmp()

static bool usegmp ( )

static

Definition at line 45 of file sc_simplex_feasibility.c.

 {
         char* env = getenv("LINEAR_USE_GMP");
         return env && atoi(env) != 0;
 }

References env.

Referenced by sc_simplex_feasibility_ofl_ctrl().