Documentation

LeanPool.Erdos97ConvexOctagon.CoverageSummaryData

Aggregated lightweight coverage summaries #

source
def Erdos97Octagon.RawIncidence.patternSummaryBucketGroups :
Array (Array (List PatternSummary))

The 32 groups containing all lightweight pattern summaries.

Equations
  • One or more equations did not get rendered due to their size.
Instances For
    source
    def Erdos97Octagon.RawIncidence.hardSummaryBucketGroups :
    Array (Array (List HardSummary))

    The 32 groups containing all lightweight exact-table summaries.

    Equations
    • One or more equations did not get rendered due to their size.
    Instances For
      source
      def Erdos97Octagon.RawIncidence.PatternSummary.memberB (summary : PatternSummary) :
      Bool

      Check that a pattern summary occurs in the unique generated summary data.

      Equations
      • One or more equations did not get rendered due to their size.
      Instances For
        source
        def Erdos97Octagon.RawIncidence.HardSummary.memberB (summary : HardSummary) :
        Bool

        Check that a hard summary occurs in the unique generated summary data.

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