cprover
|
#include <polynomial.h>
Public Attributes | |
exprt | var |
unsigned int | exp |
Definition at line 23 of file polynomial.h.
unsigned int monomialt::termt::exp |
Definition at line 26 of file polynomial.h.
Referenced by acceleration_utilst::extract_polynomial(), polynomial_acceleratort::fit_const(), polynomialt::from_expr(), and polynomialt::mult().
exprt monomialt::termt::var |
Definition at line 25 of file polynomial.h.
Referenced by acceleration_utilst::extract_polynomial(), polynomial_acceleratort::fit_const(), polynomialt::from_expr(), and polynomialt::mult().