次のモデルは、あらかじめ定義された特定の順序のアクションのシーケンスを表します。 open util/ordering[Time]
abstract sig Action {pre: set Action}
one sig A, B, C, D extends Action {}
fact{
pre = A -> B + D -> B + D -> C
}
sig Ti
私は他の原子と原子の関係が変化していることに気づいています。下記の署名を使用して： sig Word, Definition{}
sig Dictionary {
def: Word -> lone Definition
}
は、私は、あなたが同じですが、もう一つの関係にある別のDictionaryを持つことによってDictionaryに新しい関係を追加すると
航空機が着陸する空港に近づくと、航空機の接近手順は移行に分割されます。各トランジションは一連の脚で構成されています。 sig Transition {
legs: set Leg
}
sig Leg {}
トランジション内の脚のセットが発注されます。各トランジションでは、トランジションの最初のレッグ、トランジションの最後のレッグにアクセスできるようにしたいので、トランジションでは
以下は、n-queens問題の合金モデルです（実際は、4-queens問題の）。よりよい解決策があるのだろうか？私の解答では、nextとprevを繰り返し使用して対角線上の女王を排除することに注意してください。それはかなりklunkyようです。 open util/ordering[Row]
sig Row {}
one sig Column0 {
row: Row
}
o