Dependency

exception NumericalyFalseDependencyError

Bases: Exception

Raised if adding a numericaly false dependency

class Dependency(statement: Statement, reason: str, why: tuple[Statement, ...])

Bases: NamedTuple

Dependency is a directed hyper-edge of the StatementsHyperGraph.

It links a statement to a list of statements that justify it and their own dependencies.

../_images/dependency_structure.svg

Create new instance of Dependency(statement, reason, why)

statement: Statement

Alias for field number 0

reason: str

Alias for field number 1

why: tuple[Statement, ...]

Alias for field number 2

add()
with_new(statement)
Return type:

Dependency

classmethod mk(statement, reason, why)
Return type:

Dependency

pretty()