私は2つのタイプを定義しました：
public string = seq1 of char;
public config = map string to bool;
テスト セット:も定義しましたdcl subFeatures : set of string := {"test1", "test2", "test3"}。
そして、次の方法で一連の有効な構成を生成しようとしています:
{ elem | elem : config & dom elem = subFeatures and {true} subset rng elem }
少なくとも1 つの真の範囲値がある場合、構成は「有効」と呼ばれます。
Overture がエラーError 4: Cannot get bind values for type config を起動しています。調査の結果、Overture はデフォルトで無限型の型バインドを処理できないことがわかりましたが、そうではなく、マップ ドメインを制限しています。
もう少し経験のある人は、私が間違っていることを確認できますか?