An Explanation of My Derivation from 50K Feet


below are two critical files in an ABET translation of the GheyiSplit refactoring.  The blue row in each table is the table header.

update.csv
extra.csv

TorB,fname,input,output,set,Notes
T,vfield,Bank,Str,linkvb_().vfield,
T,vfield,$Bank,$Str,vb_().vfield(),
T,ab,Account,$Bank,av().vb(),
T,ab,$Account,$Bank,av().vb(),
T,linkab,Account,Bank,linkav().linkvb(),
T,ab_,Bank,$Account,vb_().av_(),
T,ab_,$Bank,$Account,vb_().av_(),

T,toBank,Vector,Bank,linkvb(),
T,to$Bank,$Vector,$Bank,vb(),
T,to$Bank,Vector,$Bank,vb(),
T,toVector,Bank,Vector,linkvb_(),
T,to$Vector,$Bank,$Vector,vb_(),
T,to$Vector,Bank,$Vector,vb_(),

B,$Vector,Void,$Vector,$Bank.to$Vector(),$Vector
B,vfield,Vector,Str,toBank().vfield,vfield
B,vfield,$Vector,$Str,to$Bank().vfield(),account()
B,vb,Vector,$Bank,to$Bank(),bank()
B,vb,$Vector,$Bank,to$Bank(),
bank()
B,linkvb,Vector,Bank,toBank(),link2bank() B,vb_,Bank,$Vector,to$Vector(),b()
B,vb_,$Bank,$Vector,to$Vector(),b()
B,linkvb_,Bank,Vector,toVector(),b()
B,av,Account,$Vector,ab().to$Vector(),
a()
B,av,$Account,$Vector,ab().to$Vector(),a()
B,linkav,Account,Vector,linkab().toVector(),link2a()
B,av_,Vector,$Account,toBank().ab_(),
account()
B,av_,$Vector,$Account,to$Bank().ab_(),account(
TorBorTB,fname,input,output,arrowtype,Notes
T,linkab(or of()),Account,Bank,noargs,
B,linkvb(or bank()),Vector,Bank,noargs,
B,linkvb_(or b()),Bank,Vector,noargs,
B,linkav(or a()),Account,Vector,noargs,

T,toBank,Vector,Bank,noargs,
T,to$Bank,$Vector,$Bank,noargs,
T,to$Bank,Vector,$Bank,noargs,
T,toVector,Bank,Vector,noargs,
T,to$Vector,$Bank,$Vector,noargs,
T,to$Vector,Bank,$Vector,noargs,



The green operations that were added are automatically output by Meta4.  So there's nothing really new here.  In red I gave the original bottom names of each operation.

The red operations in the update table are the Union element correspondences.

Conclusion: Maybe easier to create redundant fields, associations, and tables, than separately updating Aocl expressions.