diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2018-10-02 08:33:25 -0400 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2018-10-02 08:33:25 -0400 |
| commit | c750544df6a24ecaab34683b2dbde5e53b8a710c (patch) | |
| tree | f89875cb1348f162d67a2339e8f858868be82afa /src/bdd | |
| parent | 6f6dba429e3f9d030fcc5a141a2554d7a5d6b5ee (diff) | |
| download | abc-c750544df6a24ecaab34683b2dbde5e53b8a710c.tar.gz abc-c750544df6a24ecaab34683b2dbde5e53b8a710c.tar.bz2 abc-c750544df6a24ecaab34683b2dbde5e53b8a710c.zip | |
Experiments with Boolean functions.
Diffstat (limited to 'src/bdd')
| -rw-r--r-- | src/bdd/extrab/extraBddMisc.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/bdd/extrab/extraBddMisc.c b/src/bdd/extrab/extraBddMisc.c index 335f6754..42003864 100644 --- a/src/bdd/extrab/extraBddMisc.c +++ b/src/bdd/extrab/extraBddMisc.c @@ -2723,8 +2723,8 @@ DdNode * Extra_bddTuples( if ( K > nVars ) return NULL; - /* the second argument in the recursive call stannds for <n>; - /* reate the first argument, which stands for <k> + /* the second argument in the recursive call stands for <n>; + * create the first argument, which stands for <k> * as when we are talking about the tuple of <k> out of <n> */ for ( i = 0; i < nVars-K; i++ ) VarsK = cuddT( VarsK ); |