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