// <summary>
// Returns true if the domain contains the given Cell Constant
// </summary>
internal bool Contains(Constant constant)
{
return(m_domain.Contains(constant));
}
// effects: Creates an "fully-done" set with no values -- possibleDiscreteValues are the values
// that this domain can take
internal Domain(Constant value, IEnumerable <Constant> possibleDiscreteValues)
:
this(new[] { value }, possibleDiscreteValues)
{
}
// <summary>
// Creates a slot with constant value being <paramref name="value" />.
// </summary>
internal ConstantProjectedSlot(Constant value)
{
DebugCheck.NotNull(value);
Debug.Assert(value.IsNotNull() == false, "Cannot store NotNull in a slot - NotNull is only for conditions");
m_constant = value;
}
