SimplificationDirectives

class proveit.SimplificationDirectives(**kwargs)

Bases: object

SimplificationDirectives are used to specify the directives to use during simplification (or shallow_simplification) that are particular to each Expression class. To use SimplificationDirectives in an Expression class, create a class attribute class _simplification_directives_ assigned to a new SimplificationDirectives object with default attributes for the default directives. See Expression.temporary_simplification_directives() for how to set simplification directives temporarily with a context manager.

Methods Summary

temporary(self[, use_defaults])

Return a context manager for making temporary changes to simplification directives.

Methods Documentation

temporary(self, use_defaults=False)

Return a context manager for making temporary changes to simplification directives. If ‘use_defaults’ is True, the temporary simplification directives will initially be set to the original values that were used when the SimplificationDirectives object was created.