Method ListPredicates

factstore/factstore.go:351–364

ListPredicates returns a list of predicates.

()

// ListPredicates returns a list of predicates.
func (s TeeingStore) ListPredicates() []ast.PredicateSym {
	m := make(map[string]ast.PredicateSym)
	for _, pred := range s.base.ListPredicates() {
		m[pred.Symbol] = pred
	}
	for _, pred := range s.Out.ListPredicates() {
		m[pred.Symbol] = pred
	}
	res := make([]ast.PredicateSym, 0, len(m))
	for _, pred := range m {
		res = append(res, pred)
	}
	return res
}

// EstimateFactCount returns the number of facts. The real number can be lower in case of duplicates.
func (s TeeingStore) EstimateFactCount() int {