C++ Reference: class VariableWithSameReasonIdentifier

Note: This documentation is automatically generated.

Boolean linear constraints can propagate a lot of literals at the same time. As a result, all these literals will have exactly the same reason. It is important to take advantage of that during the conflict computation/minimization. On some problem, this can have a huge impact.

TODO(user): With the new SAME_REASON_AS mechanism, this is more general so move out of pb_constraint.

Method
Clear	Return type: void Clears the cache. Call this before each conflict analysis.
FirstVariableWithSameReason	Return type: BooleanVariable Arguments: BooleanVariable var Returns the first variable with exactly the same reason as 'var' on which this function was called since the last Clear(). Note that if no variable had the same reason, then var is returned.
Resize	Return type: void Arguments: int num_variables
VariableWithSameReasonIdentifier	Return type: explicit Arguments: const Trail& trail