| biMapFromSBV | Grisette.Backend.SBV.Data.SMT.SymBiMap |
| biMapToSBV | Grisette.Backend.SBV.Data.SMT.SymBiMap |
| BinaryCommPartialStrategy | Grisette.IR.SymPrim.Data.Prim.PartialEval.PartialEval, Grisette.Internal.IR.SymPrim |
| BinaryOp | Grisette.IR.SymPrim.Data.Prim.InternedTerm.Term, Grisette.Internal.IR.SymPrim |
| binaryPartial | Grisette.IR.SymPrim.Data.Prim.PartialEval.PartialEval, Grisette.Internal.IR.SymPrim |
| BinaryPartialStrategy | Grisette.IR.SymPrim.Data.Prim.PartialEval.PartialEval, Grisette.Internal.IR.SymPrim |
| BinaryTerm | Grisette.IR.SymPrim.Data.Prim.InternedTerm.Term, Grisette.Internal.IR.SymPrim |
| BinaryTermPatt | Grisette.IR.SymPrim.Data.Prim.Helpers, Grisette.Internal.IR.SymPrim |
| binaryUnfoldOnce | Grisette.IR.SymPrim.Data.Prim.PartialEval.Unfold, Grisette.Internal.IR.SymPrim |
| binSomeIntN | Grisette.Core.Data.BV |
| binSomeIntNR1 | Grisette.Core.Data.BV |
| binSomeIntNR2 | Grisette.Core.Data.BV |
| binSomeSymIntN | Grisette.IR.SymPrim.Data.SymPrim |
| binSomeSymIntNR1 | Grisette.IR.SymPrim.Data.SymPrim |
| binSomeSymIntNR2 | Grisette.IR.SymPrim.Data.SymPrim |
| binSomeSymWordN | Grisette.IR.SymPrim.Data.SymPrim |
| binSomeSymWordNR1 | Grisette.IR.SymPrim.Data.SymPrim |
| binSomeSymWordNR2 | Grisette.IR.SymPrim.Data.SymPrim |
| binSomeWordN | Grisette.Core.Data.BV |
| binSomeWordNR1 | Grisette.Core.Data.BV |
| binSomeWordNR2 | Grisette.Core.Data.BV |
| BitsConTerm | Grisette.IR.SymPrim.Data.Prim.PartialEval.Bits |
| BitwidthMismatch | |
| 1 (Type/Class) | Grisette.Core.Data.BV |
| 2 (Data Constructor) | Grisette.Core.Data.BV |
| BoolConTerm | Grisette.IR.SymPrim.Data.Prim.PartialEval.Bool, Grisette.Internal.IR.SymPrim |
| boolector | Grisette.Backend.SBV, Grisette |
| BoolTerm | Grisette.IR.SymPrim.Data.Prim.PartialEval.Bool, Grisette.Internal.IR.SymPrim |
| buildGeneralFun | Grisette.IR.SymPrim.Data.Prim.InternedTerm.Term |
| buildModel | Grisette.Core.Data.Class.ModelOps, Grisette.Core, Grisette |
| buildStrategyList | Grisette.Core.Data.Class.Mergeable, Grisette.Core, Grisette |
| buildSymbolSet | Grisette.Core.Data.Class.ModelOps, Grisette.Core, Grisette |
| BVConcatTerm | Grisette.IR.SymPrim.Data.Prim.InternedTerm.Term, Grisette.Internal.IR.SymPrim |
| bvconcatTerm | Grisette.IR.SymPrim.Data.Prim.InternedTerm.InternedCtors |
| BVExtendTerm | Grisette.IR.SymPrim.Data.Prim.InternedTerm.Term, Grisette.Internal.IR.SymPrim |
| bvextendTerm | Grisette.IR.SymPrim.Data.Prim.InternedTerm.InternedCtors |
| BVSelectTerm | Grisette.IR.SymPrim.Data.Prim.InternedTerm.Term, Grisette.Internal.IR.SymPrim |
| bvselectTerm | Grisette.IR.SymPrim.Data.Prim.InternedTerm.InternedCtors |
| bvsignExtendTerm | Grisette.IR.SymPrim.Data.Prim.InternedTerm.InternedCtors |
| bvzeroExtendTerm | Grisette.IR.SymPrim.Data.Prim.InternedTerm.InternedCtors |