Parameters with prefix compression/largestrepr. More...
Variables | |
constexpr Param< int > | ITERATIONS { "compression/largestrepr/iterations" } |
number of runs in the constrained part. | |
constexpr Param< int > | MINCOMMONVARS { "compression/largestrepr/mincommonvars" } |
minimal number of common variables. | |
constexpr Param< int > | MINNLEAVES { "compression/largestrepr/minnleaves" } |
minimal number of leave nodes for calling tree compression <largestrepr> | |
constexpr Param< int > | PRIORITY { "compression/largestrepr/priority" } |
priority of compression <largestrepr> | |
Parameters with prefix compression/largestrepr.
|
constexpr |
number of runs in the constrained part.
Definition at line 560 of file parameters.hpp.
|
constexpr |
minimal number of common variables.
Definition at line 562 of file parameters.hpp.
|
constexpr |
minimal number of leave nodes for calling tree compression <largestrepr>
Definition at line 558 of file parameters.hpp.
|
constexpr |
priority of compression <largestrepr>
Definition at line 556 of file parameters.hpp.