Detailed Description

Definition at line 82 of file diffn_cuts.h.

#include <diffn_cuts.h>

Inheritance diagram for operations_research::sat::DiffnCtEvent:

Public Member Functions
	DiffnCtEvent (int t, const SchedulingConstraintHelper *x_helper)
std::string	DebugString () const
Public Member Functions inherited from operations_research::sat::DiffnBaseEvent
	DiffnBaseEvent (int t, const SchedulingConstraintHelper *x_helper)

Public Attributes
AffineExpression	x_end
double	x_lp_end
bool	use_energy = false
bool	lifted = false
bool	y_size_is_fixed = false
Public Attributes inherited from operations_research::sat::DiffnBaseEvent
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

operations_research::sat::DiffnCtEvent::DiffnCtEvent	(	int	t,
		const SchedulingConstraintHelper *	x_helper )

Definition at line 371 of file diffn_cuts.cc.

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

Definition at line 374 of file diffn_cuts.cc.

bool operations_research::sat::DiffnCtEvent::lifted = false

Definition at line 95 of file diffn_cuts.h.

bool operations_research::sat::DiffnCtEvent::use_energy = false

Definition at line 91 of file diffn_cuts.h.

AffineExpression operations_research::sat::DiffnCtEvent::x_end

Definition at line 86 of file diffn_cuts.h.

double operations_research::sat::DiffnCtEvent::x_lp_end

Definition at line 87 of file diffn_cuts.h.

bool operations_research::sat::DiffnCtEvent::y_size_is_fixed = false

Definition at line 100 of file diffn_cuts.h.

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