Z3
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Defines
Public Member Functions
Z3PPObject Class Reference

ASTs base class. More...

+ Inheritance diagram for Z3PPObject:

Public Member Functions

def use_pp

Detailed Description

ASTs base class.

Superclass for all Z3 objects that have support for pretty printing.

Definition at line 266 of file z3py.py.


Member Function Documentation

def use_pp (   self)

Definition at line 268 of file z3py.py.

00268 
00269     def use_pp(self):
00270         return True

 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Defines