Public Member Functions | Protected Attributes | Friends
matrix Class Reference

List of all members.

Public Member Functions

 matrix (int rows, int num_vars, vector< string > *vars)
 matrix (int rows, int cols)
int num_rows ()
int num_vars ()
int num_cols ()
 matrix (const matrix &other, int new_rows=-1)
void simplify_matrix ()
void set (int r, int c, bignum v)
void set (int r, int c, long int i)
bignum get (int r, int c)
void multiply_row (int r, bignum f)
void flip_row_sign (int r)
void divide_row (int r, bignum f)
void add_row (int r, bignum f)
void delete_bigrow (int r)
string to_string ()
bignum get_coef_gcd (int r)
vector< string > & get_vars ()
int get_pivot (int r)
bignum get_constant (int r)
void set_constant (int r, bignum b)
void set_pivot (int r, int p)
int get_first_positive_index (int r)
void pivot (int pivot_row, int pivot_index, bool simplify=true)
void multiply (matrix &op, matrix &result)
bignum dot_product (int r, int cc, matrix &op)
void compute_redundant_rows (std::set< int > &red_rows)
bignum invert (matrix &result)
void vector_multiply (bignum *b, bignum *res)
void row_vector_multiply (bignum *b, bignum *res)

Protected Attributes

const int rows
const int cols
const int mcols
bool * big_rows
vector< string > * vars


class slack_matrix
ostream & operator<< (ostream &os, const matrix &obj)

The documentation for this class was generated from the following file: