From d543c82e4136b99bda4ae27cbad4911f9d9b06c4 Mon Sep 17 00:00:00 2001 From: milner Date: Wed, 4 Mar 2020 12:00:00 +0000 Subject: [PATCH] select decision columns using inspection-cost heuristics --- examples/protocol-complete.tess | 14 ++++++++++++++ 1 file changed, 14 insertions(+) create mode 100644 examples/protocol-complete.tess diff --git a/examples/protocol-complete.tess b/examples/protocol-complete.tess new file mode 100644 index 0000000..9319028 --- /dev/null +++ b/examples/protocol-complete.tess @@ -0,0 +1,14 @@ +data State = Idle | Waiting | Connected + +data Message = Hello Int | Data Int | Close + +match classify (s : State) (m : Message) : Int = + | Idle (Hello n) -> n + | Idle (Data n) -> n + | Idle Close -> 0 + | Waiting (Hello n) -> n + | Waiting (Data n) -> n + | Waiting Close -> 0 + | Connected (Hello n) -> n + | Connected (Data n) -> n + | Connected Close -> 0