class Z3::Printer::PrintedExpr
Attributes
priority[R]
str[R]
Public Class Methods
new(str, priority=false)
click to toggle source
# File lib/z3/printer.rb, line 11 def initialize(str, priority=false) @str = str @priority = priority end
Public Instance Methods
enforce_parentheses()
click to toggle source
# File lib/z3/printer.rb, line 18 def enforce_parentheses if @priority "(#{@str})" else @str end end
to_s()
click to toggle source
# File lib/z3/printer.rb, line 15 def to_s @str end