Dependencies

---

• Dependency
  • NumericalyFalseDependencyError
  • Dependency
    • Dependency.statement
    • Dependency.reason
    • Dependency.why
    • Dependency.add()
    • Dependency.with_new()
    • Dependency.mk()
    • Dependency.pretty()
• Dependency Graph
  • DependencyGraph
    • DependencyGraph.has_edge()
    • DependencyGraph.checked()
    • DependencyGraph.premises()
    • DependencyGraph.proof_deps()
    • DependencyGraph.save_pyvis()
• Symbols
  • Symbol
    • Symbol.rep()
    • Symbol.merge()
  • Point
    • Point.num
    • Point.pretty_name
  • Line
    • Line.points
    • Line.num
    • Line.check_coll()
    • Line.make_coll()
    • Line.why_coll()
    • Line.pretty_name
  • Circle
    • Circle.points
    • Circle.num
    • Circle.check_cyclic()
    • Circle.make_cyclic()
    • Circle.why_cyclic()
    • Circle.pretty_name
• Symbols Graph
  • SymbolsGraph
    • SymbolsGraph.nodes_of_type()
    • SymbolsGraph.names2points()
    • SymbolsGraph.container_of()
    • SymbolsGraph.new_node()
    • SymbolsGraph.line_thru_pair()
    • SymbolsGraph.save_pyvis()