monomialt::termt Struct Reference

#include <polynomial.h>

Collaboration diagram for monomialt::termt:

Public Attributes
exprt	var
unsigned int	exp

Detailed Description

Definition at line 23 of file polynomial.h.

Member Data Documentation

exp

unsigned int monomialt::termt::exp

Definition at line 26 of file polynomial.h.

var

exprt monomialt::termt::var

Definition at line 25 of file polynomial.h.

---

The documentation for this struct was generated from the following file:

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