Struct PntosIntArray

Defined in File common.h

Struct Documentation

struct PntosIntArray

An owned array of integers (see PntosManagedMemory for more information).

Invariants:

The length of data must be sizeof(int64_t)*num_ints

Public Members

PntosManagedMemory *memory

int64_t *data: An array of num_ints ints.

size_t num_ints: The number of ints stored in data. For example, data[num_ints-1] points to the last int stored in this structure.