Esempio n. 1
0
		/// <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);
		}
Esempio n. 2
0
		/// <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);
		}