abc-master
|
#include "intInt.h"
Go to the source code of this file.
Data Structures | |
struct | Inter_Check_t_ |
DECLARATIONS ///. More... | |
Functions | |
Aig_Man_t * | Inter_ManUnrollFrames (Aig_Man_t *pAig, int nFrames) |
FUNCTION DEFINITIONS ///. More... | |
Inter_Check_t * | Inter_CheckStart (Aig_Man_t *pTrans, int nFramesK) |
MACRO DEFINITIONS ///. More... | |
void | Inter_CheckStop (Inter_Check_t *p) |
void | Inter_CheckAddOrGate (Inter_Check_t *p, int iVarA, int iVarB, int iVarC) |
void | Inter_CheckAddEqual (Inter_Check_t *p, int iVarA, int iVarB) |
int | Inter_CheckPerform (Inter_Check_t *p, Cnf_Dat_t *pCnfInt, abctime nTimeNewOut) |
void Inter_CheckAddEqual | ( | Inter_Check_t * | p, |
int | iVarA, | ||
int | iVarB | ||
) |
Function*************************************************************
Synopsis [Creates equality: A = B.]
Description []
SideEffects []
SeeAlso []
Definition at line 194 of file intCheck.c.
void Inter_CheckAddOrGate | ( | Inter_Check_t * | p, |
int | iVarA, | ||
int | iVarB, | ||
int | iVarC | ||
) |
Function*************************************************************
Synopsis [Creates one OR-gate: A + B = C.]
Description []
SideEffects []
SeeAlso []
Definition at line 162 of file intCheck.c.
int Inter_CheckPerform | ( | Inter_Check_t * | p, |
Cnf_Dat_t * | pCnfInt, | ||
abctime | nTimeNewOut | ||
) |
Function*************************************************************
Synopsis [Perform the checking.]
Description [Returns 1 if the check has passed.]
SideEffects []
SeeAlso []
Definition at line 220 of file intCheck.c.
Inter_Check_t* Inter_CheckStart | ( | Aig_Man_t * | pTrans, |
int | nFramesK | ||
) |
MACRO DEFINITIONS ///.
Function*************************************************************
Synopsis [This procedure sets default values of interpolation parameters.]
Description []
SideEffects []
SeeAlso []
Definition at line 105 of file intCheck.c.
void Inter_CheckStop | ( | Inter_Check_t * | p | ) |
Function*************************************************************
Synopsis [This procedure sets default values of interpolation parameters.]
Description []
SideEffects []
SeeAlso []
Definition at line 137 of file intCheck.c.
FUNCTION DEFINITIONS ///.
Function*************************************************************
Synopsis [Create timeframes of the manager for interpolation.]
Description [The resulting manager is combinational. The primary inputs corresponding to register outputs are ordered first.]
SideEffects []
SeeAlso []
Definition at line 59 of file intCheck.c.