previous up next
Go backward to Example
Go up to Top
Go forward to Conditional Terms and Formulas
RISC-Linz logo

Conditional Function Definitions

Result defined in multiple ways:

f(x0, ..., xn-1) := T0, if F
                          T1, otherwise


f(x0, ..., xn-1) := if F then T0 else T1

Introduction of a new kind of terms.

Author: Wolfgang Schreiner
Last Modification: October 14, 1999

previous up next