/dports/math/spot/spot-2.10.2/spot/twaalgos/ |
H A D | word.cc | 53 i = bdd_satoneset(i, aps, def); in use_all_aps() 55 i = bdd_satoneset(i, aps, def); in use_all_aps()
|
H A D | alternation.cc | 636 bdd oneletter = bdd_satoneset(all_letters_, ap_, bddfalse); in one_transition()
|
H A D | stutter.cc | 190 one_ = bdd_satoneset(cond_, aps_, bddfalse); in next_edge()
|
/dports/math/py-spot/spot-2.10.2/spot/twaalgos/ |
H A D | word.cc | 53 i = bdd_satoneset(i, aps, def); in use_all_aps() 55 i = bdd_satoneset(i, aps, def); in use_all_aps()
|
H A D | alternation.cc | 636 bdd oneletter = bdd_satoneset(all_letters_, ap_, bddfalse); in one_transition()
|
H A D | stutter.cc | 190 one_ = bdd_satoneset(cond_, aps_, bddfalse); in next_edge()
|
/dports/science/buddy/buddy-2.4/src/ |
H A D | bdd.h | 301 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 D | bddop.c | 2207 BDD bdd_satoneset(BDD r, BDD var, BDD pol) in bdd_satoneset() function
|
/dports/math/spot/spot-2.10.2/python/ |
H A D | buddy.py | 163 bdd_satoneset = _buddy.bdd_satoneset variable
|
H A D | buddy.i | 181 bdd bdd_satoneset(const bdd &r, const bdd &var, const bdd &pol);
|
H A D | buddy_wrap.cxx | 5746 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 D | buddy.py | 163 bdd_satoneset = _buddy.bdd_satoneset variable
|
H A D | buddy.i | 181 bdd bdd_satoneset(const bdd &r, const bdd &var, const bdd &pol);
|
H A D | buddy_wrap.cxx | 5746 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 D | bddx.h | 380 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 D | bddop.c | 3004 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 D | bddx.h | 380 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 D | bddop.c | 3004 BDD bdd_satoneset(BDD r, BDD var, BDD pol) in bdd_satoneset() function
|
/dports/math/spot/spot-2.10.2/buddy/ |
H A D | CHANGES | 72 + Added bdd_satoneset
|
/dports/science/buddy/buddy-2.4/ |
H A D | NEWS | 72 + Added bdd_satoneset
|
/dports/math/py-spot/spot-2.10.2/buddy/ |
H A D | CHANGES | 72 + Added bdd_satoneset
|
/dports/math/spot/spot-2.10.2/ |
H A D | ChangeLog.1 | 9879 (tgba_succ_iterator_concrete::next): Call bdd_satoneset 10004 Rewrite using bdd_satoneset. This time it's for real. (I hope.)
|
H A D | ChangeLog | 1708 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 D | ChangeLog.1 | 9879 (tgba_succ_iterator_concrete::next): Call bdd_satoneset 10004 Rewrite using bdd_satoneset. This time it's for real. (I hope.)
|
H A D | ChangeLog | 1708 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.
|