cprover
|
#include <polynomial.h>
Classes | |
struct | termt |
Public Member Functions | |
int | compare (monomialt &other) |
int | degree () |
bool | contains (const exprt &var) |
Public Attributes | |
std::vector< termt > | terms |
int | coeff |
Definition at line 20 of file polynomial.h.
int monomialt::compare | ( | monomialt & | other | ) |
Definition at line 348 of file polynomial.cpp.
References terms.
Referenced by polynomialt::coeff().
bool monomialt::contains | ( | const exprt & | var | ) |
Definition at line 477 of file polynomial.cpp.
References irept::id().
int monomialt::degree | ( | ) |
Definition at line 463 of file polynomial.cpp.
int monomialt::coeff |
Definition at line 31 of file polynomial.h.
Referenced by polynomialt::add(), acceleration_utilst::extract_polynomial(), polynomialt::from_expr(), and polynomialt::mult().
std::vector<termt> monomialt::terms |
Definition at line 30 of file polynomial.h.
Referenced by compare(), acceleration_utilst::extract_polynomial(), polynomialt::from_expr(), and polynomialt::mult().