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