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 241 of file z3py.py.

Member Function Documentation

def use_pp

(

self

)

Definition at line 243 of file z3py.py.

    def use_pp(self):
        return True