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

Member Function Documentation

◆ _repr_html_()

_repr_html_ ( self)
protected

Definition at line 344 of file z3py.py.

344 def _repr_html_(self):
345 in_html = in_html_mode()
346 set_html_mode(True)
347 res = repr(self)
348 set_html_mode(in_html)
349 return res
350
351

◆ use_pp()

use_pp ( self)

Definition at line 341 of file z3py.py.

341 def use_pp(self):
342 return True
343