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