MCPcopy Create free account
hub / github.com/aclements/go-misc / writeModelGraph

Function writeModelGraph

memmodel/main.go:201–251  ·  view source on GitHub ↗
(w io.Writer, counterexamples [][]*Counterexample, simplify bool)

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

Callers 1

mainFunction · 0.85

Calls 8

NewNodeMethod · 0.80
EdgeMethod · 0.80
MaximalCliquesMethod · 0.80
CollapseNodesMethod · 0.80
TransitiveReductionMethod · 0.80
ToDotMethod · 0.80
StringMethod · 0.65
PrintMethod · 0.45

Tested by

no test coverage detected