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

#include <polynomial.h>

+ Collaboration diagram for monomialt:

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 341 of file polynomial.cpp.

◆ contains()

bool monomialt::contains ( const exprt &  var)

Definition at line 470 of file polynomial.cpp.

◆ degree()

int monomialt::degree ( )

Definition at line 456 of file polynomial.cpp.

Member Data Documentation

◆ coeff

int monomialt::coeff

Definition at line 31 of file polynomial.h.

◆ terms

std::vector<termt> monomialt::terms

Definition at line 30 of file polynomial.h.

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