1 //import gov.nasa.jpf.vm.Verify
\r
3 //int count1 = Verify.getIntFromList(1,2,3)
\r
4 //int count2 = Verify.getIntFromList(4,5,6)
\r
5 //int count3 = Verify.getIntFromList(0)
\r
6 //println "Count1: " + count1
\r
7 //println "Count2: " + count2
\r
8 //println "Count3: " + count3
\r
10 /*def list = [[1,2,3],
\r
16 int count = Verify.getInt(0,5)
\r
21 //appObject.setValue([name: "Touched", value: "Touched", deviceId: 0, descriptionText: "",
\r
22 // displayed: true, linkText: "", isStateChange: false, unit: "", data: []])
\r
26 //lockObject.setValue([name: "lock0", value: "locked", deviceId: 0, descriptionText: "",
\r
27 // displayed: true, linkText: "", isStateChange: false, unit: "", data: []])
\r
31 //lockObject.setValue([name: "lock0", value: "unlocked", deviceId: 0, descriptionText: "",
\r
32 // displayed: true, linkText: "", isStateChange: false, unit: "", data: []])
\r
40 def permuteHelper(nums, curr, list) {
\r
41 if (curr == nums.size() - 1) {
\r
44 for(int i=curr; i<nums.size(); i++) {
\r
46 permuteHelper(nums, curr + 1, list)
\r
52 def swap(nums, src, dest) {
\r
53 int temp = nums[dest];
\r
54 nums[dest] = nums[src];
\r
58 def nums = [1,2,3,4]
\r
60 permuteHelper(nums, 0, list)
\r