Searched refs:current_bdd (Results 1 – 2 of 2) sorted by relevance
| /dports/math/spot/spot-2.10.2/tests/core/ |
| H A D | parity.cc | 43 current_bdd, 0, 0, 0.5, true), 0); \
58 generate_aut(const spot::bdd_dict_ptr& current_bdd) in generate_aut() argument
294 auto current_bdd = spot::make_bdd_dict(); in main() local
312 auto automata_tuples = generate_aut(current_bdd); in main()
|
| /dports/math/py-spot/spot-2.10.2/tests/core/ |
| H A D | parity.cc | 43 current_bdd, 0, 0, 0.5, true), 0); \
58 generate_aut(const spot::bdd_dict_ptr& current_bdd) in generate_aut() argument
294 auto current_bdd = spot::make_bdd_dict(); in main() local
312 auto automata_tuples = generate_aut(current_bdd); in main()
|