Concept definition

template<typename T>

concept Aleph::SearchMove = Aleph::ArrayStorable<T> and std::copyable<T>

Aleph::ArrayStorable

An element type the Aleph arrays can store.

Definition ah-concepts.H:407

Aleph::SearchMove

Minimal requirement for search moves.

Definition state_search_common.H:99

Aleph::and

and

Check uniqueness with explicit hash + equality functors.

Definition ahFunctional.H:2648

Detailed Description

Minimal requirement for search moves.

Moves are stored in Aleph arrays (SearchPath) to preserve a reconstruction path and to support move-ordering policies, so they must be ArrayStorable; they are also appended and copied by value (path.append(move), path snapshots), so they must be copyable, assignment included.

Definition at line 99 of file state_search_common.H.