|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Class Summary | |
---|---|
NominalAxiomDetector | Class used to detect axioms Kindly provided by Christian Meilicke. |
NominalAxiomTranscriber | Class used to transcribe nominal axioms. |
Exception Summary | |
---|---|
TranscriptionException | Exception to be thrown by NominalAxiomTranscriber on an error. |
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |