CBMC
|
#include <polynomial.h>
Public Member Functions | |
exprt | to_expr () |
void | from_expr (const exprt &expr) |
void | substitute (substitutiont &substitution) |
void | add (polynomialt &other) |
void | add (monomialt &monomial) |
void | mult (int scalar) |
void | mult (polynomialt &other) |
int | max_degree (const exprt &var) |
int | coeff (const exprt &expr) |
Public Attributes | |
std::vector< monomialt > | monomials |
Definition at line 41 of file polynomial.h.
Definition at line 243 of file polynomial.cpp.
void polynomialt::add | ( | polynomialt & | other | ) |
Definition at line 178 of file polynomial.cpp.
Definition at line 426 of file polynomial.cpp.
Definition at line 100 of file polynomial.cpp.
Definition at line 408 of file polynomial.cpp.
Definition at line 252 of file polynomial.cpp.
void polynomialt::mult | ( | polynomialt & | other | ) |
Definition at line 263 of file polynomial.cpp.
void polynomialt::substitute | ( | substitutiont & | substitution | ) |
Definition at line 160 of file polynomial.cpp.
exprt polynomialt::to_expr | ( | ) |
Definition at line 22 of file polynomial.cpp.
std::vector<monomialt> polynomialt::monomials |
Definition at line 46 of file polynomial.h.