Function asMap

engine/seminaivebottomup_test.go:85–91

(preds []ast.PredicateSym)

}

func asMap(preds []ast.PredicateSym) map[ast.PredicateSym]ast.Decl {
	m := make(map[ast.PredicateSym]ast.Decl, len(preds))
	for _, sym := range preds {
		m[sym] = ast.NewSyntheticDeclFromSym(sym)
	}
	return m
}

func analyzeAndEvalProgram(t *testing.T, clauses []ast.Clause, store factstore.SimpleInMemoryStore, options ...EvalOption) error {
	t.Helper()