class SL2P_CODE_EXEC




Public


Readable Attributes
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

Writable Attributes
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

Features
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

The Sather Home Page