- #include <stdio.h>
- #include <stdlib.h>
- #include <bdd.h>
- int main(int argc, char **argv) {
- bdd x,y,z;
- // init BuDDy with nodenum and cachesize
- bdd_init(100000, 10000);
- bdd_setvarnum(100);
- x = bdd_ithvar(1);
- y = bdd_ithvar(0);
- z = bdd_addref(bdd_apply(x,y,bddop_and));
- cout << bddtable << z << endl;
- bdd_done();
- return 0;
- }
SHARE
TWEET
Untitled
a guest
Mar 6th, 2012
25
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
RAW Paste Data
