#include <util_m4ri.h>

Public Attributes
int	m
int *	rmap
int *	rlist
word *	bits
size_t	cap

Detailed Description

Workspace of csr_cols_rank() and csr_cols_dependency() (one per thread, see cols_ws_init()): the rows of H touched by a set of columns are numbered in the order found (rmap, all -1 between the calls), and the columns are stored as dense bit vectors over these rows (bits, reallocated as needed).

Definition at line 150 of file util_m4ri.h.

Member Data Documentation

◆ bits

word* cols_ws_t::bits

the dense bit vectors of the columns (cap words)

Definition at line 154 of file util_m4ri.h.

Referenced by cols_ws_free().

◆ cap

size_t cols_ws_t::cap

number of words allocated in bits

Definition at line 155 of file util_m4ri.h.

◆ m

int cols_ws_t::m

number of rows of H (the size of rmap and rlist)

Definition at line 151 of file util_m4ri.h.

Referenced by cols_ws_init().

◆ rlist

int* cols_ws_t::rlist

the rows touched, in the order found

Definition at line 153 of file util_m4ri.h.

Referenced by cols_ws_free(), and cols_ws_init().

◆ rmap

int* cols_ws_t::rmap

row -> its index among the rows touched (-1: not touched)

Definition at line 152 of file util_m4ri.h.