class

Focus::IntervalExpression

Inherits Focus::Expression / Reference / Object

Constructors

new(inner : Focus::Expression | Nil = nil)
Source

Instance methods

add(rhs : Focus::IntervalExpression) : Focus::IntervalExpression
Source
between(min : Focus::IntervalExpression, max : Focus::IntervalExpression) : Focus::BoolExpression
Source
eq(rhs : Focus::IntervalExpression) : Focus::BoolExpression
Source
greater_than(rhs : Focus::IntervalExpression) : Focus::BoolExpression
Source
greater_than_eq(rhs : Focus::IntervalExpression) : Focus::BoolExpression
Source
inner
Source
is_distinct_from(rhs : Focus::IntervalExpression) : Focus::BoolExpression
Source
is_not_distinct_from(rhs : Focus::IntervalExpression) : Focus::BoolExpression
Source
less_than(rhs : Focus::IntervalExpression) : Focus::BoolExpression
Source
less_than_eq(rhs : Focus::IntervalExpression) : Focus::BoolExpression
Source
not_between(min : Focus::IntervalExpression, max : Focus::IntervalExpression) : Focus::BoolExpression
Source
not_eq(rhs : Focus::IntervalExpression) : Focus::BoolExpression
Source
sub(rhs : Focus::IntervalExpression) : Focus::IntervalExpression
Source