Monty.Frameworks.Models.EvidenceMatching.EvidenceSlopeTracker.HypothesesSelection (ExTbpMonty.Core v0.1.0)

Copy Markdown View Source

Which hypotheses a slope threshold keeps, as a mask and as indices.

Mirrors evidence_slope_tracker.py::HypothesesSelection. The mask is the thing that was decided; the two index lists are what a caller acts on, and keeping them here means "retained" and "removed" cannot drift apart.

Summary

Functions

How many hypotheses the selection is about.

The indices of the hypotheses to remove, in order.

The indices of the hypotheses to keep, in order.

A selection from a mask, true meaning the hypothesis is kept.

Types

t()

@type t() ::
  %Monty.Frameworks.Models.EvidenceMatching.EvidenceSlopeTracker.HypothesesSelection{
    mask: [boolean()]
  }

Functions

count(hypotheses_selection)

@spec count(t()) :: non_neg_integer()

How many hypotheses the selection is about.

ids_to_remove(hypotheses_selection)

@spec ids_to_remove(t()) :: [non_neg_integer()]

The indices of the hypotheses to remove, in order.

ids_to_retain(hypotheses_selection)

@spec ids_to_retain(t()) :: [non_neg_integer()]

The indices of the hypotheses to keep, in order.

new(mask)

@spec new([boolean()]) :: t()

A selection from a mask, true meaning the hypothesis is kept.