specless.wrapper.tswrapper.TransitionSystemWrapper

class specless.wrapper.tswrapper.TransitionSystemWrapper(env: Env, ignore_done: bool = False)

Bases: Wrapper

Wrapper to define an environment that can be represented as a transition system.

Methods

class_name	Returns the class name of the wrapper.
close	Closes the wrapper and env.
extract_transition_system	Extracts all data needed to build a transition system representation of the environment.
get_wrapped_actions
get_wrapper_attr	Gets an attribute from the wrapper and lower environments if name doesn't exist in this object.
make_transition
render	Uses the render() of the env that can be overwritten to change the returned data.
reset	Uses the reset() of the env that can be overwritten to change the returned data.
step	Uses the step() of the env that can be overwritten to change the returned data.
wrapper_spec	Generates a WrapperSpec for the wrappers.

Attributes

action_space	Return the Env action_space unless overwritten then the wrapper action_space is used.
metadata	Returns the Env metadata.
np_random	Returns the Env np_random attribute.
observation_space	Return the Env observation_space unless overwritten then the wrapper observation_space is used.
render_mode	Returns the Env render_mode.
reward_range	Return the Env reward_range unless overwritten then the wrapper reward_range is used.
spec	Returns the Env spec attribute with the WrapperSpec if the wrapper inherits from EzPickle.
unwrapped	Returns the base environment of the wrapper.

property action_space: Space[ActType] | Space[WrapperActType]

Return the Env action_space unless overwritten then the wrapper action_space is used.

classmethod class_name() → str

Returns the class name of the wrapper.

close()

Closes the wrapper and env.

extract_transition_system() → dict

Extracts all data needed to build a transition system representation of the environment.

Returns:

The transition system data.

get_wrapper_attr(name: str) → Any

Gets an attribute from the wrapper and lower environments if name doesn’t exist in this object.

Parameters:

name – The variable name to get

Returns:

The variable with name in wrapper or lower environments

property metadata: dict[str, Any]

Returns the Env metadata.

property np_random: Generator

Returns the Env np_random attribute.

property observation_space: Space[ObsType] | Space[WrapperObsType]

Return the Env observation_space unless overwritten then the wrapper observation_space is used.

render() → RenderFrame | list[RenderFrame] | None

Uses the render() of the env that can be overwritten to change the returned data.

property render_mode: str | None

Returns the Env render_mode.

reset(*, seed: int | None = None, options: dict[str, Any] | None = None) → tuple[WrapperObsType, dict[str, Any]]

Uses the reset() of the env that can be overwritten to change the returned data.

property reward_range: tuple[SupportsFloat, SupportsFloat]

Return the Env reward_range unless overwritten then the wrapper reward_range is used.

property spec: EnvSpec | None

Returns the Env spec attribute with the WrapperSpec if the wrapper inherits from EzPickle.

step(action: WrapperActType) → tuple[WrapperObsType, SupportsFloat, bool, bool, dict[str, Any]]

Uses the step() of the env that can be overwritten to change the returned data.

property unwrapped: Env[ObsType, ActType]

Returns the base environment of the wrapper.

This will be the bare gymnasium.Env environment, underneath all layers of wrappers.

classmethod wrapper_spec(**kwargs: Any) → WrapperSpec

Generates a WrapperSpec for the wrappers.