Interface TemporalFactStore

factstore/temporal.go:63–79

TemporalFactStore provides access to temporal facts.

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

	// Add adds a temporal fact to the store.
	// Returns (true, nil) if the fact was added, (false, nil) if duplicate.
	// Returns (false, ErrIntervalLimitExceeded) if the atom has too many intervals.
	Add(atom ast.Atom, interval ast.Interval) (bool, error)

	// AddEternal adds a fact valid for all time (eternal/timeless).
	AddEternal(atom ast.Atom) (bool, error)

	// Coalesce merges adjacent/overlapping intervals for the same fact.
	Coalesce(predicate ast.PredicateSym) error

	// Merge merges contents of given store.
	Merge(ReadOnlyTemporalFactStore) error
}

// DefaultMaxIntervalsPerAtom is the default maximum number of intervals allowed per atom.
// This prevents interval explosion in recursive temporal rules.