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

INTERPRETED_FUNCTIONS_REMOVING = 3

DISJUNCTIVE_CONDITIONS_REMOVING = 4

NEGATIVE_CONDITIONS_REMOVING = 5

QUANTIFIERS_REMOVING = 6

TRAJECTORY_CONSTRAINTS_REMOVING = 7

USERTYPE_FLUENTS_REMOVING = 8

BOUNDED_TYPES_REMOVING = 9

STATE_INVARIANTS_REMOVING = 10

MA_SINGLE_AGENT_PROJECTION = 11

MA_CENTRALIZATION = 12

MA_SL_ROBUSTNESS_VERIFICATION = 13

MA_SL_SOCIAL_LAW = 14

SA_MA_CONVERSION = 15

TIMED_TO_SEQUENTIAL = 16

DURATIVE_ACTIONS_TO_PROCESSES = 17

UNDEFINED_INITIAL_NUMERIC_REMOVING = 18