class Z3::BitvecSort

Z3::BitvecSort
Reference
Object

Defined in:

z3/bitvec_sort.cr

Constructors

.new(size : UInt32)

Instance Method Summary

#[](expr : BitvecExpr)
#[](name : String)
#[](v : Int)
#size : UInt32
#to_unsafe : LibZ3::Sort

Constructor Detail

def self.new(size : UInt32) #

[View source]

Instance Method Detail

def [](expr : BitvecExpr) #

[View source]

def [](name : String) #

[View source]

def [](v : Int) #

[View source]

def size : UInt32 #

[View source]

def to_unsafe : LibZ3::Sort #

[View source]