| makeProcessor | Tct, Tct.Configuration |
| makeRuleCompatible | Tct.Method.Bounds.Violations |
| mapEnum | Tct.Utils.Enum |
| mapResult | Tct.Processor.Transformations |
| MatArg | Tct.Method.Matrix.NaturalMI |
| Match | Tct.Method.Bounds.Automata, Tct.Method.Bounds, Tct.Instances |
| Matrix | |
| 1 (Type/Class) | Tct.Encoding.Matrix |
| 2 (Data Constructor) | Tct.Encoding.Matrix |
| matrix | |
| 1 (Function) | Tct.Method.Matrix.NaturalMI, Tct.Instances |
| 2 (Function) | Tct.Processors |
| MatrixCompare | Tct.Encoding.Matrix |
| matrixConstraints | Tct.Method.Matrix.ArcticMI |
| MatrixCreate | Tct.Method.Matrix.MatrixInterpretation |
| MatrixDP | |
| 1 (Type/Class) | Tct.Method.Matrix.NaturalMI |
| 2 (Type/Class) | Tct.Method.Matrix.ArcticMI |
| MatrixInter | Tct.Method.Matrix.MatrixInterpretation |
| MatrixKind | Tct.Method.Matrix.MatrixInterpretation |
| MatrixOptions | Tct.Method.Matrix.NaturalMI |
| matrixOptions | Tct.Method.Matrix.NaturalMI |
| MatrixOrder | |
| 1 (Type/Class) | Tct.Method.Matrix.NaturalMI |
| 2 (Data Constructor) | Tct.Method.Matrix.NaturalMI |
| matrixProcessor | Tct.Method.Matrix.NaturalMI |
| MatrixRelativity | Tct.Method.Matrix.ArcticMI |
| maximumMatrix | Tct.Encoding.Matrix |
| maximumVector | Tct.Encoding.Matrix |
| maxlabel | Tct.Method.Bounds.Automata |
| maxMatrix | |
| 1 (Function) | Tct.Encoding.Matrix |
| 2 (Function) | Tct.Method.Matrix.MatrixInterpretation |
| maxNonIdMatrix | Tct.Method.Matrix.MatrixInterpretation |
| maxVector | Tct.Encoding.Matrix |
| MaybeAnswer | Tct.Proof, Tct.Processor |
| maybeArg | Tct.Processor.Args.Instances, Tct.Configuration |
| mdim | Tct.Encoding.Matrix |
| MDirect | Tct.Method.Matrix.ArcticMI |
| MemoReachable | Tct.Method.Bounds.Violations.Fix |
| MI | Tct.Method.Matrix.MatrixInterpretation |
| MIEntry | Tct.Method.Matrix.NaturalMI |
| miKind | Tct.Method.Matrix.NaturalMI |
| mikind | Tct.Method.Matrix.NaturalMI |
| Minimal | Tct.Method.Bounds, Tct.Instances |
| MiniSat | Tct.Processor |
| minisatValue | Tct.Processor |
| MIVar | |
| 1 (Type/Class) | Tct.Method.Matrix.MatrixInterpretation |
| 2 (Data Constructor) | Tct.Method.Matrix.MatrixInterpretation |
| mkFreshState | Tct.Method.Bounds.Automata |
| mkInsertRule | Tct.Method.Bounds.Automata |
| mkIO | Tct.Processor |
| mkParseProcessor | Tct.Processor.Standard |
| mkSubsumed | Tct.Processor.Transformations |
| mkUsableRules | Tct.Method.DP.UsableRules |
| MNoDP | |
| 1 (Data Constructor) | Tct.Method.Matrix.NaturalMI |
| 2 (Data Constructor) | Tct.Method.Matrix.ArcticMI |
| modifyArguments | |
| 1 (Function) | Tct.Processor.Standard |
| 2 (Function) | Tct.Processor.Transformations |
| modifyConfig | Tct.Interactive |
| modifyInitialWith | Tct.Interactive |
| Mono | Tct.Encoding.Polynomial |
| mono | Tct.Method.Poly.PolynomialInterpretation, Tct.Instances |
| Monomial | Tct.Encoding.Polynomial |
| monotoneConstraints | |
| 1 (Function) | Tct.Method.Matrix.NaturalMI |
| 2 (Function) | Tct.Method.Matrix.ArcticMI |
| mplus | Tct.Encoding.Matrix |
| Mpo | Tct.Method.Mpo |
| mpo | |
| 1 (Function) | Tct.Method.Mpo, Tct.Instances |
| 2 (Function) | Tct.Processors |
| mpoArgumentFiltering | Tct.Method.Mpo |
| mpoInputProblem | Tct.Method.Mpo |
| mpoIsPPO | Tct.Method.Mpo |
| MpoOrder | |
| 1 (Type/Class) | Tct.Method.Mpo |
| 2 (Data Constructor) | Tct.Method.Mpo |
| mpoPrecedence | Tct.Method.Mpo |
| mpoProcessor | Tct.Method.Mpo |
| mpoUsableSymbols | Tct.Method.Mpo |
| mprod | |
| 1 (Function) | Tct.Encoding.Polynomial |
| 2 (Function) | Tct.Encoding.Matrix |
| MRelative | Tct.Method.Matrix.ArcticMI |
| Mult | Tct.Method.Compose, Tct.Instances |
| mult | Tct.Certificate |
| Multrec | Tct.Certificate |
| mvprod | Tct.Encoding.Matrix |
| MWithDP | |
| 1 (Data Constructor) | Tct.Method.Matrix.NaturalMI |
| 2 (Data Constructor) | Tct.Method.Matrix.ArcticMI |