Google OR-Tools v9.15
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
operations_research::sat::CompletionTimeEvent Struct Reference

Detailed Description

Definition at line 109 of file scheduling_cuts.h.

#include <scheduling_cuts.h>

Public Member Functions

 CompletionTimeEvent (int t, SchedulingConstraintHelper *x_helper, SchedulingDemandHelper *demands_helper)
std::string DebugString () const

Public Attributes

int task_index
IntegerValue start_min
IntegerValue start_max
IntegerValue end_min
IntegerValue end_max
IntegerValue size_min
AffineExpression start
AffineExpression end
double lp_end = 0.0
IntegerValue demand_min
bool demand_is_fixed = false
IntegerValue energy_min
std::vector< LiteralValueValuedecomposed_energy
bool use_decomposed_energy_min = false
bool lifted = false

Constructor & Destructor Documentation

◆ CompletionTimeEvent()

operations_research::sat::CompletionTimeEvent::CompletionTimeEvent ( int t,
SchedulingConstraintHelper * x_helper,
SchedulingDemandHelper * demands_helper )

Definition at line 1080 of file scheduling_cuts.cc.

Member Function Documentation

◆ DebugString()

std::string operations_research::sat::CompletionTimeEvent::DebugString ( ) const

Definition at line 1111 of file scheduling_cuts.cc.

Member Data Documentation

◆ decomposed_energy

std::vector<LiteralValueValue> operations_research::sat::CompletionTimeEvent::decomposed_energy

Definition at line 141 of file scheduling_cuts.h.

◆ demand_is_fixed

bool operations_research::sat::CompletionTimeEvent::demand_is_fixed = false

Definition at line 134 of file scheduling_cuts.h.

◆ demand_min

IntegerValue operations_research::sat::CompletionTimeEvent::demand_min

Definition at line 129 of file scheduling_cuts.h.

◆ end

AffineExpression operations_research::sat::CompletionTimeEvent::end

Definition at line 125 of file scheduling_cuts.h.

◆ end_max

IntegerValue operations_research::sat::CompletionTimeEvent::end_max

Definition at line 120 of file scheduling_cuts.h.

◆ end_min

IntegerValue operations_research::sat::CompletionTimeEvent::end_min

Definition at line 119 of file scheduling_cuts.h.

◆ energy_min

IntegerValue operations_research::sat::CompletionTimeEvent::energy_min

Definition at line 137 of file scheduling_cuts.h.

◆ lifted

bool operations_research::sat::CompletionTimeEvent::lifted = false

Definition at line 149 of file scheduling_cuts.h.

◆ lp_end

double operations_research::sat::CompletionTimeEvent::lp_end = 0.0

Definition at line 126 of file scheduling_cuts.h.

◆ size_min

IntegerValue operations_research::sat::CompletionTimeEvent::size_min

Definition at line 121 of file scheduling_cuts.h.

◆ start

AffineExpression operations_research::sat::CompletionTimeEvent::start

Definition at line 124 of file scheduling_cuts.h.

◆ start_max

IntegerValue operations_research::sat::CompletionTimeEvent::start_max

Definition at line 118 of file scheduling_cuts.h.

◆ start_min

IntegerValue operations_research::sat::CompletionTimeEvent::start_min

Definition at line 117 of file scheduling_cuts.h.

◆ task_index

int operations_research::sat::CompletionTimeEvent::task_index

Definition at line 114 of file scheduling_cuts.h.

◆ use_decomposed_energy_min

bool operations_research::sat::CompletionTimeEvent::use_decomposed_energy_min = false

Definition at line 145 of file scheduling_cuts.h.


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