diff options
| author | Mathias Soeken <mathias.soeken@gmail.com> | 2016-08-01 08:29:37 +0200 |
|---|---|---|
| committer | Mathias Soeken <mathias.soeken@gmail.com> | 2016-08-01 08:29:37 +0200 |
| commit | a7b244c5a978715f328db78aa4b8fac39c0bead2 (patch) | |
| tree | b292729f4cd2d066c27f312b3435575e18eb5329 /src/base | |
| parent | a4f8e601b9265318737e8e9ee7eda0dfb804705c (diff) | |
| parent | fd8eb8c8551add7b17bd18a77fa46e8c0f38e833 (diff) | |
| download | abc-a7b244c5a978715f328db78aa4b8fac39c0bead2.tar.gz abc-a7b244c5a978715f328db78aa4b8fac39c0bead2.tar.bz2 abc-a7b244c5a978715f328db78aa4b8fac39c0bead2.zip | |
Merged alanmi/abc into default
Diffstat (limited to 'src/base')
| -rw-r--r-- | src/base/abci/abcExact.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/abci/abcExact.c b/src/base/abci/abcExact.c index d36e7104..99b44bce 100644 --- a/src/base/abci/abcExact.c +++ b/src/base/abci/abcExact.c @@ -1342,7 +1342,7 @@ int Abc_ExactInputNum() // this procedure takes TT and input arrival times (pArrTimeProfile) and return the smallest output arrival time; // it also returns the pin-to-pin delays (pPerm) between each cut leaf and the cut output and the cut area cost (Cost) // the area cost should not exceed 2048, if the cut is implementable; otherwise, it should be ABC_INFINITY -int Abc_ExactDelayCost( word * pTruth, int nVars, int * pArrTimeProfile, char * pPerm, int * Cost ) +int Abc_ExactDelayCost( word * pTruth, int nVars, int * pArrTimeProfile, char * pPerm, int * Cost, int AigLevel ) { int l; Ses_Man_t * pSes; |