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

Method ListPredicates

factstore/temporal.go:283–289  ·  view source on GitHub ↗

ListPredicates returns all predicates in the store.

()

Source from the content-addressed store, hash-verified

281
282// ListPredicates returns all predicates in the store.
283func (s *TemporalStore) ListPredicates() []ast.PredicateSym {
284 result := make([]ast.PredicateSym, 0, len(s.facts))
285 for pred := range s.facts {
286 result = append(result, pred)
287 }
288 return result
289}
290
291// EstimateFactCount returns the number of temporal facts (atom + interval pairs).
292func (s *TemporalStore) EstimateFactCount() int {

Callers 1

Calls

no outgoing calls

Tested by 1