astar/Domain.h

Concepts a search problem has to satisfy in order to be searched by the algorithms of the library, and for the few type helpers built upon them. More...

Files
file	Domain.h
	Header file for the concepts a search problem has to satisfy in order to be searched by the algorithms of the library, and for the few type helpers built upon them.

Concepts
concept	PBeFS_di_unipi_it::Domain
	a search domain
concept	PBeFS_di_unipi_it::FeatureDomain
	a Domain whose states are described by a set of features
concept	PBeFS_di_unipi_it::IncrementalFeatureDomain
	a FeatureDomain that also gives the features changed by a move
concept	PBeFS_di_unipi_it::AbstractFeatureDomain
	a FeatureDomain that also provides a feature projection
concept	PBeFS_di_unipi_it::AbstractStateDomain
	a Domain with a state abstraction
concept	PBeFS_di_unipi_it::NBlockDomain
	a Domain whose state space is partitioned into nblocks
concept	PBeFS_di_unipi_it::PairwiseDomain
	a Domain with a heuristic between any two states
concept	PBeFS_di_unipi_it::OperatorDomain
	a Domain that knows the operator by which a state was generated
concept	PBeFS_di_unipi_it::PerfectHashDomain
	a Domain with a perfect hash of its states

Classes
struct	OperatorOf< D >
	the operator that generated a state, kept in a message [see OperatorDomain]; an empty type, with op always no_op, when D is not an OperatorDomain, so that a message with [[no_unique_address]] on it does not grow More...
struct	OperatorOf< D >

Detailed Description

Concepts a search problem has to satisfy in order to be searched by the algorithms of the library, and for the few type helpers built upon them.