小编eak*_*rek的帖子

我有一个非常简单的合金模型.它应该只将最多5名医生附加到诊所,但是当我执行该模型时,它会将超过5名医生附加到诊所.这是我的模特.

abstract sig Clinic {
    doctors : set Doctor
}
abstract sig Doctor {
}
fact ClinicDoctorRestriction {
    all c:Clinic | #c.doctors <= 5
}
pred showresult{
}
run showresult for exactly 1 Clinic, exactly 100 Doctor

我的模型有问题吗？