source: src/ERTL/ @ 1138

Last change on this file since 1138 was 1128, checked in by mulligan, 9 years ago

fixed ERTLtoLTLI so it type checks again

File size: 240 bytes
[1127]1include "common/".
[1128]2include "utilities/".
4definition decision ≝ Immediate.
[1128]6(* XXX: should be a map! *)
7definition colouring ≝ list (vertex × decision).
9axiom colour_colouring: colouring.
10axiom colour_locals: nat.
Note: See TracBrowser for help on using the repository browser.