up_SMT_engine.helper_functions.FluentHelperFunctions

Functions

handle_API_fluent(API_fluent, parallelism, ...)

Handles a single ungrounded api fluent, including grounding into each possible combination without parameters and creating a fluent object for each

up_SMT_engine.helper_functions.FluentHelperFunctions.handle_API_fluent(API_fluent, parallelism, grounded_objects)[source]

Handles a single ungrounded api fluent, including grounding into each possible combination without parameters and creating a fluent object for each

Args:

API_fluent (unified-planning.model.Fluent): unified-planning API based Fluent to be grounded parallelism (String): Type of parallelism to use grounded_objects (List[unified-planning.model.Object]): List of user objects including all possible parameters for the ungrounded fluent

Returns:

BaseFluent or BaseFluent subclass object: Custom fluent object used to generate Frame Axiom constraints, value bound constraints and to handle variables and chained variables for Fluents