Home
last modified time | relevance | path

Searched defs:BDD_ILLBDD (Results 1 – 3 of 3) sorted by relevance

/dports/science/buddy/buddy-2.4/src/
H A Dbdd.h405 #define BDD_ILLBDD (-18) /* Illegal bdd argument */ macro
/dports/math/spot/spot-2.10.2/buddy/src/
H A Dbddx.h487 #define BDD_ILLBDD (-18) /* Illegal bdd argument */ macro
/dports/math/py-spot/spot-2.10.2/buddy/src/
H A Dbddx.h487 #define BDD_ILLBDD (-18) /* Illegal bdd argument */ macro