private void fillInit() { initialValues = new int[ras.size()]; fill(Phase.INITIAL, initialValues); }
private void fillEndings() { endingValues = new int[ras.size()]; fill(Phase.END, endingValues); }
private void fillInit() { initialValues = new int[ras.size()]; fill(Phase.INITIAL, initialValues); }
private void fillEndings() { endingValues = new int[ras.size()]; fill(Phase.END, endingValues); }
private void fillInit() { initialValues = new int[ras.size()]; fill(Phase.INITIAL, initialValues); }
private void fillEndings() { endingValues = new int[ras.size()]; fill(Phase.END, endingValues); }