OR-Tools  8.2
VariableWithSameReasonIdentifier

Detailed Description

Definition at line 687 of file pb_constraint.h.

Public Member Functions

 VariableWithSameReasonIdentifier (const Trail &trail)
 
void Resize (int num_variables)
 
void Clear ()
 
BooleanVariable FirstVariableWithSameReason (BooleanVariable var)
 

Constructor & Destructor Documentation

◆ VariableWithSameReasonIdentifier()

VariableWithSameReasonIdentifier ( const Trail trail)
inlineexplicit

Definition at line 689 of file pb_constraint.h.

Member Function Documentation

◆ Clear()

void Clear ( )
inline

Definition at line 698 of file pb_constraint.h.

◆ FirstVariableWithSameReason()

BooleanVariable FirstVariableWithSameReason ( BooleanVariable  var)
inline

Definition at line 703 of file pb_constraint.h.

◆ Resize()

void Resize ( int  num_variables)
inline

Definition at line 692 of file pb_constraint.h.


The documentation for this class was generated from the following file: