Home
last modified time | relevance | path

Searched defs:ScopedBool (Results 1 – 23 of 23) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/expr/
H A Dnode_manager.cpp49 struct ScopedBool { struct
50 bool& d_value;
52 ScopedBool(bool& value) : in ScopedBool() function
59 ~ScopedBool() { in ~ScopedBool()
/dports/math/cvc4/CVC4-1.7/src/prop/
H A Dprop_engine.cpp59 class ScopedBool { class
68 ScopedBool(bool& reference) : in ScopedBool() function in CVC4::prop::ScopedBool
/dports/math/cvc4/CVC4-1.7/src/prop/minisat/core/
H A DSolver.cc83 class ScopedBool { class
87 ScopedBool(bool& watch, bool newValue) in ScopedBool() function in CVC4::Minisat::ScopedBool
/dports/databases/qt5-sqldrivers-sqlite2/kde-qtbase-5.15.2p263/src/network/ssl/
H A Dqsslsocket_openssl.cpp993 using ScopedBool = QScopedValueRollback<bool>; in transmit() typedef
1276 using ScopedBool = QScopedValueRollback<bool>; in startHandshake() typedef
/dports/databases/qt5-sqldrivers-tds/kde-qtbase-5.15.2p263/src/network/ssl/
H A Dqsslsocket_openssl.cpp993 using ScopedBool = QScopedValueRollback<bool>; in transmit() typedef
1276 using ScopedBool = QScopedValueRollback<bool>; in startHandshake() typedef
/dports/databases/qt5-sqldrivers-sqlite3/kde-qtbase-5.15.2p263/src/network/ssl/
H A Dqsslsocket_openssl.cpp993 using ScopedBool = QScopedValueRollback<bool>; in transmit() typedef
1276 using ScopedBool = QScopedValueRollback<bool>; in startHandshake() typedef
/dports/textproc/qt5-xml/kde-qtbase-5.15.2p263/src/network/ssl/
H A Dqsslsocket_openssl.cpp993 using ScopedBool = QScopedValueRollback<bool>; in transmit() typedef
1276 using ScopedBool = QScopedValueRollback<bool>; in startHandshake() typedef
/dports/databases/qt5-sqldrivers-odbc/kde-qtbase-5.15.2p263/src/network/ssl/
H A Dqsslsocket_openssl.cpp993 using ScopedBool = QScopedValueRollback<bool>; in transmit() typedef
1276 using ScopedBool = QScopedValueRollback<bool>; in startHandshake() typedef
/dports/databases/qt5-sqldrivers-ibase/kde-qtbase-5.15.2p263/src/network/ssl/
H A Dqsslsocket_openssl.cpp993 using ScopedBool = QScopedValueRollback<bool>; in transmit() typedef
1276 using ScopedBool = QScopedValueRollback<bool>; in startHandshake() typedef
/dports/databases/qt5-sqldrivers-pgsql/kde-qtbase-5.15.2p263/src/network/ssl/
H A Dqsslsocket_openssl.cpp993 using ScopedBool = QScopedValueRollback<bool>; in transmit() typedef
1276 using ScopedBool = QScopedValueRollback<bool>; in startHandshake() typedef
/dports/databases/qt5-sqldrivers-mysql/kde-qtbase-5.15.2p263/src/network/ssl/
H A Dqsslsocket_openssl.cpp993 using ScopedBool = QScopedValueRollback<bool>; in transmit() typedef
1276 using ScopedBool = QScopedValueRollback<bool>; in startHandshake() typedef
/dports/databases/qt5-sql/kde-qtbase-5.15.2p263/src/network/ssl/
H A Dqsslsocket_openssl.cpp993 using ScopedBool = QScopedValueRollback<bool>; in transmit() typedef
1276 using ScopedBool = QScopedValueRollback<bool>; in startHandshake() typedef
/dports/net/qt5-network/kde-qtbase-5.15.2p263/src/network/ssl/
H A Dqsslsocket_openssl.cpp995 using ScopedBool = QScopedValueRollback<bool>; in transmit() typedef
1278 using ScopedBool = QScopedValueRollback<bool>; in startHandshake() typedef
/dports/x11-toolkits/qt5-widgets/kde-qtbase-5.15.2p263/src/network/ssl/
H A Dqsslsocket_openssl.cpp993 using ScopedBool = QScopedValueRollback<bool>; in transmit() typedef
1276 using ScopedBool = QScopedValueRollback<bool>; in startHandshake() typedef
/dports/x11-toolkits/qt5-gui/kde-qtbase-5.15.2p263/src/network/ssl/
H A Dqsslsocket_openssl.cpp993 using ScopedBool = QScopedValueRollback<bool>; in transmit() typedef
1276 using ScopedBool = QScopedValueRollback<bool>; in startHandshake() typedef
/dports/devel/qt5-testlib/kde-qtbase-5.15.2p263/src/network/ssl/
H A Dqsslsocket_openssl.cpp993 using ScopedBool = QScopedValueRollback<bool>; in transmit() typedef
1276 using ScopedBool = QScopedValueRollback<bool>; in startHandshake() typedef
/dports/devel/qt5-concurrent/kde-qtbase-5.15.2p263/src/network/ssl/
H A Dqsslsocket_openssl.cpp993 using ScopedBool = QScopedValueRollback<bool>; in transmit() typedef
1276 using ScopedBool = QScopedValueRollback<bool>; in startHandshake() typedef
/dports/devel/qt5-dbus/kde-qtbase-5.15.2p263/src/network/ssl/
H A Dqsslsocket_openssl.cpp993 using ScopedBool = QScopedValueRollback<bool>; in transmit() typedef
1276 using ScopedBool = QScopedValueRollback<bool>; in startHandshake() typedef
/dports/devel/qt5-buildtools/kde-qtbase-5.15.2p263/src/network/ssl/
H A Dqsslsocket_openssl.cpp993 using ScopedBool = QScopedValueRollback<bool>; in transmit() typedef
1276 using ScopedBool = QScopedValueRollback<bool>; in startHandshake() typedef
/dports/devel/qt5-qmake/kde-qtbase-5.15.2p263/src/network/ssl/
H A Dqsslsocket_openssl.cpp993 using ScopedBool = QScopedValueRollback<bool>; in transmit() typedef
1276 using ScopedBool = QScopedValueRollback<bool>; in startHandshake() typedef
/dports/graphics/qt5-opengl/kde-qtbase-5.15.2p263/src/network/ssl/
H A Dqsslsocket_openssl.cpp993 using ScopedBool = QScopedValueRollback<bool>; in transmit() typedef
1276 using ScopedBool = QScopedValueRollback<bool>; in startHandshake() typedef
/dports/print/qt5-printsupport/kde-qtbase-5.15.2p263/src/network/ssl/
H A Dqsslsocket_openssl.cpp993 using ScopedBool = QScopedValueRollback<bool>; in transmit() typedef
1276 using ScopedBool = QScopedValueRollback<bool>; in startHandshake() typedef
/dports/math/cvc4/CVC4-1.7/src/theory/uf/
H A Dequality_engine.cpp61 class ScopedBool { class
65 ScopedBool(bool& watch, bool newValue) in ScopedBool() function in CVC4::theory::eq::ScopedBool