https://forge.ispras.ru/https://forge.ispras.ru/favicon.ico?16490126692018-10-08T15:42:25ZOpen-Source ProjectsДополнительные материалы к монографии - Bug #9301: Глава 7. Поправить трансляцию SubjectAccessesTypehttps://forge.ispras.ru/issues/9301?journal_id=350882018-10-08T15:42:25ZDenis Efremovefremov@ispras.ru
<ul></ul><p>Сейчас так:<br /><pre>
@invariant
def SubjectAccessesType() -> bool:
return all(map(lambda s: s in SubjectAccesses and all(map(lambda j: j[0] in Entities and type(j[1]) is Accesses, SubjectAccesses[s])), Subjects))
</pre></p>
<p>Нужно поправить так:<br /><pre>
@invariant
def SubjectAccessesType() -> bool:
return all(map(lambda s: s in Subjects and
all(map(lambda j: j[0] in Entities and type(j[1]) is Accesses, SubjectAccesses[s])),
SubjectAccesses))
</pre></p> Дополнительные материалы к монографии - Bug #9301: Глава 7. Поправить трансляцию SubjectAccessesTypehttps://forge.ispras.ru/issues/9301?journal_id=350902018-10-08T15:49:01ZIlya Shchepetkovshchepetkov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>New</i> to <i>Closed</i></li></ul>