diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-03-17 13:54:30 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-03-17 13:54:30 -0700 |
| commit | d81d9cc05aa2af48b5d04b69be1f9bbb81650122 (patch) | |
| tree | 736f69e855833e2c71df307c3c0055ee2afb0931 /src/sat/bmc/bmcMesh.c | |
| parent | 9e668f1b10ae02d79404698afc8fdf0e250bf8d3 (diff) | |
| download | abc-d81d9cc05aa2af48b5d04b69be1f9bbb81650122.tar.gz abc-d81d9cc05aa2af48b5d04b69be1f9bbb81650122.tar.bz2 abc-d81d9cc05aa2af48b5d04b69be1f9bbb81650122.zip | |
Synthesis for mesh of LUTs.
Diffstat (limited to 'src/sat/bmc/bmcMesh.c')
| -rw-r--r-- | src/sat/bmc/bmcMesh.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sat/bmc/bmcMesh.c b/src/sat/bmc/bmcMesh.c index 3f8659fb..3ced0dd7 100644 --- a/src/sat/bmc/bmcMesh.c +++ b/src/sat/bmc/bmcMesh.c @@ -51,7 +51,7 @@ inline int Bmc_MeshUVar( int Me[102][102], int x, int y ) { return Me[x][y] + Me SeeAlso [] ***********************************************************************/ -static inline Bmc_MeshVarValue( satoko_t * p, int v ) +static inline int Bmc_MeshVarValue( satoko_t * p, int v ) { int value = var_value(p, v) != VAR_UNASSING ? var_value(p, v) : var_polarity(p, v); return value == LIT_TRUE; |