Parameters with prefix compression/weakcompr. More...
Variables | |
constexpr Param< bool > | CONVERTCONSS { "compression/weakcompr/convertconss" } |
convert constraints into nodes | |
constexpr Param< int > | MINNLEAVES { "compression/weakcompr/minnleaves" } |
minimal number of leave nodes for calling tree compression <weakcompr> | |
constexpr Param< int > | PRIORITY { "compression/weakcompr/priority" } |
priority of compression <weakcompr> | |
Parameters with prefix compression/weakcompr.
|
constexpr |
convert constraints into nodes
Definition at line 571 of file parameters.hpp.
|
constexpr |
minimal number of leave nodes for calling tree compression <weakcompr>
Definition at line 569 of file parameters.hpp.
|
constexpr |
priority of compression <weakcompr>
Definition at line 567 of file parameters.hpp.