uk.ac.manchester.cs.jfact.elf

Classes

• CAddFillerRule
• CAndSubRule
• CExistSubRule
• CSubRule
• ELFAxiomChecker
• ELFExpressionChecker
• ELFNormalizer
• ELFReasoner
• RAddRule
• RBotRule
• RChainLRule
• RChainRRule
• RSubRule