Class: Z3::Printer

Inherits:
Object
  • Object
show all
Defined in:
lib/z3/printer.rb

Defined Under Namespace

Classes: PrintedExpr

Instance Method Summary collapse

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