Function EvalProgram

engine/seminaivebottomup.go:138–141

EvalProgram evaluates a given program on the given facts, modifying the fact store in the process. Deprecated: use EvalStratifiedProgramWithStats instead.

(programInfo *analysis.ProgramInfo, store factstore.FactStore, options ...EvalOption)

// EvalProgram evaluates a given program on the given facts, modifying the fact store in the process.
// Deprecated: use EvalStratifiedProgramWithStats instead.
func EvalProgram(programInfo *analysis.ProgramInfo, store factstore.FactStore, options ...EvalOption) error {
	_, err := EvalProgramWithStats(programInfo, store, options...)
	return err
}

func newEvalOptions(options ...EvalOption) EvalOptions {
	ops := EvalOptions{}