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

◆ 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: