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

*To*: pvs-help@csl.sri.com*Subject*: union variable binding operator*From*: Mark Aronszajn <aronsz@csee.wvu.edu>*Date*: Fri, 24 Sep 1999 17:01:55 -0400 (EDT)

I'm pretty sure that PVS has a variable binding operator for unions (or a function from set&function pairs to sets), like there is for summing: sum(S: set, f:[S -> int]) but I can't find it... Isn't there such a thing? I.e. an operator 'union' so that where R is some set of sets | | union(S: set, f: [S -> set]) = | | f(x) \___/ forall x in S ?? Thanks, sorry if I'm missing something obvious... Mark Aronszajn

- Prev by Date:
**Re: using grind** - Next by Date:
**sorry, slight slip in my query** - Prev by thread:
**sorry, slight slip in my query** - Next by thread:
**Re: union variable binding operator** - Index(es):