class |
AuxiliaryDescriptionImpl |
An implementation of the model object 'Auxiliary Description'.
|
class |
AxiomImpl |
An implementation of the model object 'Axiom'.
|
class |
CheckRuleImpl |
An implementation of the model object 'Check Rule'.
|
class |
DescriptionImpl |
An implementation of the model object 'Description'.
|
class |
JudgmentDescriptionImpl |
An implementation of the model object 'Judgment Description'.
|
class |
RuleImpl |
An implementation of the model object 'Rule'.
|
class |
RuleWithPremisesImpl |
An implementation of the model object 'Rule With Premises'.
|