cprover
polynomialt Class Reference

#include <polynomial.h>

Collaboration diagram for polynomialt:
[legend]

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< monomialtmonomials
 

Detailed Description

Definition at line 41 of file polynomial.h.

Member Function Documentation

§ add() [1/2]

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().

§ add() [2/2]

void polynomialt::add ( monomialt monomial)

Definition at line 250 of file polynomial.cpp.

References add(), and monomials.

§ coeff()

int polynomialt::coeff ( const exprt expr)

§ from_expr()

§ max_degree()

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().

§ mult() [1/2]

void polynomialt::mult ( int  scalar)

Definition at line 259 of file polynomial.cpp.

References monomials.

Referenced by acceleration_utilst::do_arrays(), and from_expr().

§ mult() [2/2]

void polynomialt::mult ( polynomialt other)

§ substitute()

void polynomialt::substitute ( substitutiont substitution)

§ to_expr()

Member Data Documentation

§ monomials


The documentation for this class was generated from the following files: