/// <summary> Adds the specified enumeration relation to the knowledge of this workspace. </summary>
public void Add(EnumerationRelation relation)
{
Contract.Requires(relation != null);
this.enumerationRelations.Add(relation);
}
public override void AddEnumerableOrAppendableRule(Set enumerableOrAppendableSet, params Notion[] elements)
{
Contract.Requires(elements != null);
Contract.RequiresForAll(elements, NotNull);
Contract.Requires(elements.Select(e => e.Domain).AreEqualByRef());
EnumerationRelation relation;
if (enumerableOrAppendableSet.IsAppendable)
relation = new EnumerationRelation(elements.ToList(), enumerableOrAppendableSet);
else
relation = new EnumerationRelation(new ReadOnlyCollection<Notion>(elements), enumerableOrAppendableSet);
this.enumerationRelations.Add(relation);
}
public void Add(EnumerationRelation relation)
{
this.relations.Add(relation);
}
