Public Member Functions | Public Attributes | Friends
Equation Class Reference

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 ()
Equationclone ()
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_typeeq
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: