(self, indent='\t')
return '\n'.join(self._pretty()).replace('\t', indent)
Pretty-print the clause.
Pretty-print the clause.
Pretty - print the clause .
def prettyprint(self, indent='\t'):
        """Pretty-print the clause.
        """
        return '\n'.join(self._pretty()).replace('\t', indent)
def prettyprint ( self , indent = '\t' ) : return '\n' . join ( self . _pretty ( ) ) . replace ( '\t' , indent )