If there is a token without an edge, the diff calculation function calculate_diff will choke.
The Graph invariant, described in Representation.md and implemented as check_invariant, determines what the graph datastructure may and may not look like. Extend it, so that it disallows unreferenced tokens.
If there is a token without an edge, the diff calculation function
calculate_diff
will choke.The Graph invariant, described in Representation.md and implemented as
check_invariant
, determines what the graph datastructure may and may not look like. Extend it, so that it disallows unreferenced tokens.