0

したがって、次のオブジェクト構造があります。

Class Node
RSSI: int

すべての Node オブジェクトの RSSI 値の差が 2 を超えないという要件のために、OCL 不変式を作成する必要があります。反復式で解決しようとしましたが、OCL の変数を実際に使用して現在の値を格納することはできないためです。最大値と最小値（または少なくともその方法を知らない）私はそれを行う方法がわかりません。誰でもそれで私を助けることができますか？

4

1 に答える 1

2

使用できますallInstances：

context: Node
inv: Node->allInstances()
         ->forAll(n1, n2| -2 <= n1.RSSI-n2.RSSI and n1.RSSI-n2.RSSI <= 2)
于 2012-11-06T13:23:08.873 に答える