Dependency Graph

class DependencyGraph(ar)

Bases: object

Hyper graph linking statements by dependencies as hyper-edges.

has_edge(dep)

checked()

premises()

proof_deps(goals)

Return type:

tuple[Dependency, ...]

save_pyvis(*, path, stars=[])