Index - C
| Clause2 | PureSAT.Clause2 |
| clearLevels | PureSAT.Level |
| clearLitSet | PureSAT.LitSet |
| clearSparseHeap | PureSAT.SparseMaxHeap |
| clearSparseSet | PureSAT.SparseSet |
| clearVarSet | PureSAT.VarSet |
| clonePartialAssignment | PureSAT.PartialAssignment |
| cloneSparseHeap | PureSAT.SparseMaxHeap |
| cloneTrail | PureSAT.Trail |
| cloneVarSet | PureSAT.VarSet |
| coerce | PureSAT.Base |
| coercePrimArrayLit | PureSAT.LitVar |
| Conflicting_ | PureSAT.Satisfied |
| copyMutableArray | PureSAT.Prim |
| copyMutableByteArray | PureSAT.Prim |
| copyMutablePrimArray | PureSAT.Prim |
| copyPartialAssignment | PureSAT.PartialAssignment |