public CompositionReachingDefinitionsParameters(Graph g) { calculator = new GenKillOneCommandCalculator(g); }
public ExplicitTransferFunction(Graph g) { commandCalc = new GenKillOneCommandCalculator(g); }
public CompositionReachingDefinitionsParameters(Graph g) { calculator = new GenKillOneCommandCalculator(g); }
public ExplicitTransferFunction(Graph g) { commandCalc = new GenKillOneCommandCalculator(g); }