Interface ReadOnlyTemporalFactStore

factstore/temporal.go:42–60

ReadOnlyTemporalFactStore provides read access to temporal facts.

// ReadOnlyTemporalFactStore provides read access to temporal facts.
type ReadOnlyTemporalFactStore interface {
	// GetFactsAt returns facts valid at a specific point in time.
	GetFactsAt(query ast.Atom, t time.Time, fn func(TemporalFact) error) error

	// GetFactsDuring returns facts that overlap with the given interval.
	GetFactsDuring(query ast.Atom, interval ast.Interval, fn func(TemporalFact) error) error

	// GetAllFacts returns all facts (with their intervals) matching the query.
	GetAllFacts(query ast.Atom, fn func(TemporalFact) error) error

	// ContainsAt returns true if the atom is valid at the given time.
	ContainsAt(atom ast.Atom, t time.Time) bool

	// ListPredicates lists predicates available in this store.
	ListPredicates() []ast.PredicateSym

	// EstimateFactCount returns the estimated number of temporal facts.
	EstimateFactCount() int
}

// TemporalFactStore provides access to temporal facts.
type TemporalFactStore interface {