All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Macros Groups Pages
pub_presol.h File Reference Detailed Descriptionpublic methods for presolvers Definition in file pub_presol.h. Go to the source code of this file. Function Documentation
compares two presolvers w. r. to their priority
comparison method for sorting presolvers w.r.t. to their name
gets user data of presolver
sets user data of presolver; user has to free old data in advance!
gets name of presolver
gets description of presolver
gets priority of presolver
gets round limit of presolver
gets the timing mask of the presolver
sets the timing mask of the presolver
should presolver be delayed, if other presolvers found reductions?
was presolver delayed at the last call?
is presolver initialized?
gets time in seconds used in this presolver for setting up for next stages
gets time in seconds used in this presolver
gets number of variables fixed in presolver
gets number of variables aggregated in presolver
gets number of variable types changed in presolver
gets number of bounds changed in presolver
gets number of holes added to domains of variables in presolver
gets number of constraints deleted in presolver
gets number of constraints added in presolver
gets number of constraints upgraded in presolver
gets number of coefficients changed in presolver
gets number of constraint sides changed in presolver
gets number of times the presolver was called and tried to find reductions
|