Esempio n. 1
0
 static bool CreateRobotEnabled1(Robot r)
 {
     return nextId <= maxNoRobots;
 }
Esempio n. 2
0
 //[Requirement("!robots.Contains"+ (string)r.id)]
 // [Requirement("Not(Contains(robots,r)))")]
 static bool CreateRobotEnabled2(Robot r)
 {
     return !robots.Contains(r);
 }
Esempio n. 3
0
 static bool WaitEnabled1(Robot r)
 {
     return robots.Contains(r);
 }
Esempio n. 4
0
 static bool WaitEnabled2(Robot r)
 {
     return power[r] >= 0.1;
 }
Esempio n. 5
0
 static bool SearchEnabled1(Robot r)
 {
     return robots.Contains(r);
 }
Esempio n. 6
0
 static bool SearchEnabled2(Robot r)
 {
     return power[r] >= 0.5;
 }
Esempio n. 7
0
 static bool RechargeEnabled2(Robot r)
 {
     return reward[r] > 0.6;
 }
Esempio n. 8
0
 static bool RechargeEnabled1(Robot r)
 {
     return robots.Contains(r) ;
 }
Esempio n. 9
0
 //[Requirement("rewardcontains(r)")]
 static bool DeleteRobotEnabled3(Robot r)
 {
     return reward.ContainsKey(r);
 }
Esempio n. 10
0
 //[Requirement("powercontains(r)")]
 static bool DeleteRobotEnabled2(Robot r)
 {
     return power.ContainsKey(r);
 }
Esempio n. 11
0
 static bool DeleteRobotEnabled1(Robot r)
 {
     return robots.Contains(r);
 }