Sec_MtrStatus_t_ Struct Reference

#include <saig.h>

Data Fields
int	nInputs
int	nNodes
int	nOutputs
int	nUnsat
int	nSat
int	nUndec
int	iOut

Detailed Description

Definition at line 42 of file saig.h.

Field Documentation

int Sec_MtrStatus_t_::iOut

Definition at line 50 of file saig.h.

int Sec_MtrStatus_t_::nInputs

Definition at line 44 of file saig.h.

int Sec_MtrStatus_t_::nNodes

Definition at line 45 of file saig.h.

int Sec_MtrStatus_t_::nOutputs

Definition at line 46 of file saig.h.

int Sec_MtrStatus_t_::nSat

Definition at line 48 of file saig.h.

int Sec_MtrStatus_t_::nUndec

Definition at line 49 of file saig.h.

int Sec_MtrStatus_t_::nUnsat

Definition at line 47 of file saig.h.

---

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

• saig.h