Aleph-w 3.0
A C++ Library for Data Structures and Algorithms
Loading...
Searching...
No Matches
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>;
}
Concept for domains that provide an objective and an optimistic bound.
@ Domain
Preserve the order emitted by for_each_successor().

Detailed Description

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

Definition at line 258 of file Branch_And_Bound.H.