Module pyprotolinc.models

class pyprotolinc.models.Model(states_model: type[pyprotolinc.models.state_models.AbstractStateModel], assumptions_wrapper: AssumptionSetWrapper)

The model class describes the static parts of a model.

get_non_trivial_state_transitions(be_or_res: AssumptionType) → list[tuple[int, int]]

Returns a list of the non-trivial state transitions.

abstract new_state_instance(num_timesteps: int, portfolio: Portfolio, rows_for_state_recorder: Optional[Iterable[int]] = None, *args: Any, **kwargs: Any) → ModelState

Return a new instance of the run-state.

class pyprotolinc.models.ModelState

This class describes the attributes of a Model while running.