Index - C
| cartesian | Truthtable |
| cartesianOr | Propositions |
| clausifyCNF | Propositions |
| cloneDef | StackPopAlice |
| cloneRetStatement | StackPopAlice |
| cloneStorage | StackPopAlice |
| CodePrintStyle | Main |
| codeStyle | Main |
| code_else | EditPatterns |
| code_then | EditPatterns |
| Colour | Main |
| ColourPalette | FeatureColour |
| colours | Example |
| condTree | StackPopAlice |
| contradicts | SAT |
| createPatternExample | EditPatterns |
| createPatternExampleWithStartTrace | EditPatterns |