stormvogel.bird¶

Attributes¶

Action

Classes¶

State

bird state object. Can contain any number of any type of arguments

Functions¶

`valid_input`(delta, init[, rewards, labels, ...])	function that checks if the input for the bird model builder is valid
`build_bird`(→ stormvogel.model.Model[build_bird.ValueType])	function that converts a delta function, an available_actions function an initial state and a model type

Module Contents¶

class stormvogel.bird.State(**kwargs)¶

bird state object. Can contain any number of any type of arguments

__repr__()¶

__hash__()¶

__eq__(other)¶

type stormvogel.bird.Action = str¶

stormvogel.bird.valid_input(delta: Callable[[Any, Action], Any] | Callable[[Any], Any], init: Any, rewards: Callable[[Any, Action], dict[str, valid_input.ValueType]] | Callable[[Any], dict[str, valid_input.ValueType]] | None = None, labels: Callable[[Any], list[str] | str | None] | None = None, available_actions: Callable[[Any], list[Action]] | None = None, observations: Callable[[Any], int | list[tuple[valid_input.ValueType, int]]] | None = None, rates: Callable[[Any], float] | None = None, valuations: Callable[[Any], dict[str, float | int | bool]] | None = None, observation_valuations: Callable[[int], dict[str, float | int | bool]] | None = None, modeltype: stormvogel.model.ModelType = stormvogel.model.ModelType.MDP)¶: function that checks if the input for the bird model builder is valid it will give a runtime error if it isn’t.

stormvogel.bird.build_bird(delta: Callable[[Any, Action], Sequence[tuple[build_bird.ValueType, Any]] | Sequence[Any] | None] | Callable[[Any], Sequence[tuple[build_bird.ValueType, Any]] | Sequence[Any] | None], init: Any, rewards: Callable[[Any, Action], dict[str, build_bird.ValueType]] | Callable[[Any], dict[str, build_bird.ValueType]] | None = None, labels: Callable[[Any], list[str] | str | None] | None = None, available_actions: Callable[[Any], list[Action]] | None = None, observations: Callable[[Any], int | list[tuple[build_bird.ValueType, int]]] | None = None, rates: Callable[[Any], float] | None = None, valuations: Callable[[Any], dict[str, float | int | bool]] | None = None, observation_valuations: Callable[[int], dict[str, float | int | bool]] | None = None, modeltype: stormvogel.model.ModelType = stormvogel.model.ModelType.MDP, max_size: int = 10000) → stormvogel.model.Model[build_bird.ValueType]¶

function that converts a delta function, an available_actions function an initial state and a model type to a stormvogel model

this works analogous to a prism file, where the delta is the module in this case.

(this function uses the bird classes state and action instead of the ones from stormvogel.model)