previous up next
Go backward to Examples
Go up to Top
Go forward to Example
RISC-Linz logo

Constrained Predicate Definitions

Global conditions:

Translation:

Q(x) : <=> P(x) /\  F

Implicit conditions have to be added to definition.


Author: Wolfgang Schreiner
Last Modification: October 14, 1999

previous up next