operations_research::sat::VariableWithSameReasonIdentifier Class Reference

Detailed Description

Definition at line 749 of file pb_constraint.h.

#include <pb_constraint.h>

Public Member Functions
	VariableWithSameReasonIdentifier (const Trail &trail)
	VariableWithSameReasonIdentifier (const VariableWithSameReasonIdentifier &)=delete
VariableWithSameReasonIdentifier &	operator= (const VariableWithSameReasonIdentifier &)=delete
void	Resize (int num_variables)
void	Clear ()
BooleanVariable	FirstVariableWithSameReason (BooleanVariable var)

Constructor & Destructor Documentation

VariableWithSameReasonIdentifier() [1/2]

operations_research::sat::VariableWithSameReasonIdentifier::VariableWithSameReasonIdentifier ( const Trail & trail )

inlineexplicit

Definition at line 751 of file pb_constraint.h.

VariableWithSameReasonIdentifier() [2/2]

operations_research::sat::VariableWithSameReasonIdentifier::VariableWithSameReasonIdentifier ( const VariableWithSameReasonIdentifier & )

delete

Member Function Documentation

Clear()

void operations_research::sat::VariableWithSameReasonIdentifier::Clear ( )

inline

Definition at line 766 of file pb_constraint.h.

FirstVariableWithSameReason()

BooleanVariable operations_research::sat::VariableWithSameReasonIdentifier::FirstVariableWithSameReason ( BooleanVariable var )

inline

Definition at line 771 of file pb_constraint.h.

operator=()

VariableWithSameReasonIdentifier & operations_research::sat::VariableWithSameReasonIdentifier::operator= ( const VariableWithSameReasonIdentifier & )

delete

Resize()

void operations_research::sat::VariableWithSameReasonIdentifier::Resize ( int num_variables )

inline

Definition at line 760 of file pb_constraint.h.

---

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

• ortools/sat/pb_constraint.h