Home
last modified time | relevance | path

Searched refs:bdd_forallcomp (Results 1 – 12 of 12) sorted by relevance

/dports/math/spot/spot-2.10.2/python/
H A Dbuddy.py152 bdd_forallcomp = _buddy.bdd_forallcomp variable
H A Dbuddy.i170 bdd bdd_forallcomp(const bdd &r, const bdd &var);
H A Dbuddy_wrap.cxx5245 result = bdd_forallcomp((bdd const &)*arg1,(bdd const &)*arg2); in _wrap_bdd_forallcomp()
/dports/math/py-spot/spot-2.10.2/python/
H A Dbuddy.py152 bdd_forallcomp = _buddy.bdd_forallcomp variable
H A Dbuddy.i170 bdd bdd_forallcomp(const bdd &r, const bdd &var);
H A Dbuddy_wrap.cxx5245 result = bdd_forallcomp((bdd const &)*arg1,(bdd const &)*arg2); in _wrap_bdd_forallcomp()
/dports/math/spot/spot-2.10.2/buddy/src/
H A Dbddx.h369 BUDDY_API BDD bdd_forallcomp(BDD, BDD);
624 friend bdd bdd_forallcomp(const bdd &, const bdd &);
836 inline bdd bdd_forallcomp(const bdd &r, const bdd &var) in bdd_forallcomp() function
837 { return bdd_forallcomp(r.root, var.root); } in bdd_forallcomp()
H A Dbddop.c2316 BDD bdd_forallcomp(BDD r, BDD var) in bdd_forallcomp() function
/dports/math/py-spot/spot-2.10.2/buddy/src/
H A Dbddx.h369 BUDDY_API BDD bdd_forallcomp(BDD, BDD);
624 friend bdd bdd_forallcomp(const bdd &, const bdd &);
836 inline bdd bdd_forallcomp(const bdd &r, const bdd &var) in bdd_forallcomp() function
837 { return bdd_forallcomp(r.root, var.root); } in bdd_forallcomp()
H A Dbddop.c2316 BDD bdd_forallcomp(BDD r, BDD var) in bdd_forallcomp() function
/dports/math/spot/spot-2.10.2/buddy/
H A DChangeLog.1288 * src/bddop.c (bdd_forallcomp, bdd_uniquecomp): Fix documentation.
292 * src/bdd.h (bdd_existcomp, bdd_forallcomp,
305 (bdd_existcomp, bdd_forallcomp, bdd_appunicompcomp): New functions.
/dports/math/py-spot/spot-2.10.2/buddy/
H A DChangeLog.1288 * src/bddop.c (bdd_forallcomp, bdd_uniquecomp): Fix documentation.
292 * src/bdd.h (bdd_existcomp, bdd_forallcomp,
305 (bdd_existcomp, bdd_forallcomp, bdd_appunicompcomp): New functions.