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