I have an Alloy model with this relation in it:
sig myint {nextX: (myint -> myint -> myint) -> myint, nextT: (myint -> myint -> myint) -> myint}
and I get the following error message:
Translation capacity exceeded. In this scope, universe contains 84 atoms and relations of arity 5 cannot be represented. Visit http://alloy.mit.edu/ for advice on refactoring.
I am wondering how the number of atoms is related to the supported relation arity, and how I could resolve this problem.
I would really appreciate your help. Thanks a lot. Fathiyeh
The technical post webpages of this site follow the CC BY-SA 4.0 protocol. If you need to reprint, please indicate the site URL or the original address.Any question please contact:yoyou2525@163.com.