diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-06-22 23:05:06 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-06-22 23:05:06 -0700 |
commit | 4d1bc4a268ad0be95818c718eae82e0be5c9057c (patch) | |
tree | 69f26241fe2798f994afa02befdbc298eccdea6a /src/opt/mfs/mfsInt.h | |
parent | b288bac6b3567c0eccde1cb3ed1b6f7eff1d6408 (diff) | |
download | abc-4d1bc4a268ad0be95818c718eae82e0be5c9057c.tar.gz abc-4d1bc4a268ad0be95818c718eae82e0be5c9057c.tar.bz2 abc-4d1bc4a268ad0be95818c718eae82e0be5c9057c.zip |
Version abc90809
committer: Baruch Sterin <baruchs@gmail.com>
Diffstat (limited to 'src/opt/mfs/mfsInt.h')
-rw-r--r-- | src/opt/mfs/mfsInt.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/opt/mfs/mfsInt.h b/src/opt/mfs/mfsInt.h index 6a1d9688..8adffd44 100644 --- a/src/opt/mfs/mfsInt.h +++ b/src/opt/mfs/mfsInt.h @@ -68,7 +68,7 @@ struct Mfs_Man_t_ int nSatCexes; // intermediate AIG data Gia_Man_t * pGia; // replica of the AIG in the new package - Gia_Obj_t ** pSat2Gia; // mapping of PO SAT var into internal GIA nodes +// Gia_Obj_t ** pSat2Gia; // mapping of PO SAT var into internal GIA nodes Tas_Man_t * pTas; // the SAT solver Vec_Int_t * vCex; // the counter-example Vec_Ptr_t * vGiaLits; // literals given as assumptions |