Lightweight legal-row search data

structure Erdos97Octagon.RawIncidence.SearchRowChoice : Type

A legal row and its packed unordered-pair mask.

• rowMask : UInt64

  Eight-bit target-row mask.

• pairMask : UInt64

  Packed unordered-pair bits selected together by the row.

def Erdos97Octagon.RawIncidence.searchRowChoices : Array (Array SearchRowChoice)

All lightweight choices, in the same order as the generated pattern choices.

Equations

• One or more equations did not get rendered due to their size.

def Erdos97Octagon.RawIncidence.searchChoiceForRow (centre : Vertex) (row : UInt64) : SearchRowChoice

Retrieve one lightweight choice by its row mask.

Equations

• One or more equations did not get rendered due to their size.