cprover
|
#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.
void polynomialt::add | ( | polynomialt & | other | ) |
Definition at line 185 of file polynomial.cpp.
References monomialt::coeff, and monomials.
Referenced by add(), acceleration_utilst::do_arrays(), from_expr(), and mult().
void polynomialt::add | ( | monomialt & | monomial | ) |
Definition at line 250 of file polynomial.cpp.
int polynomialt::coeff | ( | const exprt & | expr | ) |
Definition at line 433 of file polynomial.cpp.
References monomialt::compare(), from_expr(), and monomials.
Referenced by acceleration_utilst::assign_array(), acceleration_utilst::do_arrays(), and to_expr().
void polynomialt::from_expr | ( | const exprt & | expr | ) |
Definition at line 101 of file polynomial.cpp.
References add(), binary2integer(), dstringt::c_str(), monomialt::coeff, monomialt::termt::exp, from_expr(), constant_exprt::get_value(), irept::id(), monomials, mult(), exprt::op0(), exprt::op1(), monomialt::terms, to_constant_expr(), to_symbol_expr(), and monomialt::termt::var.
Referenced by acceleration_utilst::assign_array(), coeff(), acceleration_utilst::do_arrays(), acceleration_utilst::expr2poly(), and from_expr().
int polynomialt::max_degree | ( | const exprt & | var | ) |
Definition at line 415 of file polynomial.cpp.
References monomials.
Referenced by acceleration_utilst::assign_array(), and acceleration_utilst::do_arrays().
void polynomialt::mult | ( | int | scalar | ) |
Definition at line 259 of file polynomial.cpp.
References monomials.
Referenced by acceleration_utilst::do_arrays(), and from_expr().
void polynomialt::mult | ( | polynomialt & | other | ) |
Definition at line 270 of file polynomial.cpp.
References add(), monomialt::coeff, monomialt::termt::exp, monomials, monomialt::terms, and monomialt::termt::var.
void polynomialt::substitute | ( | substitutiont & | substitution | ) |
Definition at line 167 of file polynomial.cpp.
References monomials, and to_symbol_expr().
Referenced by acceleration_utilst::do_arrays(), and acceleration_utilst::do_nonrecursive().
exprt polynomialt::to_expr | ( | ) |
Definition at line 23 of file polynomial.cpp.
References coeff(), from_integer(), irept::id(), join_types(), monomials, and neg().
Referenced by acceleration_utilst::array_assignments2polys(), acceleration_utilst::do_arrays(), and acceleration_utilst::do_nonrecursive().
std::vector<monomialt> polynomialt::monomials |
Definition at line 46 of file polynomial.h.
Referenced by add(), coeff(), acceleration_utilst::extract_polynomial(), polynomial_acceleratort::fit_const(), from_expr(), max_degree(), mult(), substitute(), and to_expr().