TT/test.k

/ example compiled tempST
/ compiled table into data
/ calling evalST and passing 
/ the data generated by tempST
/ will be passed to evalST
/ to get executable action

/ Actions
A1: {[] "fan low"};
A2: {[] "fan med"};
A3: {[] "fan hig"};
A4: {[] "heat on"};
A5: {[] "acpw on"};
A6: {[] "allp of"};

// condition vector, action vector, transition table, args types
c: {[T;isOff] (isOff;T<18;T<22;T<26;T<30;T>30)};
a: A1 A2 A3 A4 A5 A6;
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)));
at: (`i;`i;`i);