Searched refs:bddop_invimp (Results 1 – 10 of 10) sorted by relevance
/dports/math/spot/spot-2.10.2/python/ |
H A D | buddy.py | 196 bddop_invimp = _buddy.bddop_invimp variable
|
H A D | buddy.i | 218 #define bddop_invimp 9 macro
|
/dports/math/py-spot/spot-2.10.2/python/ |
H A D | buddy.py | 196 bddop_invimp = _buddy.bddop_invimp variable
|
H A D | buddy.i | 218 #define bddop_invimp 9 macro
|
/dports/science/buddy/buddy-2.4/src/ |
H A D | bdd.h | 59 #define bddop_invimp 9 macro 783 { return bdd_apply(*this,r,bddop_invimp); } 786 { return (*this=bdd_apply(*this,r,bddop_invimp)); }
|
H A D | bddop.c | 507 if (op<0 || op>bddop_invimp) in bdd_apply() 1758 if (opr<0 || opr>bddop_invimp) in bdd_appex() 1824 if (opr<0 || opr>bddop_invimp) in bdd_appall() 1890 if (opr<0 || opr>bddop_invimp) in bdd_appuni()
|
/dports/math/spot/spot-2.10.2/buddy/src/ |
H A D | bddx.h | 106 #define bddop_invimp 9 macro 1014 { return bdd_apply(*this,r,bddop_invimp); } 1017 { return (*this=bdd_apply(*this,r,bddop_invimp)); }
|
H A D | bddop.c | 738 if (op<0 || op>bddop_invimp) in bdd_apply() 836 case bddop_invimp: /* l << r = r >> l */ \ 2444 if (opr<0 || opr>bddop_invimp) in appquantify()
|
/dports/math/py-spot/spot-2.10.2/buddy/src/ |
H A D | bddx.h | 106 #define bddop_invimp 9 macro 1014 { return bdd_apply(*this,r,bddop_invimp); } 1017 { return (*this=bdd_apply(*this,r,bddop_invimp)); }
|
H A D | bddop.c | 738 if (op<0 || op>bddop_invimp) in bdd_apply() 836 case bddop_invimp: /* l << r = r >> l */ \ 2444 if (opr<0 || opr>bddop_invimp) in appquantify()
|