diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-08-28 20:21:01 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-08-28 20:21:01 -0700 |
| commit | eec022ea644ce0430d3f7c5259c72f850338f987 (patch) | |
| tree | 786ca5bbcaa21c5dcaf5e7299c9611f6bf6d0da1 /src/misc | |
| parent | 42f8082c59db41307120a6d5dbfdef4c2350a722 (diff) | |
| download | abc-eec022ea644ce0430d3f7c5259c72f850338f987.tar.gz abc-eec022ea644ce0430d3f7c5259c72f850338f987.tar.bz2 abc-eec022ea644ce0430d3f7c5259c72f850338f987.zip | |
Adding procedures to specify permutations with unused flops.
Diffstat (limited to 'src/misc')
| -rw-r--r-- | src/misc/vec/vecInt.h | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/src/misc/vec/vecInt.h b/src/misc/vec/vecInt.h index c821d121..2cba9f14 100644 --- a/src/misc/vec/vecInt.h +++ b/src/misc/vec/vecInt.h @@ -1054,6 +1054,27 @@ static inline Vec_Int_t * Vec_IntInvert( Vec_Int_t * p, int Fill ) SeeAlso [] ***********************************************************************/ +static inline Vec_Int_t * Vec_IntCondense( Vec_Int_t * p, int Fill ) +{ + int Entry, i; + Vec_Int_t * vRes = Vec_IntAlloc( Vec_IntSize(p) ); + Vec_IntForEachEntry( p, Entry, i ) + if ( Entry != Fill ) + Vec_IntPush( vRes, Entry ); + return vRes; +} + +/**Function************************************************************* + + Synopsis [] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ static inline int Vec_IntSum( Vec_Int_t * p ) { int i, Counter = 0; |