C++ Reference: class RevBitMatrix

Note: This documentation is automatically generated.

Matrix version of the RevBitSet class.
Method
Cardinality

Return type: int64_t

Arguments: int row

Returns the number of bits set to one in the 'row' row.

ClearAll

Return type: void

Arguments: Solver* const solver

Cleans all bits.

GetFirstBit

Return type: int64_t

Arguments: int row, int start

Returns the first bit in the row 'row' which position is >= 'start'. It returns -1 if there are none.

IsCardinalityOne

Return type: bool

Arguments: int row

Does the 'row' bitset contains only one bit set?

IsCardinalityZero

Return type: bool

Arguments: int row

Is bitset of row 'row' null?

IsSet

Return type: bool

Arguments: int64_t row, int64_t column

Returns whether the 'column' bit in the 'row' row is set.

RevBitMatrix

Arguments: int64_t rows, int64_t columns

~RevBitMatrix

SetToOne

Return type: void

Arguments: Solver* const solver, int64_t row, int64_t column

Sets the 'column' bit in the 'row' row.

SetToZero

Return type: void

Arguments: Solver* const solver, int64_t row, int64_t column

Erases the 'column' bit in the 'row' row.