class REP_TABLE{STK,ET}




Public


Readable Attributes
attr rep_tbl:ARRAY{ARRAY{ET}};

Writable Attributes
attr rep_tbl:ARRAY{ARRAY{ET}};

Features
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


Private

SetTable(stack:STK, checkTra:ARRAY{INT}, num:INT)

The Sather Home Page