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

[PVS-HELP] Function type extend problem



Dear Everyone:
 
I want to extend the function type.
Example:
T=TYPE+;
a: T;
T_without_a: TYPE={x:T|x/=a}
How I can define a FUNCTION TYPE "a" maps to bool, others map to real.
Can DATATYPE solve it?
 
Best regards
Song