List of all members.
Public Member Functions |
|
| Equation (int cols, bool infinite) |
|
void | set_initial_value (int c, data_type d) |
|
size_t | compute_hash_d () |
|
size_t | compute_hash_i () |
|
void | make_infinite () |
|
Equation * | clone () |
|
void | divide (bignum b) |
|
| Equation (int cols) |
|
void | set_proof () |
|
void | unset_proof () |
|
bool | is_proof () |
|
bignum | compute_gcd (bool skip_last=false) |
|
int | get_cols () |
|
bool | satisfies (vector< bigfraction > &a) |
|
bigfraction | evaluate (vector< bigfraction > &a) |
|
void | set (int c, const bignum b) |
|
void | flip_sign () |
|
void | flip_sign (int c) |
|
bignum | get (int c) |
|
size_t | hash_code () |
|
int | num_entries () |
|
string | to_string () |
|
bool | operator== (Equation &other) |
|
bool | operator< (Equation &other) |
|
bool | operator!= (Equation &other) |
Public Attributes |
|
data_type * | eq |
|
int | cols |
|
bool | infinite |
|
bool | proof |
Friends |
|
class | slack_matrix |
|
ostream & | operator<< (ostream &os, const Equation &obj) |
The documentation for this class was generated from the following file:
