[Cs5500] Reflection on yesterday: Testing the API of SCG Court

[Karl Lieberherr]

Yesterday the class challenged the current API of SCG Court.
You were trying to refute and I was defending it.
While we had temporary impressions that there is something wrong
with the API, in the end we found the API to be just right.

We have 3 kinds of validity checks:
for instances, called belongsTo
for instance sets, called valid
and for solutions also called valid.

If you think the API is not right, send the class a proposal and we
will try to refute it
and you must be prepared to defend it :-)

-- Karl