Parameters with prefix constraints/countsols. More...
Variables | |
constexpr Param< bool > | ACTIVE { "constraints/countsols/active" } |
is the constraint handler active? | |
constexpr Param< bool > | COLLECT { "constraints/countsols/collect" } |
should the solutions be collected? | |
constexpr Param< bool > | DELAYPROP { "constraints/countsols/delayprop" } |
should propagation method be delayed, if other propagators found reductions? | |
constexpr Param< bool > | DELAYSEPA { "constraints/countsols/delaysepa" } |
should separation method be delayed, if other separators found cuts? | |
constexpr Param< bool > | DISCARDSOLS { "constraints/countsols/discardsols" } |
is it allowed to discard solutions? | |
constexpr Param< int > | EAGERFREQ { "constraints/countsols/eagerfreq" } |
frequency for using all instead of only the useful constraints in separation, propagation and enforcement (-1: never, 0: only in first evaluation) | |
constexpr Param< int > | MAXPREROUNDS { "constraints/countsols/maxprerounds" } |
maximal number of presolving rounds the constraint handler participates in (-1: no limit) | |
constexpr Param< int > | PRESOLTIMING { "constraints/countsols/presoltiming" } |
timing mask of the constraint handler's presolving method (4:FAST, 8:MEDIUM, 16:EXHAUSTIVE, 32:FINAL) | |
constexpr Param< int > | PROPFREQ { "constraints/countsols/propfreq" } |
frequency for propagating domains (-1: never, 0: only in root node) | |
constexpr Param< int > | PROPTIMING { "constraints/countsols/proptiming" } |
timing when constraint propagation should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS) | |
constexpr Param< int > | SEPAFREQ { "constraints/countsols/sepafreq" } |
frequency for separating cuts (-1: never, 0: only in root node) | |
constexpr Param< long long > | SOLLIMIT { "constraints/countsols/sollimit" } |
counting stops, if the given number of solutions were found (-1: no limit) | |
constexpr Param< bool > | SPARSETEST { "constraints/countsols/sparsetest" } |
should the sparse solution test be turned on? | |
Parameters with prefix constraints/countsols.
|
constexpr |
is the constraint handler active?
Definition at line 993 of file parameters.hpp.
|
constexpr |
should the solutions be collected?
Definition at line 999 of file parameters.hpp.
|
constexpr |
should propagation method be delayed, if other propagators found reductions?
Definition at line 989 of file parameters.hpp.
|
constexpr |
should separation method be delayed, if other separators found cuts?
Definition at line 987 of file parameters.hpp.
|
constexpr |
is it allowed to discard solutions?
Definition at line 997 of file parameters.hpp.
|
constexpr |
frequency for using all instead of only the useful constraints in separation, propagation and enforcement (-1: never, 0: only in first evaluation)
Definition at line 983 of file parameters.hpp.
|
constexpr |
maximal number of presolving rounds the constraint handler participates in (-1: no limit)
Definition at line 985 of file parameters.hpp.
|
constexpr |
timing mask of the constraint handler's presolving method (4:FAST, 8:MEDIUM, 16:EXHAUSTIVE, 32:FINAL)
Definition at line 991 of file parameters.hpp.
|
constexpr |
frequency for propagating domains (-1: never, 0: only in root node)
Definition at line 978 of file parameters.hpp.
|
constexpr |
timing when constraint propagation should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS)
Definition at line 980 of file parameters.hpp.
|
constexpr |
frequency for separating cuts (-1: never, 0: only in root node)
Definition at line 976 of file parameters.hpp.
|
constexpr |
counting stops, if the given number of solutions were found (-1: no limit)
Definition at line 1001 of file parameters.hpp.
|
constexpr |
should the sparse solution test be turned on?
Definition at line 995 of file parameters.hpp.