class

Focus::BoolExpression

Inherits Focus::Expression / Reference / Object

Constructors

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

Instance methods

and(rhs : Focus::BoolExpression) : Focus::BoolExpression
Source
eq(rhs : Focus::BoolExpression) : Focus::BoolExpression
Source
inner
Source
is_distinct_from(rhs : Focus::BoolExpression) : Focus::BoolExpression
Source
is_false
Source
is_not_distinct_from(rhs : Focus::BoolExpression) : Focus::BoolExpression
Source
is_not_false
Source
is_not_true
Source
is_not_unknown
Source
is_true
Source
is_unknown
Source
not_eq(rhs : Focus::BoolExpression) : Focus::BoolExpression
Source
or(rhs : Focus::BoolExpression) : Focus::BoolExpression
Source