ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
Msat_IntVec_t_ Struct Reference

#include <msatInt.h>

Public Attributes

int * pArray
 
int nSize
 
int nCap
 

Detailed Description

Definition at line 162 of file msatInt.h.

Member Data Documentation

◆ nCap

int Msat_IntVec_t_::nCap

Definition at line 166 of file msatInt.h.

◆ nSize

int Msat_IntVec_t_::nSize

Definition at line 165 of file msatInt.h.

◆ pArray

int* Msat_IntVec_t_::pArray

Definition at line 164 of file msatInt.h.

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