/**
* Resizes the table rows.
* @param n the number of rows.
*/
void setNumRows(int n) {
table.resize(n);
}
/**
* Clears and initializes the table.
* @param n the number of rows.
*/
void init(int n = 0) {
table.clear();
table.resize(n);
}
