// <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; }