 | sparsecheck-0.1: A Logic Programming Library for Test-Data Generation | Contents | Index |
| A | B | C | D | E | F | G | I | L | M | N | O | P | Q | R | S | T | U | V | W | Z | : | & | = | ? | \ | | |
| State | |
| 1 (Type/Class) | SparseCheck |
| 2 (Data Constructor) | SparseCheck |
| Status | SparseCheck |
| setDepth | SparseCheck |
| solve | SparseCheck |
| solve2 | SparseCheck |
| solve3 | SparseCheck |
| solve4 | SparseCheck |
| solveHelp | SparseCheck |
| sub | SparseCheck |
| sub' | SparseCheck |
| succInt | SparseCheck |