Index - S
| satisfied2_ | PureSAT.Satisfied |
| Satisfied_ | |
| 1 (Type/Class) | PureSAT.Satisfied |
| 2 (Data Constructor) | PureSAT.Satisfied |
| scaleVarSet | PureSAT.VarSet |
| scaleWeightsSparseHeap | PureSAT.SparseMaxHeap |
| setLevel | PureSAT.Level |
| setPrimArray | PureSAT.Prim |
| shrinkMutableByteArray | PureSAT.Prim |
| shrinkVec | PureSAT.Vec |
| simplify | PureSAT.Main |
| size | PureSAT.SparseSet |
| sizeofClause2 | PureSAT.Clause2 |
| sizeofLitSet | PureSAT.LitSet |
| sizeofLitTable | PureSAT.LitTable |
| sizeofMutableArray | PureSAT.Prim |
| sizeofPrimArray | PureSAT.Prim |
| sizeofSparseHeap | PureSAT.SparseMaxHeap |
| sizeofSparseSet | PureSAT.SparseSet |
| sizeofVarSet | PureSAT.VarSet |
| sizeofVec | PureSAT.Vec |
| solve | PureSAT.Main |
| Solver | PureSAT.Main |
| sparse | PureSAT.SparseSet |
| SparseHeap | PureSAT.SparseMaxHeap |
| SparseSet | PureSAT.SparseSet |
| SS | PureSAT.SparseSet |
| ST | PureSAT.Base |
| Stats | PureSAT.Stats |