Searched refs:m_sup_to_col (Results 1 – 1 of 1) sorted by relevance
72 m_sup_to_col = sup_to_col.data(); in setInfos()141 StorageIndex* supToCol() { return m_sup_to_col; } in supToCol()145 return m_sup_to_col; in supToCol()172 StorageIndex* m_sup_to_col; //sup_to_col[s] points to the starting column of the s-th supernode variable