class SL2P_CODE_EXEC |
---|
attr Dir:BOOL; |
---|
attr RepCount:CARD; |
---|
**** | #of finded representation |
attr rep_tbl2:REP_TABLE{SL2P_STACK,SL2P_STACK_GT}; |
---|
attr rep_tbl:REP_TABLE{SL2P_STACK,SL2P_STACK_GT}; |
---|
attr stack:SL2P_STACK; |
---|
**** |
attr Dir:BOOL; |
---|
attr RepCount:CARD; |
---|
**** | #of finded representation |
attr rep_tbl:REP_TABLE{SL2P_STACK,SL2P_STACK_GT}; |
---|
attr rep_tbl2:REP_TABLE{SL2P_STACK,SL2P_STACK_GT}; |
---|
attr stack:SL2P_STACK; |
---|
**** |
InitCodeExec(n:INT) |
---|
SetRep |
---|
WriteRepLog(TCode:TCODE,eff:BOOL) |
---|
**** | if true then write the result, else write the state of manual set. |
create(TCode:TCODE,n:INT):SAME |
---|
create:SAME |
---|