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

*To*: pvs-help@csl.sri.com*Subject*: problem in pvs*From*: Pieter Audenaert <paudenae@cage.rug.ac.be>*Date*: Mon, 14 Feb 2000 09:22:55 +0000 (WET)*Delivery-Date*: Mon Feb 14 00:27:43 2000

Hi! We are working with PVS at the University of Gent, Belgium. Can you help us with the following problem: We want to extend the set of integers in pvs with 1 extra symbol, creating a superset. We have to do this in the following context: suppose you have a function f [int->int], but somewhere in the domain we want to map f to the new symbol, call it 'a'. This value doensn't need to have integer-properties. All we need is a set which contains all integers, and an extra value a. Everything I tried didn't work. Any suggestions? Thanks in advance. Best regards, Pieter Audenaert University of Gent, Belgium Department of Pure Mathematics and ComputerAlgebra

- Prev by Date:
**Re: emacs: Cannot Execute Error** - Next by Date:
**Array bounds checking** - Prev by thread:
**Array bounds checking** - Next by thread:
**emacs: Cannot Execute Error** - Index(es):