Description
Create a new ExpressionSet that operates similar to an AttributeSet for keeping track of constraints. A nice addition to this will be to try and have it do other type of canonicalization (i.e. don't allow both a = b and b = a).
Create a new ExpressionSet that operates similar to an AttributeSet for keeping track of constraints. A nice addition to this will be to try and have it do other type of canonicalization (i.e. don't allow both a = b and b = a).