Searched refs:CnstMap (Results 1 – 4 of 4) sorted by relevance
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Data/SBV/SMT/ |
| H A D | Utils.hs | 34 import Data.SBV.Core.Symbolic (QueryContext, CnstMap)
50 … -> (CnstMap, [(SV, CV)]) -- ^ constants. The map, and as rendered in order
64 … -> (CnstMap, [(SV, CV)]) -- ^ all constants sofar, and new constants
|
| H A D | SMTLib2.hs | 31 import Data.SBV.Core.Symbolic (QueryContext(..), SetOp(..), OvOp(..), CnstMap, getUserName', getSV,…
551 declArray :: SMTConfig -> Bool -> CnstMap -> SkolemMap -> (Int, ArrayInfo) -> ([String], [String], …
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Data/SBV/Core/ |
| H A D | Symbolic.hs | 61 , extractSymbolicSimulationState, CnstMap
761 , resConsts :: (CnstMap, [(SV, CV)]) -- ^ constants
872 type CnstMap = Map.Map CV SV type
953 , rNewConsts :: IORef CnstMap
1119 , rconstMap :: IORef CnstMap
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Data/SBV/Control/ |
| H A D | Utils.hs | 88 , getUserName', Name, CnstMap
168 syncUpSolver :: (MonadIO m, MonadQuery m) => IORef CnstMap -> IncState -> m ()
|