cprover
Classes | Public Member Functions | Public Attributes | List of all members
monomialt Class Reference

#include <polynomial.h>

Collaboration diagram for monomialt:
[legend]

Classes

struct  termt
 

Public Member Functions

int compare (monomialt &other)
 
int degree ()
 
bool contains (const exprt &var)
 

Public Attributes

std::vector< termt > terms
 
int coeff
 

Detailed Description

Definition at line 20 of file polynomial.h.

Member Function Documentation

◆ compare()

int monomialt::compare ( monomialt &  other)

Definition at line 348 of file polynomial.cpp.

References terms.

Referenced by polynomialt::coeff().

◆ contains()

bool monomialt::contains ( const exprt &  var)

Definition at line 477 of file polynomial.cpp.

References irept::id(), and terms.

◆ degree()

int monomialt::degree ( )

Definition at line 463 of file polynomial.cpp.

References terms.

Member Data Documentation

◆ coeff

int monomialt::coeff

Definition at line 31 of file polynomial.h.

Referenced by polynomialt::add(), acceleration_utilst::extract_polynomial(), polynomialt::from_expr(), and polynomialt::mult().

◆ terms

std::vector<termt> monomialt::terms

Definition at line 30 of file polynomial.h.

Referenced by compare(), contains(), degree(), acceleration_utilst::extract_polynomial(), polynomialt::from_expr(), and polynomialt::mult().

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