| /dports/science/buddy/buddy-2.4/src/ |
| H A D | bdd.h | 298 extern BDD bdd_appuni(BDD, BDD, int, BDD);
492 friend bdd bdd_appuni(const bdd &, const bdd &, int, const bdd &);
652 inline bdd bdd_appuni(const bdd &l, const bdd &r, int op, const bdd &var) in bdd_appuni() function
653 { return bdd_appuni(l.root, r.root, op, var.root); } in bdd_appuni()
|
| H A D | bddop.c | 1881 BDD bdd_appuni(BDD l, BDD r, int opr, BDD var) in bdd_appuni() function
|
| /dports/math/spot/spot-2.10.2/python/ |
| H A D | buddy.py | 159 bdd_appuni = _buddy.bdd_appuni variable
|
| H A D | buddy.i | 177 bdd bdd_appuni(const bdd &l, const bdd &r, int op, const bdd &var);
|
| H A D | buddy_wrap.cxx | 5592 result = bdd_appuni((bdd const &)*arg1,(bdd const &)*arg2,arg3,(bdd const &)*arg4); in _wrap_bdd_appuni()
|
| /dports/math/py-spot/spot-2.10.2/python/ |
| H A D | buddy.py | 159 bdd_appuni = _buddy.bdd_appuni variable
|
| H A D | buddy.i | 177 bdd bdd_appuni(const bdd &l, const bdd &r, int op, const bdd &var);
|
| H A D | buddy_wrap.cxx | 5592 result = bdd_appuni((bdd const &)*arg1,(bdd const &)*arg2,arg3,(bdd const &)*arg4); in _wrap_bdd_appuni()
|
| /dports/math/spot/spot-2.10.2/buddy/src/ |
| H A D | bddx.h | 376 BUDDY_API BDD bdd_appuni(BDD, BDD, int, BDD);
631 friend bdd bdd_appuni(const bdd &, const bdd &, int, const bdd &);
857 inline bdd bdd_appuni(const bdd &l, const bdd &r, int op, const bdd &var) in bdd_appuni() function
858 { return bdd_appuni(l.root, r.root, op, var.root); } in bdd_appuni()
|
| H A D | bddop.c | 2597 BDD bdd_appuni(BDD l, BDD r, int opr, BDD var) in bdd_appuni() function
|
| /dports/math/py-spot/spot-2.10.2/buddy/src/ |
| H A D | bddx.h | 376 BUDDY_API BDD bdd_appuni(BDD, BDD, int, BDD);
631 friend bdd bdd_appuni(const bdd &, const bdd &, int, const bdd &);
857 inline bdd bdd_appuni(const bdd &l, const bdd &r, int op, const bdd &var) in bdd_appuni() function
858 { return bdd_appuni(l.root, r.root, op, var.root); } in bdd_appuni()
|
| H A D | bddop.c | 2597 BDD bdd_appuni(BDD l, BDD r, int opr, BDD var) in bdd_appuni() function
|
| /dports/math/spot/spot-2.10.2/buddy/ |
| H A D | ChangeLog.1 | 307 and bdd_appuni.
308 (bdd_appex, bdd_appall, bdd_appuni): Use appquantify.
|
| H A D | CHANGES | 75 + Added bdd_unique, bdd_appuni.
|
| /dports/math/py-spot/spot-2.10.2/buddy/ |
| H A D | ChangeLog.1 | 307 and bdd_appuni.
308 (bdd_appex, bdd_appall, bdd_appuni): Use appquantify.
|
| H A D | CHANGES | 75 + Added bdd_unique, bdd_appuni.
|
| /dports/science/buddy/buddy-2.4/ |
| H A D | NEWS | 75 + Added bdd_unique, bdd_appuni.
|