В сплав разгледайте
sig Queue{ връзка: Опашка, elem: Int}
считам, че имам някакъв предикат predicate-1, Как бих дефинирал обхват, когато стартирам predicate-1 за Queue ‹=1, int ={-3,-2,0,2}. Не съм изброил предиката тук
изпълнете predicate-1 за 1 опашка, int scope тук
не знам какъв би бил синтаксисът за int scope
Синтаксисът е
run predicate1 for 1 Queue, 3 Int
Обхватът за цели числа винаги е битова ширина, така че не можете да посочите, че наборът Int съдържа точно {-3. -2. 0. 2}; можете да посочите само битова ширина и всички цели числа в тази битова ширина ще бъдат използвани. В моя пример по-горе наборът Int ще съдържа всички цели числа от -4 до 3.
predicate1 (или напишете допълнителен предикат и изпълнете run {predicate1 and intLimit} for 1 Queue, 3 Int, като използвате модула util/integer, за да ограничите използваните цели числа.
- person afsantos; 21.02.2013
