Как сгенерировать две переменные одновременно?

Question

У меня есть структура, которая имеет два поля X и Y, у меня есть несколько элементов на них, и я хотел бы генерировать их несколько раз в то же время внутри самой структуры.

Моя потребность сложнее, но это главная проблема, с которой я сталкиваюсь. Как мы можем создать два поля одновременно?

Пример:

struct example { 
    X : int; 
    Y : int; 

    keep X < Y; 
    keep Y < 10; 
    keep X+Y > 5; 

    do_something(cnt : int) is { 
     for i from 1 to cnt { 
     gen X and Y; 
     print X, Y; 
     }; 
    }; 
};  

Answer 1

С gen me не работает, вы можете просто объявить переменную типа example в do_something(...) и генерировать, что:

do_something(cnt : int) is { 
     for i from 1 to cnt { 
     var obj : example; 
     gen obj; 
     X = obj.X; 
     Y = obj.Y; 
     print X, Y; 
     }; 
    };