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