@Test public static void testEqualsZone() { assertFalse(zone3.equals(zone4)); }
@Override public boolean equals(Object o) { if(o == null) { return false; } if(!(o instanceof Zone)) { return false; } return equals((Zone) o); }
Zone extends ZoneType { @Override public boolean equals(Object o) { if(o == null) { return false; } if(!(o instanceof Zone)) { return false; } return equals((Zone) o); } }
Zone extends ZoneType { @Override public boolean equals(Object o) { if(o == null) { return false; } if(!(o instanceof Zone)) { return false; } return equals((Zone) o); } Zone(int[] timers, int[][] matrix);  Zone(State initialState); private  Zone(); }
Zone extends ZoneType { @Override public boolean equals(Object o) { if(o == null) { return false; } if(!(o instanceof Zone)) { return false; } return equals((Zone) o); } 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 boolean equals(Object o) { if(o == null) { return false; } if(!(o instanceof Zone)) { return false; } return equals((Zone) o); } 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();  }