如何同時生成兩個變量？

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; 
     }; 
    };