Method asMap

analysis/infercontext.go:103–109

()

}

func (s *inferState) asMap() map[ast.Variable]ast.BaseTerm {
	m := make(map[ast.Variable]ast.BaseTerm, len(s.varTpe))
	for i, v := range s.usedVars.Vars {
		m[v] = s.varTpe[i]
	}
	return m
}

// inferRelTypesFromPremise is called for index \in 0..len(premises). It
// maps one state of inference to its (possibly empty) list of successors.