package Valve
import Timer.SimulatedTimer
+//JPF's Verify API
+import gov.nasa.jpf.vm.Verify
+
public class Valves {
int deviceNumbers
List valves
this.deviceNumbers = deviceNumbers
this.valves = []
+ def init = Verify.getBoolean()
+ if (init) {
+ this.valve = "closed"
+ this.valveLatestValue = "closed"
+ } else {
+ this.valve = "open"
+ this.valveLatestValue = "open"
+ }
valves.add(new Valve(sendEvent, id, label, displayName, this.valve, this.valveLatestValue))
}