class REP_TABLE{STK,ET} |
---|
attr rep_tbl:ARRAY{ARRAY{ET}}; |
---|
attr rep_tbl:ARRAY{ARRAY{ET}}; |
---|
checkEqTbl(inout stack:STK, checkTra:ARRAY{INT},num, cnj_class:INT,Rback:INT):BOOL |
---|
**** | true if new Rep cnj_class is pointer of stack. pd : # of Pd when GenConj failed. |
create:SAME |
---|
SetTable(stack:STK, checkTra:ARRAY{INT}, num:INT) |
---|