| biMapFromSBV | Grisette.Internal.Backend.SymBiMap |
| biMapToSBV | Grisette.Internal.Backend.SymBiMap |
| BinaryCommPartialStrategy | Grisette.Internal.SymPrim.Prim.Internal.PartialEval |
| BinaryOp | Grisette.Internal.SymPrim.Prim.Internal.Term, Grisette.Internal.SymPrim.Prim.Term |
| binaryPartial | Grisette.Internal.SymPrim.Prim.Internal.PartialEval |
| BinaryPartialStrategy | Grisette.Internal.SymPrim.Prim.Internal.PartialEval |
| BinaryTerm | Grisette.Internal.SymPrim.Prim.Internal.Term, Grisette.Internal.SymPrim.Prim.Term |
| binaryUnfoldOnce | Grisette.Internal.SymPrim.Prim.Internal.Unfold |
| binSomeBV | Grisette.Internal.SymPrim.SomeBV, Grisette.SymPrim, Grisette |
| binSomeBVR1 | Grisette.Internal.SymPrim.SomeBV, Grisette.SymPrim, Grisette |
| binSomeBVR2 | Grisette.Internal.SymPrim.SomeBV, Grisette.SymPrim, Grisette |
| binSomeBVSafe | Grisette.Internal.SymPrim.SomeBV, Grisette.SymPrim, Grisette |
| binSomeBVSafeR1 | Grisette.Internal.SymPrim.SomeBV, Grisette.SymPrim, Grisette |
| binSomeBVSafeR2 | Grisette.Internal.SymPrim.SomeBV, Grisette.SymPrim, Grisette |
| BitwidthMismatch | |
| 1 (Type/Class) | Grisette.Internal.SymPrim.BV, Grisette.SymPrim, Grisette |
| 2 (Data Constructor) | Grisette.Internal.SymPrim.BV, Grisette.SymPrim, Grisette |
| BoolConTerm | Grisette.Internal.SymPrim.Prim.Internal.Term, Grisette.Internal.SymPrim.Prim.Term |
| boolector | Grisette.Backend, Grisette |
| BoolTerm | Grisette.Internal.SymPrim.Prim.Internal.Term, Grisette.Internal.SymPrim.Prim.Term |
| buildGeneralFun | Grisette.Internal.SymPrim.GeneralFun |
| buildModel | Grisette.Internal.Core.Data.Class.ModelOps, Grisette.Core, Grisette |
| buildStrategyList | Grisette.Internal.Core.Data.Class.Mergeable, Grisette.Core, Grisette |
| buildSymbolSet | Grisette.Internal.Core.Data.Class.ModelOps, Grisette.Core, Grisette |
| BV | Grisette.Internal.Core.Data.Class.BitVector, Grisette.Core, Grisette |
| bv | Grisette.Internal.Core.Data.Class.BitVector, Grisette.Core, Grisette |
| bvConcat | Grisette.Internal.Core.Data.Class.BitVector, Grisette.Core, Grisette |
| BVConcatTerm | Grisette.Internal.SymPrim.Prim.Internal.Term, Grisette.Internal.SymPrim.Prim.Term |
| bvconcatTerm | Grisette.Internal.SymPrim.Prim.Internal.Term, Grisette.Internal.SymPrim.Prim.Term |
| bvExt | Grisette.Internal.Core.Data.Class.BitVector, Grisette.Core, Grisette |
| BVExtendTerm | Grisette.Internal.SymPrim.Prim.Internal.Term, Grisette.Internal.SymPrim.Prim.Term |
| bvextendTerm | Grisette.Internal.SymPrim.Prim.Internal.Term, Grisette.Internal.SymPrim.Prim.Term |
| bvExtract | Grisette.Internal.Core.Data.Class.BitVector, Grisette.Core, Grisette |
| bvIsNonZeroFromGEq1 | Grisette.Internal.SymPrim.Prim.Internal.Instances.SupportedPrim |
| bvSelect | Grisette.Internal.Core.Data.Class.BitVector, Grisette.Core, Grisette |
| BVSelectTerm | Grisette.Internal.SymPrim.Prim.Internal.Term, Grisette.Internal.SymPrim.Prim.Term |
| bvselectTerm | Grisette.Internal.SymPrim.Prim.Internal.Term, Grisette.Internal.SymPrim.Prim.Term |
| bvSext | Grisette.Internal.Core.Data.Class.BitVector, Grisette.Core, Grisette |
| bvsignExtendTerm | Grisette.Internal.SymPrim.Prim.Internal.Term, Grisette.Internal.SymPrim.Prim.Term |
| bvzeroExtendTerm | Grisette.Internal.SymPrim.Prim.Internal.Term, Grisette.Internal.SymPrim.Prim.Term |
| bvZext | Grisette.Internal.Core.Data.Class.BitVector, Grisette.Core, Grisette |