Documentation

LeanPool.Erdos97ConvexOctagon.CoverageSearchRowChoices

Lightweight legal-row search data #

source
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.

Instances For
    source
    def Erdos97Octagon.RawIncidence.searchRowChoices0 :
    Array SearchRowChoice

    Packed search-row choices for vertex 0.

    Equations
    • One or more equations did not get rendered due to their size.
    Instances For
      source
      def Erdos97Octagon.RawIncidence.searchRowChoices1 :
      Array SearchRowChoice

      Packed search-row choices for vertex 1.

      Equations
      • One or more equations did not get rendered due to their size.
      Instances For
        source
        def Erdos97Octagon.RawIncidence.searchRowChoices2 :
        Array SearchRowChoice

        Packed search-row choices for vertex 2.

        Equations
        • One or more equations did not get rendered due to their size.
        Instances For
          source
          def Erdos97Octagon.RawIncidence.searchRowChoices3 :
          Array SearchRowChoice

          Packed search-row choices for vertex 3.

          Equations
          • One or more equations did not get rendered due to their size.
          Instances For
            source
            def Erdos97Octagon.RawIncidence.searchRowChoices4 :
            Array SearchRowChoice

            Packed search-row choices for vertex 4.

            Equations
            • One or more equations did not get rendered due to their size.
            Instances For
              source
              def Erdos97Octagon.RawIncidence.searchRowChoices5 :
              Array SearchRowChoice

              Packed search-row choices for vertex 5.

              Equations
              • One or more equations did not get rendered due to their size.
              Instances For
                source
                def Erdos97Octagon.RawIncidence.searchRowChoices6 :
                Array SearchRowChoice

                Packed search-row choices for vertex 6.

                Equations
                • One or more equations did not get rendered due to their size.
                Instances For
                  source
                  def Erdos97Octagon.RawIncidence.searchRowChoices7 :
                  Array SearchRowChoice

                  Packed search-row choices for vertex 7.

                  Equations
                  • One or more equations did not get rendered due to their size.
                  Instances For
                    source
                    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.
                    Instances For
                      source
                      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.
                      Instances For