cprover
monomialt::termt Struct Reference

#include <polynomial.h>

Collaboration diagram for monomialt::termt:
[legend]

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

§ var


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