package Switch
import Timer.SimulatedTimer
+//JPF's Verify API
+import gov.nasa.jpf.vm.Verify
+
+
public class Switches {
int deviceNumbers
List switches
def each(Closure Input) {
switches.each(Input)
}
+ def eachWithIndex(Closure Input) {
+ switches.eachWithIndex(Input)
+ }
def find(Closure Input) {
switches.find(Input)
}