Index - C
| char | Swish.RDF.Parser.Utils |
| checkInference | Swish.Rule |
| checkProof | Swish.Proof |
| checkStep | Swish.Proof |
| ClassRestriction | |
| 1 (Type/Class) | Swish.RDF.ClassRestrictionRule |
| 2 (Data Constructor) | Swish.RDF.ClassRestrictionRule |
| ClassRestrictionFn | Swish.RDF.ClassRestrictionRule |
| comparePartitions | Swish.GraphPartition |
| composeSequence | Swish.VarBinding |
| crFunc | Swish.RDF.ClassRestrictionRule |
| crName | Swish.RDF.ClassRestrictionRule |