set_state_valuations

set_state_valuations(model, valuations: Valuations)

Create a copy of the model with the given state valuations.

Parameters:

• model – Sparse DTMC or MDP.

• valuations – The new state valuations.

Returns:

Copy of the model with the new state valuations.