test.k 692 B

1234567891011121314151617181920
  1. / example compiled tempST
  2. / compiled table into data
  3. / calling evalST and passing
  4. / the data generated by tempST
  5. / will be passed to evalST
  6. / to get executable action
  7. / Actions
  8. A1: {[] "fan low"};
  9. A2: {[] "fan med"};
  10. A3: {[] "fan hig"};
  11. A4: {[] "heat on"};
  12. A5: {[] "acpw on"};
  13. A6: {[] "allp of"};
  14. // condition vector, action vector, transition table, args types
  15. c: {[T;isOff] (isOff;T<18;T<22;T<26;T<30;T>30)};
  16. a: A1 A2 A3 A4 A5 A6;
  17. t: (((0N;1);(4;5);(1;2);(2;3);(3;4);(5;6));((6;1);(4;5);(0N;2);(2;3);(3;4);(5;6));((6;1);(4;5);(1;2);(0N;3);(3;4);(5;6));((6;1);(4;5);(1;2);(2;3);(0N;4);(5;6));((6;1);(0N;5);(1;2);(2;3);(3;4);(5;6));((6;1);(4;5);(1;2);(2;3);(3;4);(0N;6)));
  18. at: (`i;`i;`i);