class

Z3::RealSort

Inherits Reference < Object

Class methods

[](expr : RealExpr)

[](num : Int | BigRational)

[](num : Float64)

cast(value) : RealExpr

from_ast(ast : LibZ3::Ast) : RealExpr

to_s(io)

to_unsafe

var(name : String)