up_SMT_engine.helper_functions.FluentHelperFunctions¶
Functions
|
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