def __init__(self, profile=None):
Printer.__init__(self)
self.emptyPrinter = lambda x : prettyForm(xstr(x))
self._settings = {
"full_prec" : "auto",
"use_unicode" : True,
}
if profile is not None:
self._settings.update(profile)
def __init__(self, profile=None):
Printer.__init__(self)
self.emptyPrinter = lambda x: prettyForm(xstr(x))
self._settings = {
"full_prec": "auto",
"use_unicode": True,
"wrap_line": True,
}
if profile is not None:
self._settings.update(profile)
def __init__(self, settings=None):
Printer.__init__(self, settings)
self.emptyPrinter = lambda x: prettyForm(xstr(x))
def __init__(self, settings=None):
Printer.__init__(self, settings)
self.emptyPrinter = lambda x: prettyForm(xstr(x))
def emptyPrinter(x):
""" Default empty printer.
"""
return prettyForm(xstr(x))
def emptyPrinter(x):
""" Default empty printer.
"""
return prettyForm(xstr(x))
def __init__(self, use_unicode=None):
Printer.__init__(self)
self.emptyPrinter = lambda x : prettyAtom(xstr(x))