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

Re: [PVS-Help] pvs-strategies

you may write arbitrary lisp code in the pvs-strategies file. For example,
you could write

(load "<mystrategies>")

to include the file <mystrategies> in pvs-strategies. Alternatively, you
could pack your strategies as "prelude library extensions". Field, Manip,
PVSio (avaialable as part of the NASA PVS libraries) are good examples on
how to do that.


robert said:
> Is there a way of "including" other strategy files from within
> pvs-strategies?  I'd like to partition my strategies into separate files
> which I can pick and choose from for a particular example.
> Perhaps there is a theory-level command for including other strategy
> files.
> Thanks,
> Rob

Cesar A. Munoz H., Senior Staff Scientist
National Institute of Aerospace
144 Research Drive
Hampton, VA 23666, USA
Tel. +1 (757) 766 1539 Fax +1 (757) 766 1855