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 exprt to_expr(const namespacet &ns, const irep_idt &identifier, const std::string &src)
std::string from_expr(const namespacet &ns, const irep_idt &identifier, const exprt &expr)
std::vector< polynomialt > polynomialst
std::vector< termt > terms
mini_bddt substitute(const mini_bddt &t, unsigned var, const mini_bddt &tp)
bool contains(const exprt &var)
Base class for all expressions.
std::map< exprt, exprt > substitutiont
int compare(monomialt &other)
std::vector< monomialt > monomials