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

MA_SINGLE_AGENT_PROJECTION = 10

MA_CENTRALIZATION = 11

MA_SL_ROBUSTNESS_VERIFICATION = 12

MA_SL_SOCIAL_LAW = 13

SA_MA_CONVERSION = 14

TIMED_TO_SEQUENTIAL = 15

DURATIVE_ACTIONS_TO_PROCESSES = 16

UNDEFINED_INITIAL_NUMERIC_REMOVING = 17