Home
last modified time | relevance | path

Searched refs:SetLogic (Results 1 – 4 of 4) sorted by relevance

/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Data/SBV/Control/
H A DTypes.hs112 | SetLogic Logic constructor
131 isStartModeOption SetLogic{} = True function
149 isOnlyOnceOption SetLogic{} = True function
171 cvt (SetLogic l) = logic l
H A DQuery.hs182 …SetLogic{} -> error "Data.SBV.Query: SMTLib does not allow querying value of the …
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Data/SBV/Core/
H A DData.hs437 setLogic = setOption . SetLogic
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Data/SBV/SMT/
H A DSMTLib2.hs86 | Just l <- case [l | SetLogic l <- solverSetOptions cfg] of
158 isLogic SetLogic{} = True