class Z3::RoundingModeExpr

Public Class Methods

new(_ast, sort) click to toggle source
Calls superclass method Z3::Expr::new
# File lib/z3/expr/expr.rb, line 5
def initialize(_ast, sort)
  super(_ast)
  @sort = sort
  raise Z3::Exception, "Values must have AST kind numeral, app, or quantifier" unless [:numeral, :app, :quantifier].include?(ast_kind)
end