Result

class pqp.refutation.Result(operation, step)

Bases: object

Class to store results of computation and store dependencies in a graph

Attributes Summary

Methods Summary

explain([nested])	Prints a human-readable explanation of the result to the console.
explain_all()	Prints a human-readable explanation of the result to the console, including all prior steps.
get_dependencies()	Returns a list of all results which this result directly depends on
get_nested_dependencies()	Returns a list of all results which this result depends on, including indirect dependencies

Attributes Documentation

Methods Documentation

explain(nested=False)

Prints a human-readable explanation of the result to the console.

Parameters:

nested (bool) – if True, will print the explanation of all prior steps as well

explain_all()

Prints a human-readable explanation of the result to the console, including all prior steps. Equivalent to calling self.explain(nested=True)

get_dependencies()

Returns a list of all results which this result directly depends on

Returns:

the list of dependencies

Return type:

List[Result]

get_nested_dependencies()

Returns a list of all results which this result depends on, including indirect dependencies

Returns:

the list of dependencies

Return type:

List[Result]