diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2022-07-30 14:21:47 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2022-07-30 14:21:47 -0700 |
commit | ddb22f3bed7cb457576b4b80e55d47eabf3a1308 (patch) | |
tree | 7c37fb06dc76ba960f606fb3f738cf31ab0fa347 /src/aig/miniaig/miniaig.h | |
parent | c23cd0a7c5f4264b3209f127885b8d5432f2fd5a (diff) | |
download | abc-ddb22f3bed7cb457576b4b80e55d47eabf3a1308.tar.gz abc-ddb22f3bed7cb457576b4b80e55d47eabf3a1308.tar.bz2 abc-ddb22f3bed7cb457576b4b80e55d47eabf3a1308.zip |
Various changes.
Diffstat (limited to 'src/aig/miniaig/miniaig.h')
-rw-r--r-- | src/aig/miniaig/miniaig.h | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/src/aig/miniaig/miniaig.h b/src/aig/miniaig/miniaig.h index 0365b946..274048b9 100644 --- a/src/aig/miniaig/miniaig.h +++ b/src/aig/miniaig/miniaig.h @@ -648,6 +648,25 @@ int main( int argc, char ** argv ) } */ +/* +#include "aig/miniaig/miniaig.h" + +// this procedure creates a MiniAIG for function F = a*b + ~c and writes it into a file "test.aig" +void Mini_AigTest() +{ + Mini_Aig_t * p = Mini_AigStart(); // create empty AIG manager (contains only const0 node) + int litApos = Mini_AigCreatePi( p ); // create input A (returns pos lit of A) + int litBpos = Mini_AigCreatePi( p ); // create input B (returns pos lit of B) + int litCpos = Mini_AigCreatePi( p ); // create input C (returns pos lit of C) + int litCneg = Mini_AigLitNot( litCpos ); // neg lit of C + int litAnd = Mini_AigAnd( p, litApos, litBpos ); // lit for a*b + int litOr = Mini_AigOr( p, litAnd, litCneg ); // lit for a*b + ~c + Mini_AigCreatePo( p, litOr ); // create primary output + Mini_AigerWrite( "test.aig", p, 1 ); // write the result into a file + Mini_AigStop( p ); // deallocate MiniAIG +} +*/ + //////////////////////////////////////////////////////////////////////// /// FUNCTION DECLARATIONS /// //////////////////////////////////////////////////////////////////////// |