Home
last modified time | relevance | path

Searched refs:queryAsk (Results 1 – 9 of 9) sorted by relevance

/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Data/SBV/Control/
H A DUtils.hs266 ask s = do QueryState{queryAsk, queryTimeOutValue} <- getQueryState
271 r <- io $ queryAsk queryTimeOutValue s
281 QueryState{queryAsk, queryRetrieveResponse, queryTimeOutValue} <- getQueryState
286 r <- io $ queryAsk queryTimeOutValue s
304 QueryState{queryAsk, querySend, queryConfig, queryTimeOutValue} <- getQueryState
307 then do r <- io $ queryAsk queryTimeOutValue s
/dports/editors/libreoffice/libreoffice-7.2.6.2/offapi/com/sun/star/rdf/
H A DXRepository.idl382 boolean queryAsk([in] string Query)
/dports/editors/libreoffice6/libreoffice-6.4.7.2/offapi/com/sun/star/rdf/
H A DXRepository.idl382 boolean queryAsk([in] string Query)
/dports/editors/libreoffice/libreoffice-7.2.6.2/unoxml/qa/complex/unoxml/
H A DRDFRepositoryTest.java429 boolean bResult = xRep.queryAsk(mkNss() + query); in checkSPARQL()
/dports/editors/libreoffice6/libreoffice-6.4.7.2/unoxml/qa/complex/unoxml/
H A DRDFRepositoryTest.java429 boolean bResult = xRep.queryAsk(mkNss() + query); in checkSPARQL()
/dports/editors/libreoffice/libreoffice-7.2.6.2/unoxml/source/rdf/
H A Dlibrdf_repository.cxx320 virtual sal_Bool SAL_CALL queryAsk(const OUString & i_rQuery) override;
1458 librdf_Repository::queryAsk(const OUString & i_rQuery) in queryAsk() function in __anon59ac1e5d0111::librdf_Repository
/dports/editors/libreoffice6/libreoffice-6.4.7.2/unoxml/source/rdf/
H A Dlibrdf_repository.cxx323 virtual sal_Bool SAL_CALL queryAsk(const OUString & i_rQuery) override;
1466 librdf_Repository::queryAsk(const OUString & i_rQuery) in queryAsk() function in __anonbfc0f3b50111::librdf_Repository
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Data/SBV/SMT/
H A DSMT.hs938 let qs = QueryState { queryAsk = ask
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Data/SBV/Core/
H A DSymbolic.hs677 data QueryState = QueryState { queryAsk :: Maybe Int -> String -> IO String function