(self, value)
If set to true: checks for equivalence after each simplification.

        NOTE: This can be very expensive, and should be used for debug
        and testing only.
If set to true: checks for equivalence after each simplification.
If set to true : checks for equivalence after each simplification .
def validate_simplifications(self, value):
        """If set to true: checks for equivalence after each simplification.

        NOTE: This can be very expensive, and should be used for debug
        and testing only.
        """
        if value:
            self.walk = self.walk_debug
        else:
            # Restore original walk method
            self.walk = self.original_walk

        self._validate_simplifications = value
def validate_simplifications ( self , value ) : if value : self . walk = self . walk_debug else : # Restore original walk method self . walk = self . original_walk self . _validate_simplifications = value