graphid.core.mixin_invariants module

These check for certain invariants that should be maintained by the dynamic data structure.

class graphid.core.mixin_invariants.AssertInvariants[source]

Bases: object

assert_edge(edge)[source]
assert_invariants(msg='')[source]
assert_neg_metagraph()[source]

Checks that the negative metgraph is correctly book-kept.

assert_union_invariant(msg='')[source]
assert_disjoint_invariant(msg='')[source]
assert_consistency_invariant(msg='')[source]
assert_recovery_invariant(msg='')[source]