+
Point of view
All features
class CLARG_AND
is False
constant attribute
require
ensure
- Result implies is_set
- not is_repeatable implies Result = is_set
require
ensure
- not is_set_at(context)
- not is_repeatable implies not is_set
require
- a_left /= Void
- a_right /= Void