cprover
polynomialt Class Reference

#include <polynomial.h>

+ Collaboration diagram for polynomialt:

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 ( monomialt monomial)

Definition at line 244 of file polynomial.cpp.

◆ add() [2/2]

void polynomialt::add ( polynomialt other)

Definition at line 179 of file polynomial.cpp.

◆ coeff()

int polynomialt::coeff ( const exprt expr)

Definition at line 427 of file polynomial.cpp.

◆ from_expr()

void polynomialt::from_expr ( const exprt expr)

Definition at line 101 of file polynomial.cpp.

◆ max_degree()

int polynomialt::max_degree ( const exprt var)

Definition at line 409 of file polynomial.cpp.

◆ mult() [1/2]

void polynomialt::mult ( int  scalar)

Definition at line 253 of file polynomial.cpp.

◆ mult() [2/2]

void polynomialt::mult ( polynomialt other)

Definition at line 264 of file polynomial.cpp.

◆ substitute()

void polynomialt::substitute ( substitutiont substitution)

Definition at line 161 of file polynomial.cpp.

◆ to_expr()

exprt polynomialt::to_expr ( )

Definition at line 23 of file polynomial.cpp.

Member Data Documentation

◆ monomials

std::vector<monomialt> polynomialt::monomials

Definition at line 46 of file polynomial.h.


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