Lines Matching full:boolean

72 /// \param expr A boolean expression.
91 /// boolean condition.  If you want to provide a custom error message, use
94 /// \param expr A boolean expression describing the invariant.
103 /// \param expr A boolean expression describing the invariant.
114 /// boolean condition.  If you want to provide a custom error message, use
117 /// \param expr A boolean expression describing the precondition.
126 /// \param expr A boolean expression describing the precondition.
137 /// boolean condition.  If you want to provide a custom error message, use
140 /// \param expr A boolean expression describing the postcondition.
149 /// \param expr A boolean expression describing the postcondition.
163 /// boolean condition.  If you want to provide a custom error message, use