Function newInferContext

analysis/infercontext.go:28–30

NewInferContextNoDecl returns an inferContext for a predicate that does not have a declaration.

(bc *BoundsAnalyzer, decl *ast.Decl, clause *ast.Clause)

// NewInferContextNoDecl returns an inferContext for a predicate that does not have a declaration.
func newInferContext(bc *BoundsAnalyzer, decl *ast.Decl, clause *ast.Clause) *inferContext {
	return &inferContext{bc: bc, pred: &decl.DeclaredAtom.Predicate, decl: decl, modes: decl.Modes(), clause: clause}
}

// inferState is state of inference while iterating over premises.
// The relation type is represented implicitly in usedVars and varTpe.