MCPcopy
hub / github.com/google/mangle / freshNameGenerator

Function freshNameGenerator

rewrite/rewrite.go:69–71  ·  view source on GitHub ↗
()

Source from the content-addressed store, hash-verified

67}
68
69func freshNameGenerator() nameGen {
70 return nameGen{0}
71}
72
73func (gen nameGen) freshPredicateName(sym ast.PredicateSym, arity int) ast.PredicateSym {
74 gen.n++

Callers 1

RewriteFunction · 0.85

Calls

no outgoing calls

Tested by

no test coverage detected