Просто се чудя как мога да използвам моя собствен API в сплав? Разработих API в сплав, но не знам как мога да го използвам? за разбирането Муди

Имам следния модул Alloy и стартирам команда: sig A { x : set A } run {all a: A| #a.x<3 and #a.x>1} for exactly 2 A, 2 int С „Забрана на препълването: Не“ Alloy Analyzer 4.2 (дата на компилация: 2012-09-25) не намира екземпляр. Вярвам,...

Опитвах се да обърна двойно свързан списък в сплав, създадох подпис за него. Това е подписът sig node{} //define each field as disjoint subset of node sig first extends node{} sig last extends node{} sig element extends node{} sig...

Имам модел Alloy, който съдържа следното: abstract sig person{} one sig john,Steve extends person {Gender: man} sig man{} fact { all name: person, Gender: man | name.Gender = name.Gender => person =person} Как мога да направя...

В сплав разгледайте sig Queue{ връзка: Опашка, elem: Int} считам, че имам някакъв предикат predicate-1, Как бих дефинирал обхват, когато стартирам predicate-1 за Queue ‹=1, int ={-3,-2,0,2}. Не съм изброил предиката тук изпълнете predicate-1...