| base | Tct.Method.Bounds.Automata |
| baseTerm | Tct.Method.Bounds.Automata |
| before | Tct.Method.Combinator, Tct.Instances |
| Best | Tct.Method.Combinator |
| best | |
| 1 (Function) | Tct.Method.Combinator, Tct.Instances |
| 2 (Function) | Tct.Processors |
| bestProcessor | Tct.Method.Combinator |
| BigAnd | Tct.Processor, Tct.Method.RuleSelector, Tct.Instances |
| bigmplus | Tct.Encoding.Matrix |
| bigmprod | Tct.Encoding.Matrix |
| BigOr | Tct.Processor, Tct.Method.RuleSelector, Tct.Instances |
| bigPplus | Tct.Encoding.Polynomial |
| bigPprod | Tct.Encoding.Polynomial |
| bigvplus | Tct.Encoding.Matrix |
| block | Tct.Utils.PPrint |
| block' | Tct.Utils.PPrint |
| bool | Tct.Processor.Parse |
| boolArg | Tct.Processor.Args.Instances, Tct.Configuration |
| boolCoefficient | Tct.Method.Poly.PolynomialInterpretation, Tct.Instances |
| Both | Tct.Method.Predicates, Tct.Instances |
| bound | |
| 1 (Function) | Tct.Method.Matrix.NaturalMI |
| 2 (Function) | Tct.Method.Matrix.ArcticMI |
| boundHeight | Tct.Method.Bounds |
| Bounds | Tct.Method.Bounds |
| bounds | |
| 1 (Function) | Tct.Method.Bounds, Tct.Instances |
| 2 (Function) | Tct.Processors |
| BoundsCertificate | |
| 1 (Type/Class) | Tct.Method.Bounds |
| 2 (Data Constructor) | Tct.Method.Bounds |
| boundsProcessor | Tct.Method.Bounds |
| BoundsProof | Tct.Method.Bounds |
| BP | Tct.Method.Bounds |
| brackets | Tct.Processor.Parse |
| branchProof | Tct.Method.Combinator |
| bsearch | Tct.Instances |
| bstep | Tct.Method.Bounds.Automata |
| bstepUL | Tct.Method.Bounds.Automata |
| builtInProcessors | Tct.Processors |
| bwd | Tct.Method.Bounds.Automata |
| BwdAutomaton | Tct.Method.Bounds.Automata |
| bwdInsert | Tct.Method.Bounds.Automata |