class Z3::BoolSort
Public Class Methods
Source
# File lib/z3/sort/bool_sort.rb, line 3 def initialize super LowLevel.mk_bool_sort end
Calls superclass method
Public Instance Methods
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