probfd::occupation_measures Namespace Reference

Description

Namespace dedicated to occupation measure heuristic base classes.

Namespace dedicated to occupation measure heuristics.

Classes
class	HigherOrderHPOMGenerator
	Implements the optimal operator cost partitioning heuristic over a set of PDBs. More...
class	HPOMGenerator
	Implements the projection occupation measure heuristic constraints [13] . More...
class	HROCGenerator
	Implements the regrouped operator counting heuristic constraints [13] . More...

Functions
std::vector< int >	pasmt_to_vector (const auto &fact_range, int num_variables)
	Casts a range of facts representing a partial variable assignment to a vector containing -1 for each variable that is not assigned and otherwise the assigned value.

Function Documentation

pasmt_to_vector()

std::vector< int > probfd::occupation_measures::pasmt_to_vector	(	const auto &	fact_range,
		int	num_variables )

Casts a range of facts representing a partial variable assignment to a vector containing -1 for each variable that is not assigned and otherwise the assigned value.