Class: Z3::RealExpr

Inherits:

ArithExpr

• Object
• AST
• Expr
• ArithExpr
• Z3::RealExpr

Defined in:

lib/z3/expr/real_expr.rb

Instance Attribute Summary

Attributes inherited from Expr

#sort

Attributes inherited from AST

#_ast

Method Summary

Methods inherited from ArithExpr

#*, #**, #+, #-, #-@, #/, #<, #<=, #>, #>=, Div, Power, #abs, #coerce, coerce_to_same_arith_sort, #negative?, #nonzero?, #positive?, #zero?

Methods inherited from Expr

#!=, #==, Add, And, Distinct, Eq, Ge, Gt, Le, Lt, Mul, Or, Sub, Xor, coerce_to_same_sort, #initialize, #inspect, new_from_pointer, sort_for_const

Methods inherited from AST

#arguments, #ast_kind, #eql?, #func_decl, #hash, #initialize, #sexpr, #simplify, #to_s

Constructor Details

This class inherits a constructor from Z3::Expr