specless.wrapper.minigridwrapper.MiniGridTransitionSystemWrapper

class specless.wrapper.minigridwrapper.MiniGridTransitionSystemWrapper(env: MiniGridEnv, skip_observations: List[str] = ['unseen', 'wall', 'empty'], ignore_done: bool = True, ignore_direction: bool = True)[source]

Bases: TransitionSystemWrapper

Wrapper for the MiniGrid environment to build a transition system.

MiniGridEnv returns a state of type Dict

# state: Dict = { # ‘image’: image, # ‘direction’: self.agent_dir, # ‘mission’: self.mission # }

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

`LABELKEY`
`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.