12 #ifndef CPROVER_GOTO_INSTRUMENT_ACCELERATE_POLYNOMIAL_H 13 #define CPROVER_GOTO_INSTRUMENT_ACCELERATE_POLYNOMIAL_H 56 void mult(
int scalar);
65 #endif // CPROVER_GOTO_INSTRUMENT_ACCELERATE_POLYNOMIAL_H void substitute(substitutiont &substitution)
std::vector< polynomialt > polynomialst
std::vector< termt > terms
int max_degree(const exprt &var)
bool contains(const exprt &var)
int coeff(const exprt &expr)
void from_expr(const exprt &expr)
Base class for all expressions.
std::map< exprt, exprt > substitutiont
int compare(monomialt &other)
void add(polynomialt &other)
std::vector< monomialt > monomials