class Z3::BoolSort
Public Class Methods
new()
click to toggle source
Calls superclass method
# File lib/z3/sort/bool_sort.rb, line 3 def initialize super LowLevel.mk_bool_sort end
Public Instance Methods
False()
click to toggle source
# File lib/z3/sort/bool_sort.rb, line 25 def False from_const(false) end
True()
click to toggle source
# File lib/z3/sort/bool_sort.rb, line 21 def True from_const(true) end
expr_class()
click to toggle source
# File lib/z3/sort/bool_sort.rb, line 7 def expr_class BoolExpr end
from_const(val)
click to toggle source
# File lib/z3/sort/bool_sort.rb, line 11 def from_const(val) if val == true BoolExpr.new(LowLevel.mk_true, self) elsif val == false BoolExpr.new(LowLevel.mk_false, self) else raise Z3::Exception, "Cannot convert #{val.class} to #{self.class}" end end