[Cs5500] [CS4800] HSRInstanceSet Question

[Karl Lieberherr]

Hi Alex:

keep in mind that SCG Court is a teaching platform for thousands of
different playgrounds of which HSR is only one. SCG Court is therefore
general and HSR does not need all this generality.

As you say, XYZInstanceSet is in general a set of instances over which we
quantify with an existential
or a universal quantifier. It happens that for HSR the HSRInstanceSet
contains only one instance which
makes the provide function trivial. But this is not the case in other
playgrounds, like MMG (see hw1).

Does this make sense?

-- Karl

On Tue, Nov 1, 2011 at 9:03 PM, Alex Metzger <asm at ccs.neu.edu> wrote:

> Professor Lieberherr,
>
> I'm getting confused about some more aspects of the organization of the
> HSR Playground dataset. My biggest question is the purpose of the
> HSRInstanceSet type. Is this just a singleton class representing a single
> HSRInstance? Is it supposed to be a list of HSRInstances? The documentation
> of the purpose of this type is sparse, it's referenced in HSRClaim but it
> seems like just a wrapper for HSRInstances with no additional functionality
> added. Is this the case, or is there something that this class is supposed
> to be doing that would represent more than on HSRInstance?
>
> Thank you for your time.
>
> Best,
> Alex Metzger
> asm at ccs.neu.edu
-------------- next part --------------
HTML attachment scrubbed and removed