InnerExprGenerator

class proveit.InnerExprGenerator(expr)

Bases: object

Iterator for InnerExpr objects of a given top-level expression. Optionally skip over branches via the ‘skip_over_branch’ method.

Methods Summary

skip_over_branch(self)

Do not generate inner expressions that dig any deeper into the last inner expression, skipping over that branch of the expression tree.

Methods Documentation

skip_over_branch(self)

Do not generate inner expressions that dig any deeper into the last inner expression, skipping over that branch of the expression tree.