#include <polynomial.h>
Public Member Functions | |
Polynomial () | |
Polynomial (int _idx) | |
int | get_idx () const |
void | set_idx (int idx_) |
int | get_level () const |
void | set_level (int level_) |
std::deque< Monomial * >::const_iterator | mon_begin () const |
std::deque< Monomial * >::const_iterator | mon_end () const |
void | mon_push_back (Monomial *m) |
void | mon_push_front (Monomial *m) |
Term * | get_lt () const |
Polynomial * | copy () const |
void | print (FILE *file, bool end=1) const |
~Polynomial () | |
bool | is_constant_zero_poly () const |
bool | is_constant_one_poly () const |
int | min_term_size () const |
Private Attributes | |
int | idx |
index as used in pac proofs More... | |
int | level = 1 |
level of polynomials needed for certificates More... | |
std::deque< Monomial * > | mon |
sorted deque of monomials More... | |
This class is used to polynomials.
Polynomial::Polynomial | ( | ) |
Constructor
Polynomial::Polynomial | ( | int | _idx | ) |
Constructor
_idx | default for index is zero |
Polynomial::~Polynomial | ( | ) |
Destructor
Polynomial * Polynomial::copy | ( | ) | const |
Copy routine
|
inline |
Getter for member idx
|
inline |
Getter for member level
|
inline |
Returns the leading term
bool Polynomial::is_constant_one_poly | ( | ) | const |
Returns whether the polynomial is the constant one polynomial
bool Polynomial::is_constant_zero_poly | ( | ) | const |
Returns whether the polynomial is the constant zero polynomial
int Polynomial::min_term_size | ( | ) | const |
Returns the size of the smallest term
|
inline |
Getter for begin of mon
|
inline |
Getter for end of mon
|
inline |
Appends monomial m to mon
m | Monomial* |
|
inline |
Prepends monomial m to mon
m | Monomial* |
void Polynomial::print | ( | FILE * | file, |
bool | end = 1 |
||
) | const |
Printing routine
file | Output file |
end | if true we print trailing ";" |
|
inline |
Setter for idx
idx_ | integer |
|
inline |
Setter for level
level_ | integer |
|
private |
index as used in pac proofs
|
private |
level of polynomials needed for certificates
|
private |
sorted deque of monomials