Я довольно новичок в слюнях, и я сталкиваюсь с некоторыми проблемами, которые я не могу понять. Я пытаюсь решить проблему распределения, и один из моих LHS работает так:
$leftAlloc: SlotAllocation($leftRes: resource ) $rightAlloc: SlotAllocation(this != $leftAlloc, resource == $leftRes)
по какой-то причине второе утверждение ничему не соответствует, даже если я уверен, что в рабочей памяти есть совпадение. Если я изменю приведенный выше код на следующий, он отлично работает
$leftAlloc: SlotAllocation($leftRes: resource ) $rightAlloc: SlotAllocation(this != $leftAlloc, eval(resource == $leftRes))
Кто-нибудь может мне это объяснить?
Спасибо!