CBMC
Public Member Functions | Public Attributes | List of all members
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< monomialt > monomials
 

Detailed Description

Definition at line 41 of file polynomial.h.

Member Function Documentation

◆ add() [1/2]

void polynomialt::add ( monomialt &  monomial)

Definition at line 243 of file polynomial.cpp.

◆ add() [2/2]

void polynomialt::add ( polynomialt &  other)

Definition at line 178 of file polynomial.cpp.

◆ coeff()

int polynomialt::coeff ( const exprt &  expr)

Definition at line 426 of file polynomial.cpp.

◆ from_expr()

void polynomialt::from_expr ( const exprt &  expr)

Definition at line 100 of file polynomial.cpp.

◆ max_degree()

int polynomialt::max_degree ( const exprt &  var)

Definition at line 408 of file polynomial.cpp.

◆ mult() [1/2]

void polynomialt::mult ( int  scalar)

Definition at line 252 of file polynomial.cpp.

◆ mult() [2/2]

void polynomialt::mult ( polynomialt &  other)

Definition at line 263 of file polynomial.cpp.

◆ substitute()

void polynomialt::substitute ( substitutiont &  substitution)

Definition at line 160 of file polynomial.cpp.

◆ to_expr()

exprt polynomialt::to_expr ( )

Definition at line 22 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: