diff options
Diffstat (limited to 'src/generic/problemresolver/tier_limits.cc')
| -rw-r--r-- | src/generic/problemresolver/tier_limits.cc | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/src/generic/problemresolver/tier_limits.cc b/src/generic/problemresolver/tier_limits.cc index e8c9a5b0..495f895f 100644 --- a/src/generic/problemresolver/tier_limits.cc +++ b/src/generic/problemresolver/tier_limits.cc @@ -20,8 +20,20 @@ #include "tier_limits.h" +const int tier_limits::maximum_level; +const int tier_limits::conflict_structural_level; +const int tier_limits::defer_structural_level; +const int tier_limits::already_generated_structural_level; +const int tier_limits::minimum_level; + const tier tier_limits::maximum_tier(tier_limits::maximum_level); const tier tier_limits::conflict_tier(tier_limits::conflict_structural_level); const tier tier_limits::already_generated_tier(tier_limits::already_generated_structural_level); const tier tier_limits::defer_tier(tier_limits::defer_structural_level); const tier tier_limits::minimum_tier(tier_limits::minimum_level); + +const tier_operation tier_limits::increase_to_maximum_op(tier_operation::make_advance_structural_level(maximum_level)); +const tier_operation tier_limits::increase_to_conflict_op(tier_operation::make_advance_structural_level(conflict_structural_level)); +const tier_operation tier_limits::increase_to_already_generated_op(tier_operation::make_advance_structural_level(already_generated_structural_level)); +const tier_operation tier_limits::increase_to_defer_op(tier_operation::make_advance_structural_level(defer_structural_level)); +const tier_operation tier_limits::minimum_op; |