MinDomainSizes Class Reference

#include <MinDomainSizes.h>

List of all members.

Public Member Functions
	MinDomainSizes (Decomposition &decomposition)
	Constructor.
void	init (const vlist_type &uninstantiatedVariables)
void	init (Variable &variable, Domain &domain)
void	done ()
	Clean up the cache.
void	setVariable (const Variable &variable)
size_t	minDomainSize (const Value &value) const
const hash_map< const Value *, size_t > &	minDomainSizes (const Variable &variable) const
bool	contains (const Variable &variable) const
void	clear ()
	Clear the entire cache.
bool	empty ()
	Return `true' if the cache is empty, `false' otherwise.

---

Detailed Description

A cache that remembers the post-propagation minimum domain sizes for values.

---

Member Function Documentation

bool MinDomainSizes::contains (  const Variable &  variable  )  const [inline]

Check whether or not the cache contains data for the values of a given variable. Parameters: variable  the variable to be looked up. Returns: `true' if the cache contains post-propagation minimum domain sizes for variable's values, `false' otherwise.

void MinDomainSizes::init (  Variable &  variable, Domain &  domain )

Calculate the post-propagation minimum domain sizes for the values in the domain of the given variable. Parameters: variable  the variable whose values are to be considered. domain  the variable's domain (not available as variable.domain(), as per the logic in Decomposition::selectValue()).

void MinDomainSizes::init (  const vlist_type &  uninstantiatedVariables  )

Calculate the post-propagation minimum domain sizes for all the variables.

size_t MinDomainSizes::minDomainSize (  const Value &  value  )  const

Return the post-propagation minimum domain sizes of a given value. Parameters: value  the value whose post-propagation minimum domain sizes is to be calculated. Returns: the post-propagation minimum domain sizes of the given value.

const hash_map< const Value *, size_t > & MinDomainSizes::minDomainSizes (  const Variable &  variable  )  const

Return the map of post-propagation minimum domain sizes for the values belonging to the domain of a given variable. Parameters: variable  the variable whose values we're interested in. Returns: a hash table of post-propagation minimum domain sizes.

void MinDomainSizes::setVariable (  const Variable &  variable  )  [inline]

Set the variable whose values are to be looked at. Parameters: variable  the variable whose values are to be looked at.

---

The documentation for this class was generated from the following files:

• MinDomainSizes.h
• MinDomainSizes.cc

---