__csl_nonground_int Struct Reference

A type for representing variables in CSL assertions for which a value is not known. More...

#include <csl.h>

Collaboration diagram for __csl_nonground_int:

Data Fields
unsigned long long	minimum
unsigned long long	maximum

Detailed Description

A type for representing variables in CSL assertions for which a value is not known.

Not yet defined.

Definition at line 322 of file csl.h.

Field Documentation

maximum

unsigned long long __csl_nonground_int::maximum

Definition at line 324 of file csl.h.

minimum

unsigned long long __csl_nonground_int::minimum

Definition at line 323 of file csl.h.

---

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

• csl.h