2009-06-13から1日間の記事一覧
SPINとPromelaのメモmtype は、メッセージタイプの略らしい。 mtype = { ... } という形で宣言される列挙型。定数を宣言。 mtype = { ack, nak, err, next, accept } と書いたものは #define ack 5 #define nak 4 #define err 3 #define next 2 #define acce…
SPINとPromelaのメモmtype は、メッセージタイプの略らしい。 mtype = { ... } という形で宣言される列挙型。定数を宣言。 mtype = { ack, nak, err, next, accept } と書いたものは #define ack 5 #define nak 4 #define err 3 #define next 2 #define acce…