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 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().

§ degree()

int monomialt::degree ( )

Definition at line 463 of file polynomial.cpp.

Member Data Documentation

§ coeff

int monomialt::coeff

§ terms

std::vector<termt> monomialt::terms

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