2012-03-02から1日間の記事一覧
付録A.5 の小さなケーススタディの鉄道のスイッチングです。 A.5.2 (c), (d), (e), (f) open util/ordering [TrainState] sig Segment { next: lone Segment, overlaps: some Segment } sig Train {} sig TrainState { on: Train -> one Segment, occupied: …
付録A.5 の小さなケーススタディの鉄道のスイッチングです。 A.5.2 (c), (d), (e), (f) open util/ordering [TrainState] sig Segment { next: lone Segment, overlaps: some Segment } sig Train {} sig TrainState { on: Train -> one Segment, occupied: …