diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2007-10-02 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2007-10-02 08:01:00 -0700 |
| commit | 765a21240891735a844dd64d1d73789ae6e55bc6 (patch) | |
| tree | 42cf5fa9f540feddc4bedb2fde190a3ef72eecf1 /src/aig/cnf/cnfWrite.c | |
| parent | 4812c90424dfc40d26725244723887a2d16ddfd9 (diff) | |
| download | abc-765a21240891735a844dd64d1d73789ae6e55bc6.tar.gz abc-765a21240891735a844dd64d1d73789ae6e55bc6.tar.bz2 abc-765a21240891735a844dd64d1d73789ae6e55bc6.zip | |
Version abc71002
Diffstat (limited to 'src/aig/cnf/cnfWrite.c')
| -rw-r--r-- | src/aig/cnf/cnfWrite.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/aig/cnf/cnfWrite.c b/src/aig/cnf/cnfWrite.c index 45a3efad..a46069e6 100644 --- a/src/aig/cnf/cnfWrite.c +++ b/src/aig/cnf/cnfWrite.c @@ -324,8 +324,8 @@ Cnf_Dat_t * Cnf_ManWriteCnf( Cnf_Man_t * p, Vec_Ptr_t * vMapped, int nOutputs ) Synopsis [Derives a simple CNF for the AIG.] Description [The last argument shows the number of last outputs - of the manager, which will not be converted into clauses but the - new variables for which will be introduced.] + of the manager, which will not be converted into clauses. + New variables will be introduced for these outputs.] SideEffects [] |