class Z3::BoolExpr
- Z3::BoolExpr
- Reference
- Object
Defined in:
z3/bool_expr.crConstructors
Instance Method Summary
-
#!=(other)
Returns
trueif this object is not equal to other. - #&(other)
-
#==(other)
Returns
false(other can only be aValuehere). - #^(other)
- #|(other)
- #~
- #const?
- #iff(other)
- #implies(other)
- #inspect(io)
- #ite(a : BoolExpr | Bool, b : BoolExpr | Bool) : BoolExpr
- #ite(a : IntExpr | Int, b : IntExpr | Int) : IntExpr
- #simplify
- #sort
- #to_b
- #to_s(io)
- #to_unsafe : LibZ3::Ast
Constructor Detail
Instance Method Detail
def !=(other)
#
Description copied from class Object
Returns true if this object is not equal to other.
By default this method is implemented as !(self == other)
so there's no need to override this unless there's a more efficient
way to do it.
def ==(other)
#
Description copied from class Reference
Returns false (other can only be a Value here).