super(succs, PropagatorPriority.LINEAR, false);
this.n = succs.length;
this.offSet = offSet;
this.connectedGraph = new DirectedGraph(n + 1, SetType.BITSET, false);
if (linear) {
domFinder = new AlphaDominatorsFinder(n, connectedGraph);
} else {
domFinder = new SimpleDominatorsFinder(n, connectedGraph);
}
}