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