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

Public Attributes

int * inVec
 
int * outVec
 
int inVecSignature
 
int outVecOnes
 
double activity
 

Detailed Description

Definition at line 81 of file abcSaucy.c.

Member Data Documentation

◆ activity

double sim_result::activity

Definition at line 86 of file abcSaucy.c.

◆ inVec

int* sim_result::inVec

Definition at line 82 of file abcSaucy.c.

◆ inVecSignature

int sim_result::inVecSignature

Definition at line 84 of file abcSaucy.c.

◆ outVec

int* sim_result::outVec

Definition at line 83 of file abcSaucy.c.

◆ outVecOnes

int sim_result::outVecOnes

Definition at line 85 of file abcSaucy.c.

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