refine_plan.models.state

State class for Markov models.

Author: Charlie Street Owner: Charlie Street

Classes

State

State class for Markov models.

Module Contents

class refine_plan.models.state.State(sf_value_dict)

Bases: object

State class for Markov models.

_state_dict

A dictionary from state factor name to value

_sf_dict

A dictionary from state factor name to state factor

_hash_val

The hash of the state

to_and_cond()

Converts a state into a conjunction of conditions.

Returns:

The AddCondition representing the state

apply_post_cond(cond)

Apply a postcondition to produce a new state.

Parameters:

cond – The postcondition to apply

Returns:

The new state