pqp.refutation Package

Functions

entrypoint(step_name[, result_class])

Wrapper for logical steps in the assumption management system

Classes

Operation(op, args, kwargs)	Class used to track the computational graph of function calls which led to a result
Result(operation, step)	Class to store results of computation and store dependencies in a graph
Step(name)	Human-interpretable notes on how a result was derived

Class Inheritance Diagram