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

#include <saig.h>

Public Attributes

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

Detailed Description

Definition at line 42 of file saig.h.

Member Data Documentation

◆ iOut

int Sec_MtrStatus_t_::iOut

Definition at line 50 of file saig.h.

◆ nInputs

int Sec_MtrStatus_t_::nInputs

Definition at line 44 of file saig.h.

◆ nNodes

int Sec_MtrStatus_t_::nNodes

Definition at line 45 of file saig.h.

◆ nOutputs

int Sec_MtrStatus_t_::nOutputs

Definition at line 46 of file saig.h.

◆ nSat

int Sec_MtrStatus_t_::nSat

Definition at line 48 of file saig.h.

◆ nUndec

int Sec_MtrStatus_t_::nUndec

Definition at line 49 of file saig.h.

◆ nUnsat

int Sec_MtrStatus_t_::nUnsat

Definition at line 47 of file saig.h.

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