CompilationKind
- class unified_planning.engines.CompilationKind(value)[source]
Bases:
Enum
Enum representing the available compilation kinds currently in the library.
- GROUNDING = 1
- CONDITIONAL_EFFECTS_REMOVING = 2
- DISJUNCTIVE_CONDITIONS_REMOVING = 3
- NEGATIVE_CONDITIONS_REMOVING = 4
- QUANTIFIERS_REMOVING = 5
- TRAJECTORY_CONSTRAINTS_REMOVING = 6
- USERTYPE_FLUENTS_REMOVING = 7
- BOUNDED_TYPES_REMOVING = 8
- STATE_INVARIANTS_REMOVING = 9