Definition at line 173 of file pb_constraint.h.
◆ AddTerm()
void AddTerm |
( |
Literal |
literal, |
|
|
Coefficient |
coeff |
|
) |
| |
|
inline |
◆ AddToRhs()
void AddToRhs |
( |
Coefficient |
value | ) |
|
|
inline |
◆ CancelationAmount()
Coefficient CancelationAmount |
( |
Literal |
literal, |
|
|
Coefficient |
coeff |
|
) |
| const |
|
inline |
◆ ClearAll()
◆ ClearAndResize()
void ClearAndResize |
( |
int |
num_variables | ) |
|
◆ ComputeSlackForTrailPrefix()
Coefficient ComputeSlackForTrailPrefix |
( |
const Trail & |
trail, |
|
|
int |
trail_index |
|
) |
| const |
◆ CopyIntoVector()
◆ DebugString()
std::string DebugString |
( |
| ) |
|
◆ GetCoefficient()
Coefficient GetCoefficient |
( |
BooleanVariable |
var | ) |
const |
|
inline |
◆ GetLiteral()
Literal GetLiteral |
( |
BooleanVariable |
var | ) |
const |
|
inline |
◆ MaxSum()
Coefficient MaxSum |
( |
| ) |
const |
|
inline |
◆ PossibleNonZeros()
const std::vector< BooleanVariable > & PossibleNonZeros |
( |
| ) |
const |
|
inline |
◆ ReduceCoefficients()
void ReduceCoefficients |
( |
| ) |
|
◆ ReduceCoefficientsAndComputeSlackForTrailPrefix()
Coefficient ReduceCoefficientsAndComputeSlackForTrailPrefix |
( |
const Trail & |
trail, |
|
|
int |
trail_index |
|
) |
| |
◆ ReduceGivenCoefficient()
void ReduceGivenCoefficient |
( |
BooleanVariable |
var | ) |
|
|
inline |
◆ ReduceSlackTo()
void ReduceSlackTo |
( |
const Trail & |
trail, |
|
|
int |
trail_index, |
|
|
Coefficient |
initial_slack, |
|
|
Coefficient |
target |
|
) |
| |
◆ Rhs()
Coefficient Rhs |
( |
| ) |
const |
|
inline |
The documentation for this class was generated from the following files: