ired Namespace Reference

Namespaces
namespace	graph

Classes
class	ArcticEvaluationPolicy
	Evaluation Strategy for Optimization (max/+); defining the arctic semiring. More...
class	Assignment
	A (partial) assignment of variables to values. More...
class	AssignmentIterator
	Iterate over the assignments of a subset of variables. More...
class	Cluster
	Cluster (or bag) in the cluster tree. More...
class	ClusterTree
	A tree of clusters (=variables, functions, constraints) More...
struct	container_selector
	Switching containers in MaterializedFuntion. More...
struct	container_selector< FunValue, mapS >
	Class implementing the specializations to enable instantiation of sparse materialized function classes. More...
struct	container_selector< FunValue, simple_mapS >
	Class implementing the specializations to enable space saving instantiation of sparse materialized function classes using the specialized 'map' implementation simple_map. More...
struct	container_selector< FunValue, vecS >
	Class implementing the specializations to enable instantiation of non-sparse materialized function classes. More...
class	Dependency
	Dependencies specify a dependency between variables. More...
class	FeatureNetwork
	the feature network More...
class	FiniteDomain
class	Function
	Functions evaluate assignments of a subset of variables. More...
struct	mapS
	map selector class More...
class	MaterializedFunction
	A materialized function. More...
class	PFEvaluationPolicy
	The evaluation policy to calculate partition functions. More...
struct	simple_mapS
	simple map selector class More...
class	SimpleMap
	Space saving replacement for map. More...
class	StdEvaluationPolicy
	define PFEvaluationPolicy as standard More...
class	StdEvaluationPolicy< bool >
	The evaluation policy to combine constraint values. Here, mul corresponds to &&, plus to ||, one to true, and zero to false. More...
struct	vecS
	vector selector class More...
struct	vector_nbv_sel
struct	vector_nbv_sel< bool >

Typedefs
using	FiniteDomainVector = std::vector< FiniteDomain >
using	Constraint = Function< bool >
	A constraint is simply a boolean-valued function.

Functions
template<class T >
std::ostream &	operator<< (std::ostream &out, const Function< T > &f)

Typedef Documentation

Constraint

using ired::Constraint = typedef Function<bool>

A constraint is simply a boolean-valued function.

FiniteDomainVector

using ired::FiniteDomainVector = typedef std::vector<FiniteDomain>

Function Documentation

operator<<()

template<class T >

std::ostream & ired::operator<< ( std::ostream &  out, const Function< T > &  f  )

inline