class Z3::BoolSort

# File lib/z3/sort/bool_sort.rb, line 3
def initialize
  super LowLevel.mk_bool_sort
end

# File lib/z3/sort/bool_sort.rb, line 25
def False
  from_const(false)
end

# File lib/z3/sort/bool_sort.rb, line 21
def True
  from_const(true)
end

# File lib/z3/sort/bool_sort.rb, line 7
def expr_class
  BoolExpr
end

# 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