@Test public static void testGetLowerBoundbydbmIndex() { int expected2 = -2; int expected3 = -3; int expected6 = -6; int expected7 = -7; int actual2 = zone1.getLowerBoundbydbmIndex(1); int actual3 = zone1.getLowerBoundbydbmIndex(2); int actual6 = zone1.getLowerBoundbydbmIndex(3); int actual7 = zone1.getLowerBoundbydbmIndex(4); assertEquals(expected2, actual2); assertEquals(expected3, actual3); assertEquals(expected6, actual6); assertEquals(expected7, actual7); }
@Override public int getLowerBoundbydbmIndex(int index) { return _matrix[dbmIndexToMatrixIndex(index)][0]; }
Zone extends ZoneType { @Override public int getLowerBoundbydbmIndex(int index) { return _matrix[dbmIndexToMatrixIndex(index)][0]; } }
Zone extends ZoneType { @Override public int getLowerBoundbydbmIndex(int index) { return _matrix[dbmIndexToMatrixIndex(index)][0]; } Zone(int[] timers, int[][] matrix);  Zone(State initialState); private  Zone(); }
Zone extends ZoneType { @Override public int getLowerBoundbydbmIndex(int index) { return _matrix[dbmIndexToMatrixIndex(index)][0]; } Zone(int[] timers, int[][] matrix);  Zone(State initialState); private  Zone(); @Override int getUpperBoundbyTransitionIndex(int timer); @Override int getUpperBoundbydbmIndex(int index); void setUpperBoundbyTransitionIndex(int timer, int value); void setUpperBoundbydbmIndex(int index, int value); @Override int getLowerBoundbyTransitionIndex(int timer); @Override int getLowerBoundbydbmIndex(int index); void setLowerBoundbyTransitionIndex(int timer, int value); void setLowerBoundbydbmIndex(int index, int value); @Override int getDbmEntry(int i, int j); @Override String toString(); @Override boolean equals(Object o); boolean equals(Zone otherZone); @Override boolean subset(ZoneType otherZone); @Override int hashCode(); @Override boolean exceedsLowerBoundbyTransitionIndex(int timer); @Override boolean exceedsLowerBoundbydbmIndex(int index); @Override ZoneType fireTransitionbyTransitionIndex(int timer, int[] enabledTimers, 
			State state); @Override ZoneType fireTransitionbydbmIndex(int index, int[] enabledTimers,
			State state); ZoneType mergeZones(Zone otherZone); static ZoneType mergeZones(Zone firstZone, Zone secondZone); @Override Zone clone(); @Override List<Transition> getEnabledTransitions(); @Override HashMap<Integer, Transition> getLexicon(); static void setLexicon(HashMap<Integer, Transition> lexicon); int[] getIndexToTimer(); static void testZoneGraphMinimization(Zone z, boolean popUp); void toDot(PrintStream writer); static void clearLexicon(); }
Zone extends ZoneType { @Override public int getLowerBoundbydbmIndex(int index) { return _matrix[dbmIndexToMatrixIndex(index)][0]; } Zone(int[] timers, int[][] matrix);  Zone(State initialState); private  Zone(); @Override int getUpperBoundbyTransitionIndex(int timer); @Override int getUpperBoundbydbmIndex(int index); void setUpperBoundbyTransitionIndex(int timer, int value); void setUpperBoundbydbmIndex(int index, int value); @Override int getLowerBoundbyTransitionIndex(int timer); @Override int getLowerBoundbydbmIndex(int index); void setLowerBoundbyTransitionIndex(int timer, int value); void setLowerBoundbydbmIndex(int index, int value); @Override int getDbmEntry(int i, int j); @Override String toString(); @Override boolean equals(Object o); boolean equals(Zone otherZone); @Override boolean subset(ZoneType otherZone); @Override int hashCode(); @Override boolean exceedsLowerBoundbyTransitionIndex(int timer); @Override boolean exceedsLowerBoundbydbmIndex(int index); @Override ZoneType fireTransitionbyTransitionIndex(int timer, int[] enabledTimers, 
			State state); @Override ZoneType fireTransitionbydbmIndex(int index, int[] enabledTimers,
			State state); ZoneType mergeZones(Zone otherZone); static ZoneType mergeZones(Zone firstZone, Zone secondZone); @Override Zone clone(); @Override List<Transition> getEnabledTransitions(); @Override HashMap<Integer, Transition> getLexicon(); static void setLexicon(HashMap<Integer, Transition> lexicon); int[] getIndexToTimer(); static void testZoneGraphMinimization(Zone z, boolean popUp); void toDot(PrintStream writer); static void clearLexicon();  }