Function isInSameSCC

analysis/temporal.go:208–217

isInSameSCC checks if two predicates are in the same strongly connected component.

(pred1, pred2 ast.PredicateSym, sccs []Nodeset)

// isInSameSCC checks if two predicates are in the same strongly connected component.
func isInSameSCC(pred1, pred2 ast.PredicateSym, sccs []Nodeset) bool {
	for _, scc := range sccs {
		_, has1 := scc[pred1]
		_, has2 := scc[pred2]
		if has1 && has2 {
			return true
		}
	}
	return false
}