class

Z3::IntSort

Inherits Reference < Object

Class methods

[](expr : IntExpr)

[](v : Int)

cast(value) : IntExpr

from_ast(ast : LibZ3::Ast) : IntExpr

to_s(io)

to_unsafe

var(name : String)