| Class | Description |
|---|---|
| CAddFillerRule |
rule that checks an addition of C to S(Y) and checks whether there is X s.t.
|
| CAndSubRule |
the rule for C1 and C2 [= D case
|
| CExistSubRule |
rule that checks the addition of (X,Y) to R and finds a C in S(Y)
|
| CSubRule |
the rule for C [= D case
|
| ELFAxiomChecker | |
| ELFExpressionChecker | |
| ELFNormalizer | |
| ELFReasoner | |
| RAddRule |
the rule for C [= \ER.D case
|
| RBotRule | |
| RChainLRule |
the rule for R in R o S [= T case
|
| RChainRRule |
the rule for S in R o S [= T case
|
| RSubRule |
the rule for R [= S case
|
Copyright © 2013 The University of Manchester. All Rights Reserved.