[Cs5500] [CS4800] HSRInstanceSet Question

[Karl Lieberherr]

Hi Alex:

you give a great alternative explanation which I would like to share with
the class.

-- Karl

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

> Professor Lieberherr,
>
> That does clear it up. If I'm understanding you correctly, we are simply
> using the HSRInstanceSet in this case to keep the SCG playground happy, and
> are really worried about the underlying HSRInstance. That clarifies my
> problem immensely. Thank you for your speedy response.
>
> Best,
> Alex Metzger
> asm at ccs.neu.edu
>
>
> On Nov 1, 2011, at 9:35 PM, Karl Lieberherr wrote:
>
> 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