Versions in this module Expand all Collapse all v0 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)