[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PVS-Help] Termination TCC

On Tue, Apr 22, 2008 at 09:50:12PM -0600, Jerry James wrote:
>> [Also, if anyone knows of a better way to apply a binary function over
>>  a set of values please speak up. For example, given the set {a, b, c,
>>  d}, I'd like to return min(a, min(b, min(c, d))).]
>Look at the finite_sets library.  In particular, finite_sets_sum seems to be
>pretty close to what you are looking for.

That did the trick! Thanks