cprover
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< termtterms
 
int coeff
 

Detailed Description

Definition at line 20 of file polynomial.h.

Member Function Documentation

◆ compare()

int monomialt::compare ( monomialt other)

Definition at line 341 of file polynomial.cpp.

References terms, and UNREACHABLE.

Referenced by polynomialt::coeff().

◆ contains()

bool monomialt::contains ( const exprt var)

Definition at line 470 of file polynomial.cpp.

References irept::id(), and terms.

◆ degree()

int monomialt::degree ( )

Definition at line 456 of file polynomial.cpp.

References terms.

Member Data Documentation

◆ coeff

int monomialt::coeff

◆ terms

std::vector<termt> monomialt::terms

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