| eliminateQuantifiers | |
| 1 (Function) | ToySolver.FourierMotzkin.FOL, ToySolver.FourierMotzkin |
| 2 (Function) | ToySolver.Cooper.FOL, ToySolver.Cooper |
| eliminateQuantifiers' | ToySolver.FourierMotzkin.FOL |
| emptySolver | ToySolver.LPSolver |
| emptyTableau | ToySolver.Simplex |
| emptyTheory | ToySolver.SAT.TheorySolver |
| encodeConj | ToySolver.SAT.TseitinEncoder |
| encodeDisj | ToySolver.SAT.TseitinEncoder |
| Encoder | ToySolver.SAT.TseitinEncoder |
| encSolver | ToySolver.SAT.TseitinEncoder |
| Enqueue | ToySolver.Internal.Data.SeqQueue, ToySolver.Internal.Data.IndexedPriorityQueue, ToySolver.Internal.Data.PriorityQueue |
| enqueue | ToySolver.Internal.Data.SeqQueue, ToySolver.Internal.Data.IndexedPriorityQueue, ToySolver.Internal.Data.PriorityQueue |
| enqueueBatch | ToySolver.Internal.Data.SeqQueue, ToySolver.Internal.Data.IndexedPriorityQueue, ToySolver.Internal.Data.PriorityQueue |
| Entity | ToySolver.FOLModelFinder |
| enumMCSAssumptions | ToySolver.SAT.CAMUS |
| Eq | ToySolver.Text.PBFile |
| Eql | |
| 1 (Data Constructor) | ToySolver.Data.MIP |
| 2 (Data Constructor) | ToySolver.Data.ArithRel, ToySolver.Data.LA, ToySolver.Data.FOL.Arith, ToySolver.Simplex2 |
| Equiv | |
| 1 (Data Constructor) | ToySolver.SAT.TseitinEncoder |
| 2 (Data Constructor) | ToySolver.FOLModelFinder |
| 3 (Data Constructor) | ToySolver.Data.FOL.Formula, ToySolver.Data.FOL.Arith |
| eval | |
| 1 (Function) | ToySolver.Data.Polynomial |
| 2 (Function) | ToySolver.SAT.Integer |
| evalAtLeast | ToySolver.SAT.Types |
| evalAtom | |
| 1 (Function) | ToySolver.Data.LA |
| 2 (Function) | ToySolver.Data.FOL.Arith |
| evalBounds | ToySolver.FourierMotzkin.Core |
| evalCell | ToySolver.CAD |
| evalClause | ToySolver.SAT.Types |
| evalExpr | |
| 1 (Function) | ToySolver.Data.LA |
| 2 (Function) | ToySolver.Data.FOL.Arith |
| evalFormula | ToySolver.SAT.TseitinEncoder |
| evalLinear | ToySolver.Data.LA |
| evalLit | |
| 1 (Function) | ToySolver.SAT.Types |
| 2 (Function) | ToySolver.Cooper.Core |
| evalOp | ToySolver.Data.ArithRel, ToySolver.Data.LA, ToySolver.Data.FOL.Arith |
| evalPBLinAtLeast | ToySolver.SAT.Types |
| evalPBLinExactly | ToySolver.SAT.Types |
| evalPBLinSum | ToySolver.SAT.Types |
| evalPoint | ToySolver.CAD |
| evalQFFormula | ToySolver.Cooper.Core |
| evalVar | ToySolver.SAT.Types |
| exgcd | ToySolver.Data.Polynomial |
| Exists | |
| 1 (Data Constructor) | ToySolver.FOLModelFinder |
| 2 (Data Constructor) | ToySolver.Data.FOL.Formula, ToySolver.Data.FOL.Arith |
| Expr | |
| 1 (Type/Class) | ToySolver.Data.MIP |
| 2 (Type/Class) | ToySolver.Data.LA |
| 3 (Type/Class) | ToySolver.Data.FOL.Arith |
| 4 (Type/Class) | ToySolver.SAT.Integer |
| 5 (Data Constructor) | ToySolver.SAT.Integer |
| ExprZ | |
| 1 (Type/Class) | ToySolver.FourierMotzkin.Core |
| 2 (Type/Class) | ToySolver.Cooper.Core, ToySolver.Cooper |
| extract | ToySolver.Data.LA |
| extractMaybe | ToySolver.Data.LA |