Next: , Previous: BML Primary Expressions, Up: Predicates and Specification Expressions


5.4 BML Operators

BML supports the same operators as JML:

Their syntax and semantics is defined in Section 11.6 of JML Reference Manual.