Module genref

generalized refinement

Functions

__lt (d1, d2)

Tables

indexByTuple We plan to use color[t] for, e.g., t={3,8,7} in 3-WL Internally color[t] is stored at color.indexByTuple[3][8][7] Note that refmain never assigns a new table to color.


Functions

__lt (d1, d2)

Parameters:

  • d1
  • d2

Returns:

  1. boolean d1 stands before d2 or is equiv. to d2
  2. number r: d1,d2 can be separated in round r

Tables

indexByTuple
We plan to use color[t] for, e.g., t={3,8,7} in 3-WL Internally color[t] is stored at color.indexByTuple[3][8][7] Note that refmain never assigns a new table to color.

Fields:

  • __index
  • j
  • __newindex
generated by LDoc 1.5.0 Last updated 2024-07-29 15:34:55