#include <compsol.h>
Data Fields | |
s_fm_solution_t * | redeq |
s_fm_solution_t * | redfree |
s_fm_solution_t * | poly |
List of constraints for free variables. | |
unsigned | size |
Compacted (convex) polyhedron. | |
unsigned | nb_reduc |
Size of the expanded polyhedron. | |
unsigned | nb_free |
Number of equality reduced variables. | |
unsigned | empty |
Number of free variables. |
List of equations to build dependent variables
List of constraints for free variables.
unsigned s_fm_compsol::size |
Compacted (convex) polyhedron.
unsigned s_fm_compsol::nb_reduc |
Size of the expanded polyhedron.
unsigned s_fm_compsol::nb_free |
Number of equality reduced variables.
unsigned s_fm_compsol::empty |
Number of free variables.