saealib.core.AssumptionSet

class saealib.core.AssumptionSet(values=None)

Bases: Mapping[str, bool]

Map declared assumptions while supplying unaware defaults.

Parameters:

values (Mapping[str, bool] | None)

Methods

__init__
empty	Return an empty assumption set.
get	D.get(k[,d]) -> D[k] if k in D, else d.
items	D.items() -> a set-like object providing a view on D's items
keys	D.keys() -> a set-like object providing a view on D's keys
values	D.values() -> an object providing a view on D's values

Method Details

AssumptionSet.__init__(values=None)

Parameters:

values (Mapping[str, bool] | None)

Return type:

None

classmethod AssumptionSet.empty()

Return an empty assumption set.

Return type:

AssumptionSet

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

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

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

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