s_fm_compsol Struct Reference

#include <compsol.h>


Data Fields

s_fm_solution_tredeq
s_fm_solution_tredfree
s_fm_solution_tpoly
 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.


Detailed Description

A compacted solution, composed of a convex polyhedron and a set of equalities for linearly dependent variables of the system.

Field Documentation

s_fm_solution_t* s_fm_compsol::redeq

s_fm_solution_t* s_fm_compsol::redfree

List of equations to build dependent variables

s_fm_solution_t* s_fm_compsol::poly

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.


The documentation for this struct was generated from the following file:
Generated on Thu Oct 30 13:38:21 2008 for FM by  doxygen 1.5.3