Equation Member List

This is the complete list of members for Equation, including all inherited members.

clone() (defined in Equation)	Equation	[inline]
cols (defined in Equation)	Equation
compute_gcd(bool skip_last=false) (defined in Equation)	Equation	[inline]
compute_hash_d() (defined in Equation)	Equation	[inline]
compute_hash_i() (defined in Equation)	Equation	[inline]
divide(bignum b) (defined in Equation)	Equation	[inline]
eq (defined in Equation)	Equation
Equation(int cols, bool infinite) (defined in Equation)	Equation	[inline]
Equation(int cols) (defined in Equation)	Equation	[inline]
evaluate(vector< bigfraction > &a) (defined in Equation)	Equation	[inline]
flip_sign() (defined in Equation)	Equation	[inline]
flip_sign(int c) (defined in Equation)	Equation	[inline]
get(int c) (defined in Equation)	Equation	[inline]
get_cols() (defined in Equation)	Equation	[inline]
hash_code() (defined in Equation)	Equation	[inline]
infinite (defined in Equation)	Equation
is_proof() (defined in Equation)	Equation	[inline]
make_infinite() (defined in Equation)	Equation	[inline]
num_entries() (defined in Equation)	Equation	[inline]
operator!=(Equation &other) (defined in Equation)	Equation	[inline]
operator<(Equation &other) (defined in Equation)	Equation	[inline]
operator<< (defined in Equation)	Equation	[friend]
operator==(Equation &other) (defined in Equation)	Equation	[inline]
proof (defined in Equation)	Equation
satisfies(vector< bigfraction > &a) (defined in Equation)	Equation	[inline]
set(int c, const bignum b) (defined in Equation)	Equation	[inline]
set_initial_value(int c, data_type d) (defined in Equation)	Equation	[inline]
set_proof() (defined in Equation)	Equation	[inline]
slack_matrix (defined in Equation)	Equation	[friend]
to_string() (defined in Equation)	Equation	[inline]
unset_proof() (defined in Equation)	Equation	[inline]
~Equation() (defined in Equation)	Equation	[inline]