Environment

class unified_planning.Environment

Bases: object

Represents the environment in the unified_planning library.

The Environment is a structure that contains multiple singleton objects that are used throughout the system, such as the ExpressionManager, TypeChecker, Factory, TypeManager.

property error_used_name: bool

property free_vars_oracle: unified_planning.model.FreeVarsOracle

Returns the environment’s FreeVarsOracle.

property expression_manager: unified_planning.model.ExpressionManager

Returns the environment’s ExpressionManager.

property type_manager: unified_planning.model.type_manager.TypeManager

Returns the environment’s TypeManager.

property type_checker: unified_planning.model.walkers.TypeChecker

Returns the environment’s TypeChecker.

property factory: unified_planning.engines.Factory

Returns the environment’s Factory.

property simplifier: unified_planning.model.walkers.Simplifier

Returns the environment’s Simplifier.

property substituter: unified_planning.model.walkers.Substituter

Returns the environment’s Substituter.

property free_vars_extractor: unified_planning.model.walkers.FreeVarsExtractor

Returns the environment’s FreeVarsExtractor.

property names_extractor: unified_planning.model.walkers.NamesExtractor

Returns the environment’s NamesExtractor.

property credits_stream: IO[str] | None

Returns the stream where the Engines credits are printed.