Home
last modified time | relevance | path

Searched refs:bddop_invimp (Results 1 – 10 of 10) sorted by relevance

/dports/math/spot/spot-2.10.2/python/
H A Dbuddy.py196 bddop_invimp = _buddy.bddop_invimp variable
H A Dbuddy.i218 #define bddop_invimp 9 macro
/dports/math/py-spot/spot-2.10.2/python/
H A Dbuddy.py196 bddop_invimp = _buddy.bddop_invimp variable
H A Dbuddy.i218 #define bddop_invimp 9 macro
/dports/science/buddy/buddy-2.4/src/
H A Dbdd.h59 #define bddop_invimp 9 macro
783 { return bdd_apply(*this,r,bddop_invimp); }
786 { return (*this=bdd_apply(*this,r,bddop_invimp)); }
H A Dbddop.c507 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 Dbddx.h106 #define bddop_invimp 9 macro
1014 { return bdd_apply(*this,r,bddop_invimp); }
1017 { return (*this=bdd_apply(*this,r,bddop_invimp)); }
H A Dbddop.c738 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 Dbddx.h106 #define bddop_invimp 9 macro
1014 { return bdd_apply(*this,r,bddop_invimp); }
1017 { return (*this=bdd_apply(*this,r,bddop_invimp)); }
H A Dbddop.c738 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()