# builders.domain.scheduling.preemptivity

Domain specification

Domain

Only show finetuned characteristics Simplify signatures

# ResumeType

An enumeration.

# NA ResumeType

# Restart ResumeType

# Resume ResumeType

# WithPreemptivity

A domain must inherit this class if there exist at least 1 task that can be paused.

# get_task_paused_non_renewable_resource_returned WithPreemptivity

get_task_paused_non_renewable_resource_returned(
  self
) -> dict[int, bool]

Return a dictionary where the key is a task id and the value is of type bool indicating if the non-renewable resources are consumed when the task is paused (False) or made available again (True). E.g. { 2: False # if paused, non-renewable resource will be consumed 5: True # if paused, the non-renewable resource will be available again }

# get_task_preemptivity WithPreemptivity

get_task_preemptivity(
  self
) -> dict[int, bool]

Return a dictionary where the key is a task id and the value a boolean indicating if the task can be paused or stopped. E.g. { 1: False 2: True 3: False 4: False 5: True 6: False }

# get_task_resuming_type WithPreemptivity

get_task_resuming_type(
  self
) -> dict[int, ResumeType]

Return a dictionary where the key is a task id and the value is of type ResumeType indicating if the task can be resumed (restarted from where it was paused with no time loss) or restarted (restarted from the start). E.g. { 1: ResumeType.NA 2: ResumeType.Resume 3: ResumeType.NA 4: ResumeType.NA 5: ResumeType.Restart 6: ResumeType.NA }

# _get_task_paused_non_renewable_resource_returned WithPreemptivity

_get_task_paused_non_renewable_resource_returned(
  self
) -> dict[int, bool]

# _get_task_preemptivity WithPreemptivity

_get_task_preemptivity(
  self
) -> dict[int, bool]

Return a dictionary where the key is a task id and the value a boolean indicating if the task can be paused or stopped. E.g. { 1: False 2: True 3: False 4: False 5: True 6: False }

# _get_task_resuming_type WithPreemptivity

_get_task_resuming_type(
  self
) -> dict[int, ResumeType]

# WithoutPreemptivity

A domain must inherit this class if none of the task can be paused.

# get_task_paused_non_renewable_resource_returned WithPreemptivity

get_task_paused_non_renewable_resource_returned(
  self
) -> dict[int, bool]

# get_task_preemptivity WithPreemptivity

get_task_preemptivity(
  self
) -> dict[int, bool]

Return a dictionary where the key is a task id and the value a boolean indicating if the task can be paused or stopped. E.g. { 1: False 2: True 3: False 4: False 5: True 6: False }

# get_task_resuming_type WithPreemptivity

get_task_resuming_type(
  self
) -> dict[int, ResumeType]

# _get_task_paused_non_renewable_resource_returned WithPreemptivity

_get_task_paused_non_renewable_resource_returned(
  self
) -> dict[int, bool]

# _get_task_preemptivity WithPreemptivity

_get_task_preemptivity(
  self
) -> dict[int, bool]

Return a dictionary where the key is a task id and the value a boolean indicating if the task can be paused or stopped. E.g. { 1: False 2: True 3: False 4: False 5: True 6: False }

# _get_task_resuming_type WithPreemptivity

_get_task_resuming_type(
  self
) -> dict[int, ResumeType]