stormvogel.transformations.make_absorbing

Transformation: make a set of states absorbing.

Functions

make_absorbing(→ None)

Make states absorbing by replacing their outgoing transitions with a self-loop.

Module Contents

stormvogel.transformations.make_absorbing.make_absorbing(model: stormvogel.model.model.Model, states: State | set[State] | str) → None

Make states absorbing by replacing their outgoing transitions with a self-loop.

Each target state’s Choices is replaced by a single EmptyAction → {state: 1} self-loop via set_choices(). The model is mutated in-place.

Parameters:

• model – The model to mutate.

• states – A single State, a set[State], or a label string resolved via get_states_with_label().

Raises:

KeyError – If states is a label that does not exist in model.