static bool CreateRobotEnabled1(Robot r) { return nextId <= maxNoRobots; }
//[Requirement("!robots.Contains"+ (string)r.id)] // [Requirement("Not(Contains(robots,r)))")] static bool CreateRobotEnabled2(Robot r) { return !robots.Contains(r); }
static bool WaitEnabled1(Robot r) { return robots.Contains(r); }
static bool WaitEnabled2(Robot r) { return power[r] >= 0.1; }
static bool SearchEnabled1(Robot r) { return robots.Contains(r); }
static bool SearchEnabled2(Robot r) { return power[r] >= 0.5; }
static bool RechargeEnabled2(Robot r) { return reward[r] > 0.6; }
static bool RechargeEnabled1(Robot r) { return robots.Contains(r) ; }
//[Requirement("rewardcontains(r)")] static bool DeleteRobotEnabled3(Robot r) { return reward.ContainsKey(r); }
//[Requirement("powercontains(r)")] static bool DeleteRobotEnabled2(Robot r) { return power.ContainsKey(r); }
static bool DeleteRobotEnabled1(Robot r) { return robots.Contains(r); }