Go to the first, previous, next, last section, table of contents.


6.1 Predicates

A predicate is a term with sort Bool. The syntax of terms is taken from LSL [Guttag-Horning93], with a few Larch/C++ specific additions.

predicate ::= term

In general, a term need not have sort Bool, but if it is used as a predicate, then it must have sort Bool. More detail on the various kinds of terms is found below.


Go to the first, previous, next, last section, table of contents.