/dports/math/cvc4/CVC4-1.7/test/regress/regress1/sets/ |
H A D | setofsets-disequal.smt2 | 15 (assert (not (= S (singleton (singleton (_ bv0 1)) )))) 16 (assert (not (= S (singleton (singleton (_ bv1 1)) )))) 17 (assert (not (= S (singleton (union (singleton (_ bv0 1)) 22 (singleton (singleton (_ bv0 1)))) ))) 24 (singleton (singleton (_ bv1 1))))))) 26 (singleton (union (singleton (_ bv0 1)) 28 (assert (not (= S (union (singleton (union (singleton (_ bv0 1)) 30 (singleton (singleton (_ bv0 1)))) ))) 31 (assert (not (= S (union (singleton (singleton (_ bv0 1))) 35 (singleton (singleton (_ bv1 1))))))) [all …]
|
/dports/net/p5-ResourcePool-Resource-Net-LDAP/ResourcePool-Resource-Net-LDAP-1.0003/t/ |
H A D | 02FactorySingleton.t | 21 ok(($f1->singleton() == $f2->singleton()) && ($f1->singleton() == $f5->singleton()) 22 && ($f3->singleton() == $f4->singleton()) && ($f1->singleton() != $f3->singleton())); 29 ok(($f1->singleton() == $f2->singleton()) && ($f1->singleton() == $f5->singleton()) 30 && ($f3->singleton() == $f4->singleton()) && ($f1->singleton() != $f3->singleton())); 37 ok(($f1->singleton() == $f2->singleton()) && ($f1->singleton() == $f5->singleton()) 38 && ($f3->singleton() == $f4->singleton()) && ($f1->singleton() != $f3->singleton())); 45 ok(($f1->singleton() == $f2->singleton()) && ($f1->singleton() == $f5->singleton()) 46 && ($f3->singleton() == $f4->singleton()) && ($f1->singleton() != $f3->singleton())); 55 ok(($f1->singleton() == $f2->singleton()) && ($f1->singleton() == $f5->singleton()) 68 ok(($f1->singleton() == $f2->singleton()) && ($f1->singleton() == $f5->singleton()) [all …]
|
/dports/net/linphone/linphoneqt-4.1.1/ui/modules/Common/Styles/ |
H A D | qmldir | 9 singleton DialogStyle 1.0 Dialog/DialogStyle.qml 11 singleton ActionBarStyle 1.0 Form/ActionBarStyle.qml 12 singleton CheckBoxTextStyle 1.0 Form/CheckBoxTextStyle.qml 13 singleton ComboBoxStyle 1.0 Form/ComboBoxStyle.qml 15 singleton ListFormStyle 1.0 Form/ListFormStyle.qml 16 singleton SearchBoxStyle 1.0 Form/SearchBoxStyle.qml 17 singleton SwitchStyle 1.0 Form/SwitchStyle.qml 46 singleton MenuStyle 1.0 Menus/MenuStyle.qml 49 singleton PanedStyle 1.0 Misc/PanedStyle.qml 51 singleton PopupStyle 1.0 Popup/PopupStyle.qml [all …]
|
/dports/net-mgmt/librenms/librenms-vendor-21.5.1/laravel/framework/src/Illuminate/Foundation/Providers/ |
H A D | ArtisanServiceProvider.php | 350 $this->app->singleton(DbCommand::class); 360 $this->app->singleton('command.db.wipe', function () { 420 $this->app->singleton('command.down', function () { 576 $this->app->singleton('command.optimize', function () { 936 $this->app->singleton(ScheduleFinishCommand::class); 946 $this->app->singleton(ScheduleListCommand::class); 956 $this->app->singleton(ScheduleRunCommand::class); 966 $this->app->singleton(ScheduleTestCommand::class); 976 $this->app->singleton(ScheduleWorkCommand::class); 986 $this->app->singleton('command.serve', function () { [all …]
|
/dports/net/linphone/linphoneqt-4.1.1/ui/views/App/Styles/ |
H A D | qmldir | 9 singleton CallStyle 1.0 Calls/CallStyle.qml 10 singleton CallsWindowStyle 1.0 Calls/CallsWindowStyle.qml 11 singleton ConferenceStyle 1.0 Calls/ConferenceStyle.qml 26 singleton AssistantStyle 1.0 Main/AssistantStyle.qml 27 singleton ContactEditStyle 1.0 Main/ContactEditStyle.qml 28 singleton ContactsStyle 1.0 Main/ContactsStyle.qml 29 singleton ConversationStyle 1.0 Main/ConversationStyle.qml 30 singleton HomeStyle 1.0 Main/HomeStyle.qml 31 singleton InviteFriendsStyle 1.0 Main/InviteFriendsStyle.qml 32 singleton MainWindowStyle 1.0 Main/MainWindowStyle.qml [all …]
|
/dports/databases/p5-ResourcePool-Resource-DBI/ResourcePool-Resource-DBI-1.0101/t/ |
H A D | 02FactorySingleton.t | 22 ok(($f1->singleton() == $f2->singleton()) && ($f1->singleton() == $f5->singleton()) 23 && ($f3->singleton() == $f4->singleton()) && ($f1->singleton() != $f3->singleton())); 30 ok(($f1->singleton() == $f2->singleton()) && ($f1->singleton() == $f5->singleton()) 31 && ($f3->singleton() == $f4->singleton()) && ($f1->singleton() != $f3->singleton())); 38 ok(($f1->singleton() == $f2->singleton()) && ($f1->singleton() == $f5->singleton()) 39 && ($f3->singleton() == $f4->singleton()) && ($f1->singleton() != $f3->singleton()));
|
/dports/databases/xtrabackup8/percona-xtrabackup-8.0.14/mysql-test/suite/group_replication/r/ |
H A D | gr_psi_keys.result | 13 wait/synch/mutex/group_rpl/LOCK_applier_module_run YES YES singleton 0 NULL 15 wait/synch/mutex/group_rpl/LOCK_autorejoin_module YES YES singleton 0 NULL 22 wait/synch/mutex/group_rpl/LOCK_clone_donor_list YES YES singleton 0 NULL 24 wait/synch/mutex/group_rpl/LOCK_clone_query YES YES singleton 0 NULL 25 wait/synch/mutex/group_rpl/LOCK_clone_read_mode YES YES singleton 0 NULL 41 wait/synch/mutex/group_rpl/LOCK_plugin_online YES YES singleton 0 NULL 42 wait/synch/mutex/group_rpl/LOCK_plugin_running YES YES singleton 0 NULL 50 wait/synch/mutex/group_rpl/LOCK_recovery YES YES singleton 0 NULL 63 wait/synch/mutex/group_rpl/LOCK_wait_ticket YES YES singleton 0 NULL 96 wait/synch/cond/group_rpl/COND_wait_ticket YES YES singleton 0 NULL [all …]
|
/dports/net/linphone/linphoneqt-4.1.1/ui/modules/Linphone/Styles/ |
H A D | qmldir | 7 singleton AccountStatusStyle 1.0 Account/AccountStatusStyle.qml 9 singleton CardBlockStyle 1.0 Blocks/CardBlockStyle.qml 10 singleton RequestBlockStyle 1.0 Blocks/RequestBlockStyle.qml 12 singleton ChatStyle 1.0 Chat/ChatStyle.qml 14 singleton CallControlsStyle 1.0 Calls/CallControlsStyle.qml 15 singleton CallsStyle 1.0 Calls/CallsStyle.qml 16 singleton CallStatisticsStyle 1.0 Calls/CallStatisticsStyle.qml 19 singleton CodecsViewerStyle 1.0 Codecs/CodecsViewerStyle.qml 21 singleton AvatarStyle 1.0 Contact/AvatarStyle.qml 23 singleton ContactStyle 1.0 Contact/ContactStyle.qml [all …]
|
/dports/devel/boost-docs/boost_1_72_0/libs/hana/example/misc/ |
H A D | infinite_set.cpp | 39 constexpr auto singleton(X x) { in singleton() function 90 { return singleton(x); } in apply() 171 hana::union_(singleton(c<0>), singleton(c<0>)), in main() 172 singleton(c<0>) in main() 175 hana::union_(singleton(c<0>), singleton(c<1>)), in main() 188 BOOST_HANA_CONSTEXPR_CHECK(hana::equal(singleton(n<0>), singleton(n<0>))); in main() 226 hana::ap(singleton(f), singleton(c<0>)), in main() 249 singleton(c<0>) in main() 259 hana::flatten(singleton(singleton(c<0>))), in main() 268 hana::flatten(doubleton(singleton(c<0>), singleton(c<1>))), in main() [all …]
|
/dports/devel/boost-python-libs/boost_1_72_0/libs/hana/example/misc/ |
H A D | infinite_set.cpp | 39 constexpr auto singleton(X x) { in singleton() function 90 { return singleton(x); } in apply() 171 hana::union_(singleton(c<0>), singleton(c<0>)), in main() 172 singleton(c<0>) in main() 175 hana::union_(singleton(c<0>), singleton(c<1>)), in main() 188 BOOST_HANA_CONSTEXPR_CHECK(hana::equal(singleton(n<0>), singleton(n<0>))); in main() 226 hana::ap(singleton(f), singleton(c<0>)), in main() 249 singleton(c<0>) in main() 259 hana::flatten(singleton(singleton(c<0>))), in main() 268 hana::flatten(doubleton(singleton(c<0>), singleton(c<1>))), in main() [all …]
|
/dports/devel/boost-libs/boost_1_72_0/libs/hana/example/misc/ |
H A D | infinite_set.cpp | 39 constexpr auto singleton(X x) { in singleton() function 90 { return singleton(x); } in apply() 171 hana::union_(singleton(c<0>), singleton(c<0>)), in main() 172 singleton(c<0>) in main() 175 hana::union_(singleton(c<0>), singleton(c<1>)), in main() 188 BOOST_HANA_CONSTEXPR_CHECK(hana::equal(singleton(n<0>), singleton(n<0>))); in main() 226 hana::ap(singleton(f), singleton(c<0>)), in main() 249 singleton(c<0>) in main() 259 hana::flatten(singleton(singleton(c<0>))), in main() 268 hana::flatten(doubleton(singleton(c<0>), singleton(c<1>))), in main() [all …]
|
/dports/devel/hyperscan/boost_1_75_0/libs/hana/example/misc/ |
H A D | infinite_set.cpp | 39 constexpr auto singleton(X x) { in singleton() function 90 { return singleton(x); } in apply() 171 hana::union_(singleton(c<0>), singleton(c<0>)), in main() 172 singleton(c<0>) in main() 175 hana::union_(singleton(c<0>), singleton(c<1>)), in main() 188 BOOST_HANA_CONSTEXPR_CHECK(hana::equal(singleton(n<0>), singleton(n<0>))); in main() 226 hana::ap(singleton(f), singleton(c<0>)), in main() 249 singleton(c<0>) in main() 259 hana::flatten(singleton(singleton(c<0>))), in main() 268 hana::flatten(doubleton(singleton(c<0>), singleton(c<1>))), in main() [all …]
|
/dports/www/firefox-esr/firefox-91.8.0/memory/build/ |
H A D | replace_malloc_bridge.h | 210 auto singleton = ReplaceMallocBridge::Get(/* minimumVersion */ 1); 211 return singleton ? singleton->GetDMDFuncs() : nullptr; 216 if (singleton) { 217 singleton->InitDebugFd(aRegistry); 225 return singleton ? singleton->RegisterHook(aName, aTable, aHookTable) 231 return singleton ? singleton->IsPHCAllocation(aPtr, aOut) : false; 236 if (singleton) { 237 singleton->DisablePHCOnCurrentThread(); 243 if (singleton) { 244 singleton->ReenablePHCOnCurrentThread(); [all …]
|
/dports/www/firefox/firefox-99.0/memory/build/ |
H A D | replace_malloc_bridge.h | 210 auto singleton = ReplaceMallocBridge::Get(/* minimumVersion */ 1); 211 return singleton ? singleton->GetDMDFuncs() : nullptr; 216 if (singleton) { 217 singleton->InitDebugFd(aRegistry); 225 return singleton ? singleton->RegisterHook(aName, aTable, aHookTable) 231 return singleton ? singleton->IsPHCAllocation(aPtr, aOut) : false; 236 if (singleton) { 237 singleton->DisablePHCOnCurrentThread(); 243 if (singleton) { 244 singleton->ReenablePHCOnCurrentThread(); [all …]
|
/dports/mail/thunderbird/thunderbird-91.8.0/memory/build/ |
H A D | replace_malloc_bridge.h | 210 auto singleton = ReplaceMallocBridge::Get(/* minimumVersion */ 1); 211 return singleton ? singleton->GetDMDFuncs() : nullptr; 216 if (singleton) { 217 singleton->InitDebugFd(aRegistry); 225 return singleton ? singleton->RegisterHook(aName, aTable, aHookTable) 231 return singleton ? singleton->IsPHCAllocation(aPtr, aOut) : false; 236 if (singleton) { 237 singleton->DisablePHCOnCurrentThread(); 243 if (singleton) { 244 singleton->ReenablePHCOnCurrentThread(); [all …]
|
/dports/lang/spidermonkey78/firefox-78.9.0/memory/build/ |
H A D | replace_malloc_bridge.h | 210 auto singleton = ReplaceMallocBridge::Get(/* minimumVersion */ 1); 211 return singleton ? singleton->GetDMDFuncs() : nullptr; 216 if (singleton) { 217 singleton->InitDebugFd(aRegistry); 225 return singleton ? singleton->RegisterHook(aName, aTable, aHookTable) 231 return singleton ? singleton->IsPHCAllocation(aPtr, aOut) : false; 236 if (singleton) { 237 singleton->DisablePHCOnCurrentThread(); 243 if (singleton) { 244 singleton->ReenablePHCOnCurrentThread(); [all …]
|
/dports/www/firefox-legacy/firefox-52.8.0esr/security/manager/ssl/ |
H A D | nsNSSShutDown.cpp | 53 singleton = nullptr; in ~nsNSSShutDownList() 70 if (!singleton) { in forget() 92 if (!singleton) { in forget() 103 if (!singleton) { in doPK11Logout() 149 if (!singleton) { in evaporateAllNSSResources() 168 while (singleton) { in evaporateAllNSSResources() 181 if (!singleton) { in evaporateAllNSSResources() 200 if (singleton) { in leaveActivityState() 211 return !!singleton; in construct() 220 if (singleton) { in shutdown() [all …]
|
/dports/databases/percona57-pam-for-mysql/boost_1_59_0/boost/test/data/monomorphic/ |
H A D | singleton.hpp | 40 explicit iterator( singleton<T> const& owner ) in iterator() 50 singleton<T> const& m_owner; 61 singleton( singleton&& s ) : m_value( std::forward<T>( s.m_value ) ) {} in singleton() function in boost::unit_test::data::monomorphic::singleton 81 struct is_dataset<singleton<T> > : mpl::true_ {}; 92 monomorphic::singleton<T> 97 return monomorphic::singleton<T>( std::forward<T>( v ) ); in make() 102 return monomorphic::singleton<T>( v ); 108 inline monomorphic::singleton<char*> make( char* str ) in make() 111 return monomorphic::singleton<char*>( std::move(str) ); in make() 113 return monomorphic::singleton<char*>( str ); in make() [all …]
|
/dports/databases/xtrabackup/boost_1_59_0/boost/test/data/monomorphic/ |
H A D | singleton.hpp | 40 explicit iterator( singleton<T> const& owner ) in iterator() 50 singleton<T> const& m_owner; 61 singleton( singleton&& s ) : m_value( std::forward<T>( s.m_value ) ) {} in singleton() function in boost::unit_test::data::monomorphic::singleton 81 struct is_dataset<singleton<T> > : mpl::true_ {}; 92 monomorphic::singleton<T> 97 return monomorphic::singleton<T>( std::forward<T>( v ) ); in make() 102 return monomorphic::singleton<T>( v ); 108 inline monomorphic::singleton<char*> make( char* str ) in make() 111 return monomorphic::singleton<char*>( std::move(str) ); in make() 113 return monomorphic::singleton<char*>( str ); in make() [all …]
|
/dports/databases/percona57-server/boost_1_59_0/boost/test/data/monomorphic/ |
H A D | singleton.hpp | 40 explicit iterator( singleton<T> const& owner ) in iterator() 50 singleton<T> const& m_owner; 61 singleton( singleton&& s ) : m_value( std::forward<T>( s.m_value ) ) {} in singleton() function in boost::unit_test::data::monomorphic::singleton 81 struct is_dataset<singleton<T> > : mpl::true_ {}; 92 monomorphic::singleton<T> 97 return monomorphic::singleton<T>( std::forward<T>( v ) ); in make() 102 return monomorphic::singleton<T>( v ); 108 inline monomorphic::singleton<char*> make( char* str ) in make() 111 return monomorphic::singleton<char*>( std::move(str) ); in make() 113 return monomorphic::singleton<char*>( str ); in make() [all …]
|
/dports/databases/percona57-client/boost_1_59_0/boost/test/data/monomorphic/ |
H A D | singleton.hpp | 40 explicit iterator( singleton<T> const& owner ) in iterator() 50 singleton<T> const& m_owner; 61 singleton( singleton&& s ) : m_value( std::forward<T>( s.m_value ) ) {} in singleton() function in boost::unit_test::data::monomorphic::singleton 81 struct is_dataset<singleton<T> > : mpl::true_ {}; 92 monomorphic::singleton<T> 97 return monomorphic::singleton<T>( std::forward<T>( v ) ); in make() 102 return monomorphic::singleton<T>( v ); 108 inline monomorphic::singleton<char*> make( char* str ) in make() 111 return monomorphic::singleton<char*>( std::move(str) ); in make() 113 return monomorphic::singleton<char*>( str ); in make() [all …]
|
/dports/databases/mysql57-client/mysql-5.7.36/boost/boost_1_59_0/boost/test/data/monomorphic/ |
H A D | singleton.hpp | 40 explicit iterator( singleton<T> const& owner ) in iterator() 50 singleton<T> const& m_owner; 61 singleton( singleton&& s ) : m_value( std::forward<T>( s.m_value ) ) {} in singleton() function in boost::unit_test::data::monomorphic::singleton 81 struct is_dataset<singleton<T> > : mpl::true_ {}; 92 monomorphic::singleton<T> 97 return monomorphic::singleton<T>( std::forward<T>( v ) ); in make() 102 return monomorphic::singleton<T>( v ); 108 inline monomorphic::singleton<char*> make( char* str ) in make() 111 return monomorphic::singleton<char*>( std::move(str) ); in make() 113 return monomorphic::singleton<char*>( str ); in make() [all …]
|
/dports/databases/mysqlwsrep57-server/boost_1_59_0/boost/test/data/monomorphic/ |
H A D | singleton.hpp | 40 explicit iterator( singleton<T> const& owner ) in iterator() 50 singleton<T> const& m_owner; 61 singleton( singleton&& s ) : m_value( std::forward<T>( s.m_value ) ) {} in singleton() function in boost::unit_test::data::monomorphic::singleton 81 struct is_dataset<singleton<T> > : mpl::true_ {}; 92 monomorphic::singleton<T> 97 return monomorphic::singleton<T>( std::forward<T>( v ) ); in make() 102 return monomorphic::singleton<T>( v ); 108 inline monomorphic::singleton<char*> make( char* str ) in make() 111 return monomorphic::singleton<char*>( std::move(str) ); in make() 113 return monomorphic::singleton<char*>( str ); in make() [all …]
|
/dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/constraints/ |
H A D | IfThenBool.java | 132 if (x.singleton()) in consistency() 201 if (!x.singleton()) in notSatisfied() 203 if (!z.singleton()) in notSatisfied() 206 if (x.singleton(0) && z.singleton(0)) in notSatisfied() 209 if (!y.singleton()) in notSatisfied() 212 if (x.singleton(1) && y.singleton(1) && z.singleton(0)) in notSatisfied() 221 if (!x.singleton()) in satisfied() 223 if (!z.singleton()) in satisfied() 226 if (x.singleton(0) && z.singleton(1)) in satisfied() 229 if (!y.singleton()) in satisfied() [all …]
|
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Utils/ |
H A D | Singleton.hs | 34 fromList = mconcat . map singleton 58 singleton :: el -> coll 60 instance Singleton a (Maybe a) where singleton = Just function 62 instance Singleton a ([a] -> [a]) where singleton = (:) function 66 instance Singleton a (Seq a) where singleton = Seq.singleton function 67 instance Singleton a (Set a) where singleton = Set.singleton function 68 instance Singleton Int IntSet where singleton = IntSet.singleton function 70 instance Singleton (k ,a) (Map k a) where singleton = uncurry Map.singleton function 71 instance Singleton (Int,a) (IntMap a) where singleton = uncurry IntMap.singleton function 73 instance Hashable a => Singleton a (HashSet a) where singleton = HashSet.singleton function [all …]
|