Aleph::OptimizationEvaluator Concept Reference

Concept for domains that provide an objective and an optimistic bound. More...

#include <Branch_And_Bound.H>

Concept definition

template<typename Domain>
concept Aleph::OptimizationEvaluator =  requires(Domain &domain, const typename Domain::State &state) {
  typename Domain::Objective;
  { domain.objective_value(state) } -> std::convertible_to<typename Domain::Objective>;
  { domain.bound(state) } -> std::convertible_to<typename Domain::Objective>;
}

Detailed Description

Concept for domains that provide an objective and an optimistic bound.

Definition at line 258 of file Branch_And_Bound.H.