grisette-0.2.0.0: Symbolic evaluation as a library
Copyright(c) Sirui Lu 2021-2023
LicenseBSD-3-Clause (see the LICENSE file)
Maintainersiruilu@cs.washington.edu
StabilityExperimental
PortabilityGHC only
Safe HaskellSafe-Inferred
LanguageHaskell2010

Grisette.Backend.SBV.Data.SMT.SymBiMap

Description

 

Documentation

data SymBiMap Source #

Constructors

SymBiMap 

Fields

Instances

Instances details
Show SymBiMap Source # 
Instance details

Defined in Grisette.Backend.SBV.Data.SMT.SymBiMap

Methods

showsPrec :: Int -> SymBiMap -> ShowS #

show :: SymBiMap -> String #

showList :: [SymBiMap] -> ShowS #

emptySymBiMap :: SymBiMap Source #

sizeBiMap :: SymBiMap -> Int Source #

addBiMap :: HasCallStack => SomeTerm -> Dynamic -> String -> SomeTypedSymbol -> SymBiMap -> SymBiMap Source #

addBiMapIntermediate :: HasCallStack => SomeTerm -> Dynamic -> SymBiMap -> SymBiMap Source #

findStringToSymbol :: String -> SymBiMap -> Maybe SomeTypedSymbol Source #

lookupTerm :: HasCallStack => SomeTerm -> SymBiMap -> Maybe Dynamic Source #