Z3PPObject Class Reference

ASTs base class. More...

Inheritance diagram for Z3PPObject:

Public Member Functions
	use_pp (self)

Protected Member Functions
	_repr_html_ (self)

Detailed Description

ASTs base class.

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

Definition at line 355 of file z3py.py.

Member Function Documentation

_repr_html_()

_repr_html_ ( self )

protected

Definition at line 361 of file z3py.py.

    def _repr_html_(self):
        in_html = in_html_mode()
        set_html_mode(True)
        res = repr(self)
        set_html_mode(in_html)
        return res
 
 

use_pp()

use_pp

(

self

)

Definition at line 358 of file z3py.py.

    def use_pp(self):
        return True