Index - W
| Weight | PureSAT.SparseMaxHeap |
| weightVarSet | PureSAT.VarSet |
| when | PureSAT.Base |
| whenOk | PureSAT.Utils |
| whenOk_ | PureSAT.Utils |
| Word8 | PureSAT.Base |
| writeArray | PureSAT.Prim |
| writeByteArray | PureSAT.Prim |
| writeLitTable | PureSAT.LitTable |
| writePrimArray | PureSAT.Prim |
| writeVec | PureSAT.Vec |