DomainSizes Class Reference

#include <DomainSizes.h>

List of all members.

Public Member Functions
	DomainSizes ()
	Constructor.
size_t	domainSize (const Variable &variable)
void	updateDomainSize (const Variable &variable)
void	clear ()
	Clear the entire cache.
bool	empty ()
	Return `true' if the cache is empty, `false' otherwise.

---

Detailed Description

A cache of domain size values.

---

Member Function Documentation

size_t DomainSizes::domainSize (  const Variable &  variable  )

Return the domain size of a given variable. If the variable's domain size is not yet in the cache, calculate it and insert it there. Parameters: variable  the variable whose domain size is to be calculated. Returns: the domain size of the given variable.

void DomainSizes::updateDomainSize (  const Variable &  variable  )

Update the domain size of a given variable. Parameters: variable  the variable whose domain size is to be updated.

---

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

• DomainSizes.h
• DomainSizes.cc

---