Z3
 
Loading...
Searching...
No Matches
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 328 of file z3py.py.

Member Function Documentation

◆ _repr_html_()

_repr_html_ ( self)
protected

Definition at line 334 of file z3py.py.

334 def _repr_html_(self):
335 in_html = in_html_mode()
336 set_html_mode(True)
337 res = repr(self)
338 set_html_mode(in_html)
339 return res
340
341

◆ use_pp()

use_pp ( self)

Definition at line 331 of file z3py.py.

331 def use_pp(self):
332 return True
333