MCPcopy Index your code
hub / github.com/google/mangle / Add

Method Add

factstore/factstore.go:52–52  ·  view source on GitHub ↗

Add adds a fact to the store and returns true if it didn't exist before.

(ast.Atom)

Source from the content-addressed store, hash-verified

50
51 // Add adds a fact to the store and returns true if it didn't exist before.
52 Add(ast.Atom) bool
53
54 // Merge merges contents of given store.
55 Merge(ReadOnlyFactStore)

Callers 15

declarationMappingsMethod · 0.65
AddMethod · 0.65
AddMethod · 0.65
AddMethod · 0.65
ReadIntoMethod · 0.65
TestAddContainsRemoveFunction · 0.65
EvalStratifiedProgramWithStatsFunction · 0.65
evalStrataMethod · 0.65
mergeDeltaMethod · 0.65
evalMethod · 0.65
oneStepEvalPremiseMethod · 0.65
analyzeAndEvalProgramWithDeclsFunction · 0.65

Implementers 10

SimpleInMemoryStorefactstore/factstore.go
MergedStorefactstore/factstore.go
TeeingStorefactstore/factstore.go
IndexedInMemoryStorefactstore/factstore.go
MultiIndexedInMemoryStorefactstore/factstore.go
MultiIndexedArrayInMemoryStorefactstore/factstore.go
ConcurrentFactStorefactstore/factstore.go
TemporalStorefactstore/temporal.go
TemporalFactStoreAdapterfactstore/temporal.go
TeeingTemporalStorefactstore/temporal.go

Calls

no outgoing calls

Tested by 7

TestAddContainsRemoveFunction · 0.52
analyzeAndEvalProgramWithDeclsFunction · 0.52
TestCollectNamesFunction · 0.52
TestBoundsAnalyzerWithNamesFunction · 0.52
TestBoundsAnalyzerWithManyInitialFactsFunction · 0.52
TestBoundsAnalyzerWithNamesNegativeFunction · 0.52
TestPrefixTrieFunction · 0.52