class

Z3::BoolSort

Inherits Reference < Object

Class methods

[](expr : BoolExpr)

[](t : Bool)

cast(value) : BoolExpr

from_ast(ast : LibZ3::Ast) : BoolExpr

to_s(io)

to_unsafe

var(name : String)