Method addEdge

analysis/stratification.go:109–118

(src ast.PredicateSym, dest ast.PredicateSym, negated bool)

}

func (dep depGraph) addEdge(src ast.PredicateSym, dest ast.PredicateSym, negated bool) {
	edges := dep[src]
	if negated {
		edges[dest] = negated
		return
	}
	if wasNegated, ok := edges[dest]; !ok || !wasNegated {
		edges[dest] = false
	}
}

func (dep depGraph) transpose() depGraph {
	rev := make(depGraph)