ContentsIndex
ACDFGHILMNRSTV:
Index (C)
CNFGSt
CNFRSt
Clause
1 (Type/Class)
2 (Data Constructor)
3 (Type/Class)
4 (Data Constructor)
changeGr
changed
checkClause
checkFullRule
checkGoal
checkGoalTerm
checkHead
checkInnerPattern
checkSimplePattern
checkSimpleRule
checkToplevelPattern
checkVar
clampSet
clearGr
closeUnderIntersection
closeUnderRules
closeUnderTransitivity
cnfProductions
comment
computeIntersection
converseMap
counterG
counterR