C++ Reference: class RevBitMatrix

This documentation is automatically generated.

Matrix version of the RevBitSet class.
Method
Cardinality

Return type: int64

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

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 row, int64 column

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

RevBitMatrix

Arguments: int64 rows, int64 columns

~RevBitMatrix

SetToOne

Return type: void

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

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

SetToZero

Return type: void

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

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