Home
last modified time | relevance | path

Searched refs:bdd_satoneset (Results 1 – 25 of 25) sorted by relevance

/dports/math/spot/spot-2.10.2/spot/twaalgos/
H A Dword.cc53 i = bdd_satoneset(i, aps, def); in use_all_aps()
55 i = bdd_satoneset(i, aps, def); in use_all_aps()
H A Dalternation.cc636 bdd oneletter = bdd_satoneset(all_letters_, ap_, bddfalse); in one_transition()
H A Dstutter.cc190 one_ = bdd_satoneset(cond_, aps_, bddfalse); in next_edge()
/dports/math/py-spot/spot-2.10.2/spot/twaalgos/
H A Dword.cc53 i = bdd_satoneset(i, aps, def); in use_all_aps()
55 i = bdd_satoneset(i, aps, def); in use_all_aps()
H A Dalternation.cc636 bdd oneletter = bdd_satoneset(all_letters_, ap_, bddfalse); in one_transition()
H A Dstutter.cc190 one_ = bdd_satoneset(cond_, aps_, bddfalse); in next_edge()
/dports/science/buddy/buddy-2.4/src/
H A Dbdd.h301 extern BDD bdd_satoneset(BDD, BDD, BDD);
498 friend bdd bdd_satoneset(const bdd &, const bdd &, const bdd &);
661 inline bdd bdd_satoneset(const bdd &r, const bdd &var, const bdd &pol) in bdd_satoneset() function
662 { return bdd_satoneset(r.root, var.root, pol.root); } in bdd_satoneset()
H A Dbddop.c2207 BDD bdd_satoneset(BDD r, BDD var, BDD pol) in bdd_satoneset() function
/dports/math/spot/spot-2.10.2/python/
H A Dbuddy.py163 bdd_satoneset = _buddy.bdd_satoneset variable
H A Dbuddy.i181 bdd bdd_satoneset(const bdd &r, const bdd &var, const bdd &pol);
H A Dbuddy_wrap.cxx5746 result = bdd_satoneset((bdd const &)*arg1,(bdd const &)*arg2,(bdd const &)*arg3); in _wrap_bdd_satoneset()
/dports/math/py-spot/spot-2.10.2/python/
H A Dbuddy.py163 bdd_satoneset = _buddy.bdd_satoneset variable
H A Dbuddy.i181 bdd bdd_satoneset(const bdd &r, const bdd &var, const bdd &pol);
H A Dbuddy_wrap.cxx5746 result = bdd_satoneset((bdd const &)*arg1,(bdd const &)*arg2,(bdd const &)*arg3); in _wrap_bdd_satoneset()
/dports/math/spot/spot-2.10.2/buddy/src/
H A Dbddx.h380 BUDDY_API BDD bdd_satoneset(BDD, BDD, BDD);
638 friend bdd bdd_satoneset(const bdd &, const bdd &, const bdd &);
869 inline bdd bdd_satoneset(const bdd &r, const bdd &var, const bdd &pol) in bdd_satoneset() function
870 { return bdd_satoneset(r.root, var.root, pol.root); } in bdd_satoneset()
H A Dbddop.c3004 BDD bdd_satoneset(BDD r, BDD var, BDD pol) in bdd_satoneset() function
/dports/math/py-spot/spot-2.10.2/buddy/src/
H A Dbddx.h380 BUDDY_API BDD bdd_satoneset(BDD, BDD, BDD);
638 friend bdd bdd_satoneset(const bdd &, const bdd &, const bdd &);
869 inline bdd bdd_satoneset(const bdd &r, const bdd &var, const bdd &pol) in bdd_satoneset() function
870 { return bdd_satoneset(r.root, var.root, pol.root); } in bdd_satoneset()
H A Dbddop.c3004 BDD bdd_satoneset(BDD r, BDD var, BDD pol) in bdd_satoneset() function
/dports/math/spot/spot-2.10.2/buddy/
H A DCHANGES72 + Added bdd_satoneset
/dports/science/buddy/buddy-2.4/
H A DNEWS72 + Added bdd_satoneset
/dports/math/py-spot/spot-2.10.2/buddy/
H A DCHANGES72 + Added bdd_satoneset
/dports/math/spot/spot-2.10.2/
H A DChangeLog.19879 (tgba_succ_iterator_concrete::next): Call bdd_satoneset
10004 Rewrite using bdd_satoneset. This time it's for real. (I hope.)
H A DChangeLog1708 replace bdd_satoneset(x,y,bddtrue) loops by minterms_of(x,y)
1730 replace bdd_satoneset(x,y,bddfalse) loops by minterms_of(x,y)
1735 bdd one = bdd_satoneset(all, sup, bddfalse);
1746 argument of bdd_satoneset is bddfalse.
1751 spot/twaalgos/powerset.cc: Improve bdd_satoneset()-based loops.
/dports/math/py-spot/spot-2.10.2/
H A DChangeLog.19879 (tgba_succ_iterator_concrete::next): Call bdd_satoneset
10004 Rewrite using bdd_satoneset. This time it's for real. (I hope.)
H A DChangeLog1708 replace bdd_satoneset(x,y,bddtrue) loops by minterms_of(x,y)
1730 replace bdd_satoneset(x,y,bddfalse) loops by minterms_of(x,y)
1735 bdd one = bdd_satoneset(all, sup, bddfalse);
1746 argument of bdd_satoneset is bddfalse.
1751 spot/twaalgos/powerset.cc: Improve bdd_satoneset()-based loops.