From 193c46e3c639d8cd0fc2f661648c091371a7717d Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 8 Mar 2015 20:19:56 -0700 Subject: Support for representing programmable cell configuration data. --- src/map/if/ifTune.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src/map/if/ifTune.c') diff --git a/src/map/if/ifTune.c b/src/map/if/ifTune.c index a0e95eaa..57b935e2 100644 --- a/src/map/if/ifTune.c +++ b/src/map/if/ifTune.c @@ -738,8 +738,9 @@ int Ifn_ManSatFindCofigBitsTest( Ifn_Ntk_t * p, word * pTruth, int nVars, word P SeeAlso [] ***********************************************************************/ -int If_ManSatDeriveGiaFromBits( Gia_Man_t * pNew, Ifn_Ntk_t * p, word * pConfigData, Vec_Int_t * vLeaves, Vec_Int_t * vCover ) +int If_ManSatDeriveGiaFromBits( void * pGia, Ifn_Ntk_t * p, word * pConfigData, Vec_Int_t * vLeaves, Vec_Int_t * vCover ) { + Gia_Man_t * pNew = (Gia_Man_t *)pGia; int i, k, iLit, iVar = 0, nVarsNew, pVarMap[1000]; int nTtBits = p->nParsVIni - p->nObjs; int nPermBits = Abc_Base2Log(p->nInps + 1) + 1; -- cgit v1.2.3