AlgebraicKernel_d_2::BoundBetweenX_2

Definition

Computes a number of type AlgebraicKernel_d_1::Bound in-between the first coordinates of two AlgebraicKernel_d_2::AlgebraicReal_2.

Refines

AdaptableBinaryFunction

Types

typedef AlgebraicKernel_d_1::Bound
result_type;
typedef AlgebraicKernel_d_2::Algebraic_real_2
first_argument_type;
typedef AlgebraicKernel_d_2::Algebraic_real_2
second_argument_type;

Operations

result_type fo ( first_argument_type a , second_argument_type b )
Computes a number of type AlgebraicKernel_d_1::Bound in-between the first coordinates of a and b.
Precondition: ax bx.

See Also

AlgebraicKernel_d_2::BoundBetweenY_2