Searched refs:to_observe (Results 1 – 8 of 8) sorted by relevance
| /dports/math/spot/spot-2.10.2/spot/ltsmin/ |
| H A D | ltsmin.hh | 71 kripke_ptr kripke(const atomic_prop_set* to_observe,
79 ltsmin_kripkecube_ptr kripkecube(std::vector<std::string> to_observe,
|
| H A D | ltsmin.cc | 916 ltsmin_model::kripkecube(std::vector<std::string> to_observe, in kripkecube() argument
938 for (auto it: to_observe) in kripkecube()
943 to_observe.push_back(dead_ap); in kripkecube()
948 (iface, compress, to_observe, selfloopize, dead_ap, nb_threads); in kripkecube()
952 ltsmin_model::kripke(const atomic_prop_set* to_observe, in kripke() argument
959 convert_aps(to_observe, iface, dict, dead, *ps); in kripke()
972 for (auto ap: *to_observe) in kripke()
|
| /dports/math/py-spot/spot-2.10.2/spot/ltsmin/ |
| H A D | ltsmin.hh | 71 kripke_ptr kripke(const atomic_prop_set* to_observe,
79 ltsmin_kripkecube_ptr kripkecube(std::vector<std::string> to_observe,
|
| H A D | ltsmin.cc | 916 ltsmin_model::kripkecube(std::vector<std::string> to_observe, in kripkecube() argument
938 for (auto it: to_observe) in kripkecube()
943 to_observe.push_back(dead_ap); in kripkecube()
948 (iface, compress, to_observe, selfloopize, dead_ap, nb_threads); in kripkecube()
952 ltsmin_model::kripke(const atomic_prop_set* to_observe, in kripke() argument
959 convert_aps(to_observe, iface, dict, dead, *ps); in kripke()
972 for (auto ap: *to_observe) in kripke()
|
| /dports/www/qt5-webengine/qtwebengine-everywhere-src-5.15.2/src/3rdparty/chromium/ui/wm/core/ |
| H A D | focus_controller_unittest.cc | 400 ActivateWhileActivatingObserver(aura::Window* to_observe, in ActivateWhileActivatingObserver() argument
403 : to_observe_(to_observe), in ActivateWhileActivatingObserver()
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/ui/wm/core/ |
| H A D | focus_controller_unittest.cc | 399 ActivateWhileActivatingObserver(aura::Window* to_observe, in ActivateWhileActivatingObserver() argument
402 : to_observe_(to_observe), in ActivateWhileActivatingObserver()
|
| /dports/www/qt5-webengine/qtwebengine-everywhere-src-5.15.2/src/3rdparty/chromium/ui/aura/ |
| H A D | window_unittest.cc | 2800 explicit DeleteOnVisibilityChangedObserver(Window* to_observe, in DeleteOnVisibilityChangedObserver() argument
2802 : to_observe_(to_observe), to_delete_(to_delete) { in DeleteOnVisibilityChangedObserver()
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/ui/aura/ |
| H A D | window_unittest.cc | 2777 explicit DeleteOnVisibilityChangedObserver(Window* to_observe, in DeleteOnVisibilityChangedObserver() argument
2779 : to_observe_(to_observe), to_delete_(to_delete) { in DeleteOnVisibilityChangedObserver()
|