abc-master
|
#include "llbInt.h"
Go to the source code of this file.
Functions | |
ABC_NAMESPACE_IMPL_START int | Llb_ManTracePaths_rec (Aig_Man_t *p, Aig_Obj_t *pObj, Aig_Obj_t *pPivot) |
DECLARATIONS ///. More... | |
int | Llb_ManTracePaths (Aig_Man_t *p, Aig_Obj_t *pPivot) |
void | Llb_ManTestCuts (Aig_Man_t *p) |
void | Llb_ManLabelLiCones_rec (Aig_Man_t *p, Aig_Obj_t *pObj) |
void | Llb_ManLabelLiCones (Aig_Man_t *p) |
void | Llb_ManMarkInternalPivots (Aig_Man_t *p) |
Vec_Int_t * | Llb_ManMarkPivotNodes (Aig_Man_t *p, int fUseInternal) |
void Llb_ManLabelLiCones | ( | Aig_Man_t * | p | ) |
Function*************************************************************
Synopsis [Determine starting cut-points.]
Description []
SideEffects []
SeeAlso []
Definition at line 151 of file llb1Pivot.c.
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 130 of file llb1Pivot.c.
void Llb_ManMarkInternalPivots | ( | Aig_Man_t * | p | ) |
Function*************************************************************
Synopsis [Determine starting cut-points.]
Description []
SideEffects []
SeeAlso []
Definition at line 175 of file llb1Pivot.c.
Function*************************************************************
Synopsis [Determine starting cut-points.]
Description []
SideEffects []
SeeAlso []
Definition at line 220 of file llb1Pivot.c.
void Llb_ManTestCuts | ( | Aig_Man_t * | p | ) |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 103 of file llb1Pivot.c.
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 81 of file llb1Pivot.c.
ABC_NAMESPACE_IMPL_START int Llb_ManTracePaths_rec | ( | Aig_Man_t * | p, |
Aig_Obj_t * | pObj, | ||
Aig_Obj_t * | pPivot | ||
) |
DECLARATIONS ///.
CFile****************************************************************
FileName [llb1Pivot.c]
SystemName [ABC: Logic synthesis and verification system.]
PackageName [BDD based reachability.]
Synopsis [Determining pivot variables.]
Author [Alan Mishchenko]
Affiliation [UC Berkeley]
Date [Ver. 1.0. Started - June 20, 2005.]
Revision [
]FUNCTION DEFINITIONS /// Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 45 of file llb1Pivot.c.