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