Versions in this module Expand all Collapse all v0 v0.2.0 Aug 14, 2024 Changes in this version + type QueryContext struct + PredToDecl map[ast.PredicateSym]*ast.Decl + PredToRules map[ast.PredicateSym][]ast.Clause + Store factstore.ReadOnlyFactStore + func (q QueryContext) EvalPremise(premise ast.Term, subst unionfind.UnionFind) ([]unionfind.UnionFind, error) + func (q QueryContext) EvalQuery(query ast.Atom, mode []ast.ArgMode, uf unionfind.UnionFind, ...) error v0.1.0 Dec 15, 2023 Changes in this version + func EvalProgram(programInfo *analysis.ProgramInfo, store factstore.FactStore, ...) error + func EvalProgramNaive(program []ast.Clause, store factstore.SimpleInMemoryStore) error + func EvalTransform(head ast.Atom, transform ast.Transform, input []ast.ConstSubstList, ...) error + type EvalOption func(*EvalOptions) + func WithCreatedFactLimit(limit int) EvalOption + type EvalOptions struct + type InclusionChecker struct + func NewInclusionChecker(decls map[ast.PredicateSym]ast.Decl) (*InclusionChecker, error) + func NewInclusionCheckerFromDesugared(decls map[ast.PredicateSym]*ast.Decl) *InclusionChecker + func (i InclusionChecker) CheckFact(fact ast.Atom, store factstore.FactStore) error + type Stats struct + Duration []time.Duration + PredToStratum map[ast.PredicateSym]int + Strata [][]ast.PredicateSym + func EvalProgramWithStats(programInfo *analysis.ProgramInfo, store factstore.FactStore, ...) (Stats, error) + func EvalStratifiedProgramWithStats(programInfo *analysis.ProgramInfo, strata []analysis.Nodeset, ...) (Stats, error)