Class: Z3::Printer

Inherits:

Object

Object
Z3::Printer

show all

Defined in:: lib/z3/printer.rb

Defined Under Namespace

Classes: PrintedExpr

Instance Method Summary collapse

#format(a) ⇒ Object

Instance Method Details

#format(a) ⇒ `Object`



3
4
5

# File 'lib/z3/printer.rb', line 3

def format(a)
  format_ast(a).to_s
end