cprover
Loading...
Searching...
No Matches
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 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: