operations_research::sat::VariableWithSameReasonIdentifier Member List

This is the complete list of members for operations_research::sat::VariableWithSameReasonIdentifier, including all inherited members.

Clear()	operations_research::sat::VariableWithSameReasonIdentifier	inline
FirstVariableWithSameReason(BooleanVariable var)	operations_research::sat::VariableWithSameReasonIdentifier	inline
operator=(const VariableWithSameReasonIdentifier &)=delete	operations_research::sat::VariableWithSameReasonIdentifier
Resize(int num_variables)	operations_research::sat::VariableWithSameReasonIdentifier	inline
VariableWithSameReasonIdentifier(const Trail &trail)	operations_research::sat::VariableWithSameReasonIdentifier	inlineexplicit
VariableWithSameReasonIdentifier(const VariableWithSameReasonIdentifier &)=delete	operations_research::sat::VariableWithSameReasonIdentifier