CodePlexProject Hosting for Open Source Software
For universal quantifier, we know we can use:
e.g. forall( unsigned k; k<max; f(k)== true) for specification contracts
How can we do so in case of existential quantifier?
for e.g. for some unsigned x; x<10; f(x) is true.
Hi,
in addition to forall() there is also exists() with the same syntax as forall().
Hope that helps, Mark
yaa..
Thanks
Are you sure you want to delete this post? You will not be able to recover it later.
Are you sure you want to delete this thread? You will not be able to recover it later.