BranchingFactors Class Reference

#include <BranchingFactors.h>

List of all members.

Public Types
enum	Preference { Minimum, Maximum }
Public Member Functions
	BranchingFactors (Decomposition &decomposition, Preference=Minimum)
	Constructor.
void	init (const vlist_type &uninstantiatedVariables)
	Calculate the branching factors for all the variables.
void	init (Variable &variable, Domain &domain)
void	done ()
	Clean up the cache.
void	setVariable (const Variable &variable)
size_t	branchingFactor (const Value &value) const
const hash_map< const Value *, size_t > &	branchingFactors (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 branching factors for values.

---

Member Enumeration Documentation

enum BranchingFactors::Preference

Enumeration values: Minimum  Prefer the smallest branching factor. Maximum  Prefer the biggest branching factor.

---

Member Function Documentation

size_t BranchingFactors::branchingFactor (  const Value &  value  )  const

Return the branching factor of a given value. Parameters: value  the value whose branching factor is to be calculated. Returns: the branching factor of the given value.

const hash_map< const Value *, size_t > & BranchingFactors::branchingFactors (  const Variable &  variable  )  const

Return the map of branching factors 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 branching factors.

bool BranchingFactors::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 branching factors for variable's values, `false' otherwise.

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

Calculate the branching factors 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 BranchingFactors::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:

• BranchingFactors.h
• BranchingFactors.cc

---