Detailed Description

Definition at line 127 of file scheduling_cuts.h.

Public Member Functions
	BaseEvent (int t, SchedulingConstraintHelper *x_helper)

Public Attributes
IntegerValue	x_start_min

IntegerValue	x_start_max

IntegerValue	x_end_min

IntegerValue	x_end_max

IntegerValue	x_size_min

IntegerValue	y_min = IntegerValue(0)

IntegerValue	y_max = IntegerValue(0)

IntegerValue	y_size_min

IntegerValue	energy_min

std::vector< LiteralValueValue >	decomposed_energy

Constructor & Destructor Documentation

◆ BaseEvent()

BaseEvent	(	int	t,
		SchedulingConstraintHelper *	x_helper
	)

Definition at line 84 of file scheduling_cuts.cc.

Member Data Documentation

◆ decomposed_energy

std::vector<LiteralValueValue> decomposed_energy

Definition at line 146 of file scheduling_cuts.h.

◆ energy_min

IntegerValue energy_min

Definition at line 142 of file scheduling_cuts.h.

◆ x_end_max

IntegerValue x_end_max

Definition at line 134 of file scheduling_cuts.h.

◆ x_end_min

IntegerValue x_end_min

Definition at line 133 of file scheduling_cuts.h.

◆ x_size_min

IntegerValue x_size_min

Definition at line 135 of file scheduling_cuts.h.

◆ x_start_max

IntegerValue x_start_max

Definition at line 132 of file scheduling_cuts.h.

◆ x_start_min

IntegerValue x_start_min

Definition at line 131 of file scheduling_cuts.h.

◆ y_max

IntegerValue y_max = IntegerValue(0)

Definition at line 138 of file scheduling_cuts.h.

◆ y_min

IntegerValue y_min = IntegerValue(0)

Definition at line 137 of file scheduling_cuts.h.

◆ y_size_min

IntegerValue y_size_min

Definition at line 139 of file scheduling_cuts.h.

The documentation for this struct was generated from the following files: