/// <summary> Adds the specified set relation to the knowledge of this workspace. </summary> public void Add(SetRelation relation) { Contract.Requires(relation != null); this.setRelations.Add(relation); }
/// <summary> Adds the specified set relation to the knowledge of this set relations tracker. </summary> public void Add(SetRelation relation) { Contract.Requires(relation != null); Add(relation.LeftOperand, relation.RightOperand, relation.Relation); }