| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119 |
- /= * /common/zeke
- |%
- ++ static
- =, constraint-util
- ^- static-table-common
- |%
- :: +name: name of the table
- :: +basic-column-names: names for base columns as terms
- :: +ext-column-names: names for extension columns as terms
- :: +column-names: names for all columns as terms
- ++ name %compute
- ++ column-names
- ^- (list col-name)
- ^~(:(weld basic-column-names ext-column-names mega-ext-column-names))
- ::
- ++ basic-column-names
- ^- (list col-name)
- :~ %pad
- %op0
- %op1
- %op2
- %op3
- %op4
- %op5
- %op6
- %op7
- %op8
- %op9
- ==
- ::
- ++ ext-column-names
- ^- (list col-name)
- %+ pelt-col %s-size
- %+ pelt-col %s-leaf
- %+ pelt-col %s-dyck
- %+ pelt-col %f-size
- %+ pelt-col %f-leaf
- %+ pelt-col %f-dyck
- %+ pelt-col %e-size
- %+ pelt-col %e-leaf
- %+ pelt-col %e-dyck
- %+ pelt-col %sf1-s-size
- %+ pelt-col %sf1-s-leaf
- %+ pelt-col %sf1-s-dyck
- %+ pelt-col %sf1-f-size
- %+ pelt-col %sf1-f-leaf
- %+ pelt-col %sf1-f-dyck
- %+ pelt-col %sf1-e-size
- %+ pelt-col %sf1-e-leaf
- %+ pelt-col %sf1-e-dyck
- %+ pelt-col %sf2-s-size
- %+ pelt-col %sf2-s-leaf
- %+ pelt-col %sf2-s-dyck
- %+ pelt-col %sf2-f-size
- %+ pelt-col %sf2-f-leaf
- %+ pelt-col %sf2-f-dyck
- %+ pelt-col %sf2-e-size
- %+ pelt-col %sf2-e-leaf
- %+ pelt-col %sf2-e-dyck
- %+ pelt-col %sf3-s-size
- %+ pelt-col %sf3-s-leaf
- %+ pelt-col %sf3-s-dyck
- %+ pelt-col %sf3-f-size
- %+ pelt-col %sf3-f-leaf
- %+ pelt-col %sf3-f-dyck
- %+ pelt-col %sf3-e-size
- %+ pelt-col %sf3-e-leaf
- %+ pelt-col %sf3-e-dyck
- %+ pelt-col %f-h-size
- %+ pelt-col %f-h-leaf
- %+ pelt-col %f-h-dyck
- %+ pelt-col %f-t-size
- %+ pelt-col %f-t-leaf
- %+ pelt-col %f-t-dyck
- %+ pelt-col %f-th-size
- %+ pelt-col %f-th-leaf
- %+ pelt-col %f-th-dyck
- %+ pelt-col %f-tt-size
- %+ pelt-col %f-tt-leaf
- %+ pelt-col %f-tt-dyck
- %+ pelt-col %f-tth-size
- %+ pelt-col %f-tth-leaf
- %+ pelt-col %f-tth-dyck
- %+ pelt-col %f-ttt-size
- %+ pelt-col %f-ttt-leaf
- %+ pelt-col %f-ttt-dyck
- %+ pelt-col %fcons-inv
- ~
- ::
- ++ mega-ext-column-names
- ^- (list col-name)
- %+ pelt-col %ln
- %+ pelt-col %sfcons-inv
- %+ pelt-col %opc
- %+ pelt-col %stack-kv
- %+ pelt-col %decode-mset
- %+ pelt-col %op0-mset
- ~
- ::
- ++ variables
- ^- (map col-name mp-mega)
- (make-vars:tlib column-names)
- ::
- ++ terminal-names
- ^- (list col-name)
- %+ pelt-col %compute-s-size
- %+ pelt-col %compute-s-leaf
- %+ pelt-col %compute-s-dyck
- %+ pelt-col %compute-f-size
- %+ pelt-col %compute-f-leaf
- %+ pelt-col %compute-f-dyck
- %+ pelt-col %compute-e-size
- %+ pelt-col %compute-e-leaf
- %+ pelt-col %compute-e-dyck
- %+ pelt-col %compute-decode-mset
- %+ pelt-col %compute-op0-mset
- ~
- --
- --
|
