probly.quantification.decomposition.decomposition.CachingDecomposition

class probly.quantification.decomposition.decomposition.CachingDecomposition

Bases: Decomposition, ABC

Protocol for decompositions that cache their components.

canonical_notion: type[Notion] | None = None

abstract property components: list[type[Notion]]

The components of the decomposition.

get(k[, d]) → D[k] if k in D, else d.  d defaults to None.

get_canonical() → Notion

Return the canonical notion of the decomposition.

get_notion(notion: type[N]) → N

Return the component corresponding to the given notion.

items() → a set-like object providing a view on D's items

keys() → a set-like object providing a view on D's keys

values() → an object providing a view on D's values