stormvogel.umbi.translate¶

Attributes¶

`_UMBI_AVAILABLE`
`logger`

Functions¶

`none_to_empty_string`(→ str)
`empty_string_to_none`(→ str \| None)
`to_nr_players`(→ int)
`to_time_type`(→ umbi.ats.TimeType)
`to_umbi_interval`(→ umbi.datatypes.Interval)
`from_umbi_interval`(→ stormvogel.model.value.Interval)
`_domain_from_umbi_var`(...)	Infer a stormvogel domain from a UMBI variable's observed value set.
`get_model_type`(→ stormvogel.model.model.ModelType)
`translate_to_umbi`(→ umbi.ats.simple_ats.SimpleAts)	Export a stormvogel Model to a UMBI SimpleAts.
`translate_to_stormvogel`(→ stormvogel.model.model.Model)	Import a UMBI SimpleAts as a stormvogel Model.

Module Contents¶

stormvogel.umbi.translate._UMBI_AVAILABLE = True¶

stormvogel.umbi.translate.logger¶

stormvogel.umbi.translate.none_to_empty_string(x: str | None) → str¶

stormvogel.umbi.translate.empty_string_to_none(x: str) → str | None¶

stormvogel.umbi.translate.to_nr_players(model_type: stormvogel.model.model.ModelType) → int¶

stormvogel.umbi.translate.to_time_type(model_type: stormvogel.model.model.ModelType) → umbi.ats.TimeType¶

stormvogel.umbi.translate.to_umbi_interval(interval: stormvogel.model.value.Interval) → umbi.datatypes.Interval¶

stormvogel.umbi.translate.from_umbi_interval(interval: umbi.datatypes.Interval) → stormvogel.model.value.Interval¶

stormvogel.umbi.translate._domain_from_umbi_var(v: umbi.ats.Variable) → stormvogel.model.variable.IntDomain | stormvogel.model.variable.BoolDomain | stormvogel.model.variable.CategoricalDomain | None¶: Infer a stormvogel domain from a UMBI variable’s observed value set.

stormvogel.umbi.translate.get_model_type(time: umbi.ats.TimeType, players: int, has_observations: bool) → stormvogel.model.model.ModelType¶

stormvogel.umbi.translate.translate_to_umbi(model: stormvogel.model.model.Model, ignore_unsupported_rewards: bool = False) → umbi.ats.simple_ats.SimpleAts¶

Export a stormvogel Model to a UMBI SimpleAts.

Args:: model: a stormvogel Model (DTMC, CTMC, MDP, or POMDP) ignore_unsupported_rewards: if True, silently skip transition reward models

instead of raising an error.

Returns: a umbi.ats.SimpleAts

stormvogel.umbi.translate.translate_to_stormvogel(ats: umbi.ats.simple_ats.SimpleAts, ignore_unsupported_rewards: bool = False, ignore_choice_annotations: bool = False, ignore_branch_annotations: bool = False) → stormvogel.model.model.Model¶

Import a UMBI SimpleAts as a stormvogel Model.

Args:

ats: a umbi.ats.SimpleAts ignore_unsupported_rewards: if True, silently skip reward annotations that have

only choice- or branch-level values (not supported by stormvogel state rewards) instead of raising an error.

ignore_choice_annotations: if True, silently skip choice-level variable valuations: instead of raising an error.
ignore_branch_annotations: if True, silently skip branch-level variable valuations: instead of raising an error.

Returns: a stormvogel Model