Method initNode

analysis/stratification.go:103–107

(src ast.PredicateSym)

}

func (dep depGraph) initNode(src ast.PredicateSym) {
	if _, ok := dep[src]; !ok {
		dep[src] = make(edgeMap)
	}
}

func (dep depGraph) addEdge(src ast.PredicateSym, dest ast.PredicateSym, negated bool) {
	edges := dep[src]