class SL2P_CODE_EXEC |
---|
attr WorkTop,Bottom:CARD; .. Included as Bottom |
---|
**** |
-------_search_codes_-------- list of gen. to check if the rep. is transitive. __List_it_in_the_order_of_used_by_setF,setCNJ. Be careful about the order, because it is used to update representation table. |
attr Dir:BOOL; |
---|
attr GenMax:CARD; .. Included as GenMax |
---|
attr Rback:CARD; .. Included as Rback |
---|
**** | area for equivalence check of rep. |
attr Relator:ARRAY{WORD}; .. Included as Relator |
---|
attr RepCount:CARD; |
---|
**** | #of finded representation |
attr Work:CARD; .. Included as Work |
---|
attr WorkTop,Bottom:CARD; .. Included as WorkTop |
---|
**** |
-------_search_codes_-------- list of gen. to check if the rep. is transitive. __List_it_in_the_order_of_used_by_setF,setCNJ. Be careful about the order, because it is used to update representation table. |
attr YangList:ARRAY{INT}; .. Included as YangList |
---|
**** | for covering distribution_(yang)
list of gen. to check if the rep. is transitive.
__List_it_in_the_order_of_used_by_setF,setCNJ. Be careful about the order, because it is used to update representation table. |
attr base:CARD; .. Included as base |
---|
**** | area for generators |
attr checkTra:ARRAY{INT}; .. Included as checkTra |
---|
**** | [1..REPmaxC]
list of gen. to check if the rep. is transitive.
__List_it_in_the_order_of_used_by_setF,setCNJ. Be careful about the order, because it is used to update representation table. |
attr freq0,freq1,freq3:CARD; .. Included as freq0 |
---|
attr freq0,freq1,freq3:CARD; .. Included as freq1 |
---|
attr freq0,freq1,freq3:CARD; .. Included as freq3 |
---|
attr g0,g1,g3:CARD; .. Included as g0 |
---|
attr g0,g1,g3:CARD; .. Included as g1 |
---|
attr g0,g1,g3:CARD; .. Included as g3 |
---|
attr longPtr:CARD; .. Included as longPtr |
---|
**** | area for longitudes |
attr merPtr:CARD; .. Included as merPtr |
---|
**** | area for meridian |
attr orbitmPtr:CARD; .. Included as orbitmPtr |
---|
**** | area for br.index |
attr orbitpPtr:CARD; .. Included as orbitpPtr |
---|
**** | area for compo~.number |
attr rep_tbl2:REP_TABLE{SL2P_STACK,SL2P_STACK_GT}; |
---|
attr rep_tbl:REP_TABLE{SL2P_STACK,SL2P_STACK_GT}; |
---|
attr sPtr:CARD; .. Included as sPtr |
---|
**** | code pointer
list of gen. to check if the rep. is transitive.
__List_it_in_the_order_of_used_by_setF,setCNJ. Be careful about the order, because it is used to update representation table. |
attr set0,set1,set3:BOOL; .. Included as set0 |
---|
attr set0,set1,set3:BOOL; .. Included as set1 |
---|
attr set0,set1,set3:BOOL; .. Included as set3 |
---|
attr setG:ARRAY{REP_OP}; .. Included as setG |
---|
**** | [0..2*REPmaxC]
list of gen. to check if the rep. is transitive.
__List_it_in_the_order_of_used_by_setF,setCNJ. Be careful about the order, because it is used to update representation table. |
attr sg_compo:ARRAY{CARD}; .. Included as sg_compo |
---|
**** | gen. number --> component |
attr sg_freq :ARRAY{CARD}; .. Included as sg_freq |
---|
**** | How many occur in words |
attr sg_set:ARRAY{BOOL}; .. Included as sg_set |
---|
**** | gen. number --> condition of the gen. |
attr sl:ARRAY{CARD}; .. Included as sl |
---|
**** | compo--> non-zero if settled. |
attr sr:ARRAY{BOOL}; .. Included as sr |
---|
**** | rel. number-->true if used |
attr stack:SL2P_STACK; |
---|
**** |
attr windLon:CARD; .. Included as windLon |
---|
**** | winding of longitude~ |
attr yangPtr:CARD; .. Included as yangPtr |
---|
**** | area for conjugate class/Yang diagrams |
attr WorkTop,Bottom:CARD; .. Included as Bottom |
---|
**** |
-------_search_codes_-------- list of gen. to check if the rep. is transitive. __List_it_in_the_order_of_used_by_setF,setCNJ. Be careful about the order, because it is used to update representation table. |
attr Dir:BOOL; |
---|
attr GenMax:CARD; .. Included as GenMax |
---|
attr Rback:CARD; .. Included as Rback |
---|
**** | area for equivalence check of rep. |
attr Relator:ARRAY{WORD}; .. Included as Relator |
---|
attr RepCount:CARD; |
---|
**** | #of finded representation |
attr Work:CARD; .. Included as Work |
---|
attr WorkTop,Bottom:CARD; .. Included as WorkTop |
---|
**** |
-------_search_codes_-------- list of gen. to check if the rep. is transitive. __List_it_in_the_order_of_used_by_setF,setCNJ. Be careful about the order, because it is used to update representation table. |
attr YangList:ARRAY{INT}; .. Included as YangList |
---|
**** | for covering distribution_(yang)
list of gen. to check if the rep. is transitive.
__List_it_in_the_order_of_used_by_setF,setCNJ. Be careful about the order, because it is used to update representation table. |
attr base:CARD; .. Included as base |
---|
**** | area for generators |
attr checkTra:ARRAY{INT}; .. Included as checkTra |
---|
**** | [1..REPmaxC]
list of gen. to check if the rep. is transitive.
__List_it_in_the_order_of_used_by_setF,setCNJ. Be careful about the order, because it is used to update representation table. |
attr freq0,freq1,freq3:CARD; .. Included as freq0 |
---|
attr freq0,freq1,freq3:CARD; .. Included as freq1 |
---|
attr freq0,freq1,freq3:CARD; .. Included as freq3 |
---|
attr g0,g1,g3:CARD; .. Included as g0 |
---|
attr g0,g1,g3:CARD; .. Included as g1 |
---|
attr g0,g1,g3:CARD; .. Included as g3 |
---|
attr longPtr:CARD; .. Included as longPtr |
---|
**** | area for longitudes |
attr merPtr:CARD; .. Included as merPtr |
---|
**** | area for meridian |
attr orbitmPtr:CARD; .. Included as orbitmPtr |
---|
**** | area for br.index |
attr orbitpPtr:CARD; .. Included as orbitpPtr |
---|
**** | area for compo~.number |
attr rep_tbl:REP_TABLE{SL2P_STACK,SL2P_STACK_GT}; |
---|
attr rep_tbl2:REP_TABLE{SL2P_STACK,SL2P_STACK_GT}; |
---|
attr sPtr:CARD; .. Included as sPtr |
---|
**** | code pointer
list of gen. to check if the rep. is transitive.
__List_it_in_the_order_of_used_by_setF,setCNJ. Be careful about the order, because it is used to update representation table. |
attr set0,set1,set3:BOOL; .. Included as set0 |
---|
attr set0,set1,set3:BOOL; .. Included as set1 |
---|
attr set0,set1,set3:BOOL; .. Included as set3 |
---|
attr setG:ARRAY{REP_OP}; .. Included as setG |
---|
**** | [0..2*REPmaxC]
list of gen. to check if the rep. is transitive.
__List_it_in_the_order_of_used_by_setF,setCNJ. Be careful about the order, because it is used to update representation table. |
attr sg_compo:ARRAY{CARD}; .. Included as sg_compo |
---|
**** | gen. number --> component |
attr sg_freq :ARRAY{CARD}; .. Included as sg_freq |
---|
**** | How many occur in words |
attr sg_set:ARRAY{BOOL}; .. Included as sg_set |
---|
**** | gen. number --> condition of the gen. |
attr sl:ARRAY{CARD}; .. Included as sl |
---|
**** | compo--> non-zero if settled. |
attr sr:ARRAY{BOOL}; .. Included as sr |
---|
**** | rel. number-->true if used |
attr stack:SL2P_STACK; |
---|
**** |
attr windLon:CARD; .. Included as windLon |
---|
**** | winding of longitude~ |
attr yangPtr:CARD; .. Included as yangPtr |
---|
**** | area for conjugate class/Yang diagrams |
Free .. Included as Free |
---|
Fs1(inout g,inout cn:CARD):BOOL .. Included as Fs1 |
---|
**** | set g |
Fs2(inout g,inout cn:CARD):BOOL .. Included as Fs2 |
---|
**** |
__set__g |
Fs4(inout g,inout cn:CARD):BOOL .. Included as Fs4 |
---|
**** | set g |
Fs5(inout g,inout cn:CARD):BOOL .. Included as Fs5 |
---|
**** | set g |
FsNewG(inout g,inout cn, g1, cn1:CARD) .. Included as FsNewG |
---|
Hom .. Included as Hom |
---|
InitCodeExec(n:INT) |
---|
InitCodeGen(TCode:TCODE) .. Included as InitCodeGen |
---|
InitVar(TCode:TCODE) .. Included as InitVar |
---|
Rel .. Included as Rel |
---|
RelSr(inout rn:CARD, gc:CARD, p0,p1,p2:INT) .. Included as RelSr |
---|
**** | gc:= p0 p1 p2 |
SetRep |
---|
SetYang(g:CARD) .. Included as SetYang |
---|
T1 .. Included as T1 |
---|
Tra .. Included as Tra |
---|
**** | check transitive |
WriteRep(TCode:TCODE, eff:BOOL) .. Included as WriteRep |
---|
WriteRepLog(TCode:TCODE,eff:BOOL) |
---|
**** | if true then write the result, else write the state of manual set. |
checkStack .. Included as checkStack |
---|
create(TCode:TCODE,n:INT):SAME |
---|
create:SAME |
---|
printD_F(i:INT) .. Included as printD_F |
---|
printD_G .. Included as printD_G |
---|
**** |
printD_compo(str:STR, num:INT) .. Included as printD_compo |
---|
printD_gen(i:INT, str:STR) .. Included as printD_gen |
---|
setRelG(rn:CARD) .. Included as setRelG |
---|
**** | rn: relator number Assume the relation be the form of crossing: (a b a~ c~) or theta: (a b c~) or un-ori.band: a b |