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:

• /home/runner/work/cbmc/cbmc/src/goto-instrument/accelerate/polynomial.h
• /home/runner/work/cbmc/cbmc/src/goto-instrument/accelerate/polynomial.cpp