Aleph::VisitedStateSet Concept Reference

Concept for a set suitable for tracking globally visited states. More...

#include <state_search_common.H>

Concept definition

template<typename Set, typename Key>
concept Aleph::VisitedStateSet =  requires(Set &set, const Key &key) {
  { set.contains(key) } -> std::convertible_to<bool>;
  set.insert(key);
}

Detailed Description

Concept for a set suitable for tracking globally visited states.

Compatible with Aleph::SearchStorageSet and the Aleph DynHashSet family. The engine uses contains(key) to check for prior visits and insert(key) to record a new one. Inserting an already-present key must be a no-op.

Template Parameters

Set	Container type.
Key	State key type.

Definition at line 146 of file state_search_common.H.