Concept definition

template<typename Map, typename Key, typename Objective>
concept Aleph::VisitedBoundMap =  requires(Map &map, const Key &key, const Objective &obj) {
  map.insert(key, obj);
  map.remove(key);
  { map.search(key) == nullptr } -> std::convertible_to<bool>;
  map.search(key)->second = obj;
}

Detailed Description

Concept for a map tracking the best bound seen per visited state.

Compatible with Aleph::SearchStorageMap. The engine uses search(key) to probe for an existing bound and insert(key, bound) to record one. Updating an existing entry is done by mutating the value through the pointer returned by search.

Engines may use remove(key) to roll back the visited map if an exception occurs during exploration of a newly inserted state.

Template Parameters

Map	Container type.
Key	State key type.
Objective	Goal metric type.

Definition at line 163 of file state_search_common.H.