Go to the first, previous, next, last section, table of contents.
Note: Due to interdependences between the suifmath and dependence class structures, the implementation of the linear inequalities with symbolic coefficients was moved to the dependence library in the current release.
The Library of linear inequalities with symbolic coefficients is still in the experimental stage. The interface may change in the next release. Use it at your own risk. There is no documentation on this library in this release. See the include file `dependence/named_symcoeff_ineq.h'. For additional information see the implementation in the files `dependence/named_sc_fm.h', `dependence/named_sc_init.cc', `dependence/named_sc_op.cc', `dependence/named_sc_fm.cc', `dependence/named_sc_pr.cc', `dependence/named_sc_dep.cc', `dependence/named_sc_merge.h', and `dependence/named_sc_merge.cc'.
Go to the first, previous, next, last section, table of contents.