labscheduler.solvers.cp_solver_structures module

Collection of utility structures used by the CP solver

class labscheduler.solvers.cp_solver_structures.CPVariables(inst: JSSP, offset: int)[source]

Bases: object

add_interval(o: Operation, interval: IntervalVar, is_present: int | IntVar = 1, **kwargs)[source]

Adds the interval var into the correct bundle. In the kwargs must be specified which machine shall execute which required role if that is not already specified in the operation (i.e. for pooling).

property all_intervals: list[IntervalVar]
hard_time_cons: list[Constraint] | None = None
horizon: int
intervals: dict[str, IntervalBundle]
intervals_by_id(idx: str) → list[IntervalVar][source]
objective: LinearExpr | int
offset: int
op_by_var_name: dict[str, Operation]
operation_by_machine: dict[str, list[IntervalVar]]
presence

alias of dict[str, int | IntVar]

reference_time: datetime
class labscheduler.solvers.cp_solver_structures.IntervalBundle(op_idx: str, interval_vars: list[tuple[~ortools.sat.python.cp_model.IntervalVar, dict[str, str], bool | ~ortools.sat.python.cp_model.IntVar]] = <factory>)[source]

Bases: object

Contains all information about the interval variables corresponding to an operation.

interval_vars: list[tuple[IntervalVar, dict[str, str], bool | IntVar]]
op_idx: str
labscheduler.solvers.cp_solver_structures.solver_status_to_solution_quality(status: <google.protobuf.internal.enum_type_wrapper.EnumTypeWrapper object at 0x7e767b7a4050>) → SolutionQuality[source]