Aleph::CompleteSolutionPredicate Concept Reference

Concept for complete-solution predicates in optimization domains. More...

#include <Branch_And_Bound.H>

Concept definition

template<typename Domain>
concept Aleph::CompleteSolutionPredicate =  requires(Domain &domain, const typename Domain::State &state) {
  { domain.is_complete(state) } -> std::convertible_to<bool>;
}

Detailed Description

Concept for complete-solution predicates in optimization domains.

Definition at line 252 of file Branch_And_Bound.H.