BinaryExpression concept

Description

Expressions with two arguments.

A BinaryExpression is almost a AdaptableBinaryFunction but an Expression is not Assignable.

Refinement of

Expression.

Associated types

In addition to those of Expression:
Argument type X::first_argument_type The type of the first argument in the expression
Argument type X::second_argument_type The type of the second argument in the expression

Notation

X A type that is a model of BinaryExpression
x Object of type X
a Object of type X::first_argument_type
b Object of type X::second_argument_type

Definitions

Valid expressions

In addition to those of Expression:
Name Expression Type requirements Return type
Constructor X x(a,b); X&
Argument x.first_argument() X::first_argument_type
Argument x.second_argument() X::second_argument_type

Expression semantics

Name Expression Precondition Semantics Postcondition
Constructor X x(a,b);
Argument x.first_argument()
Argument x.second_argument()

Complexity guarantees

Invariants

Notes