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.

• If then else
• Logical Connectives
• Equality Terms and Quantifiers
• Informal Descriptions
• LSL Operator Terms
• Brackets and Braces
• Primaries
• Primitives
• Primary Suffixes
• Larch/C++ Special Primaries

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