class Z3::Printer::PrintedExpr

# File lib/z3/printer.rb, line 11
def initialize(str, priority=false)
  @str = str
  @priority = priority
end

# File lib/z3/printer.rb, line 18
def enforce_parentheses
  if @priority
    "(#{@str})"
  else
    @str
  end
end

# File lib/z3/printer.rb, line 15
def to_s
  @str
end