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);
}