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

#include <fretime.h>

Collaboration diagram for MinRegMan_t_:
Collaboration graph
[legend]

Public Attributes

int maxDelay
 
int fComputeInitState
 
int fGuaranteeInitState
 
int fBlockConst
 
int nNodes
 
int nLatches
 
int fForwardOnly
 
int fBackwardOnly
 
int fConservTimingOnly
 
int nMaxIters
 
int fVerbose
 
Abc_Ntk_t * pNtk
 
int nPreRefine
 
int fIsForward
 
int fSinkDistTerminate
 
int nExactConstraints
 
int nConservConstraints
 
int fSolutionIsDc
 
int constraintMask
 
int iteration
 
int subIteration
 
Vec_Int_t * vLags
 
Vec_Int_t * vSinkDistHist
 
Flow_Data_t * pDataArray
 
Vec_Ptr_t * vTimeEdges
 
Vec_Ptr_t * vExactNodes
 
Vec_Ptr_t * vInitConstraints
 
Abc_Ntk_t * pInitNtk
 
Vec_Ptr_t * vNodes
 
NodeLag_t * pInitToOrig
 
int sizeInitToOrig
 

Detailed Description

Definition at line 99 of file fretime.h.

Member Data Documentation

◆ constraintMask

int MinRegMan_t_::constraintMask

Definition at line 118 of file fretime.h.

◆ fBackwardOnly

int MinRegMan_t_::fBackwardOnly

Definition at line 105 of file fretime.h.

◆ fBlockConst

int MinRegMan_t_::fBlockConst

Definition at line 103 of file fretime.h.

◆ fComputeInitState

int MinRegMan_t_::fComputeInitState

Definition at line 103 of file fretime.h.

◆ fConservTimingOnly

int MinRegMan_t_::fConservTimingOnly

Definition at line 106 of file fretime.h.

◆ fForwardOnly

int MinRegMan_t_::fForwardOnly

Definition at line 105 of file fretime.h.

◆ fGuaranteeInitState

int MinRegMan_t_::fGuaranteeInitState

Definition at line 103 of file fretime.h.

◆ fIsForward

int MinRegMan_t_::fIsForward

Definition at line 114 of file fretime.h.

◆ fSinkDistTerminate

int MinRegMan_t_::fSinkDistTerminate

Definition at line 115 of file fretime.h.

◆ fSolutionIsDc

int MinRegMan_t_::fSolutionIsDc

Definition at line 117 of file fretime.h.

◆ fVerbose

int MinRegMan_t_::fVerbose

Definition at line 108 of file fretime.h.

◆ iteration

int MinRegMan_t_::iteration

Definition at line 119 of file fretime.h.

◆ maxDelay

int MinRegMan_t_::maxDelay

Definition at line 102 of file fretime.h.

◆ nConservConstraints

int MinRegMan_t_::nConservConstraints

Definition at line 116 of file fretime.h.

◆ nExactConstraints

int MinRegMan_t_::nExactConstraints

Definition at line 116 of file fretime.h.

◆ nLatches

int MinRegMan_t_::nLatches

Definition at line 104 of file fretime.h.

◆ nMaxIters

int MinRegMan_t_::nMaxIters

Definition at line 107 of file fretime.h.

◆ nNodes

int MinRegMan_t_::nNodes

Definition at line 104 of file fretime.h.

◆ nPreRefine

int MinRegMan_t_::nPreRefine

Definition at line 111 of file fretime.h.

◆ pDataArray

Flow_Data_t* MinRegMan_t_::pDataArray

Definition at line 124 of file fretime.h.

◆ pInitNtk

Abc_Ntk_t* MinRegMan_t_::pInitNtk

Definition at line 128 of file fretime.h.

◆ pInitToOrig

NodeLag_t* MinRegMan_t_::pInitToOrig

Definition at line 131 of file fretime.h.

◆ pNtk

Abc_Ntk_t* MinRegMan_t_::pNtk

Definition at line 109 of file fretime.h.

◆ sizeInitToOrig

int MinRegMan_t_::sizeInitToOrig

Definition at line 132 of file fretime.h.

◆ subIteration

int MinRegMan_t_::subIteration

Definition at line 119 of file fretime.h.

◆ vExactNodes

Vec_Ptr_t* MinRegMan_t_::vExactNodes

Definition at line 126 of file fretime.h.

◆ vInitConstraints

Vec_Ptr_t* MinRegMan_t_::vInitConstraints

Definition at line 127 of file fretime.h.

◆ vLags

Vec_Int_t* MinRegMan_t_::vLags

Definition at line 120 of file fretime.h.

◆ vNodes

Vec_Ptr_t* MinRegMan_t_::vNodes

Definition at line 129 of file fretime.h.

◆ vSinkDistHist

Vec_Int_t* MinRegMan_t_::vSinkDistHist

Definition at line 123 of file fretime.h.

◆ vTimeEdges

Vec_Ptr_t* MinRegMan_t_::vTimeEdges

Definition at line 125 of file fretime.h.

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