|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use CommandLine.Action | |
---|---|
org.semanticweb.HermiT.cli |
Uses of CommandLine.Action in org.semanticweb.HermiT.cli |
---|
Classes in org.semanticweb.HermiT.cli that implement CommandLine.Action | |
---|---|
protected static class |
CommandLine.ClassifyAction
|
protected static class |
CommandLine.DumpClausesAction
|
protected static class |
CommandLine.DumpPrefixesAction
|
protected static class |
CommandLine.EntailsAction
|
protected static class |
CommandLine.EquivalentsAction
|
protected static class |
CommandLine.SatisfiabilityAction
|
protected static class |
CommandLine.SubsAction
|
protected static class |
CommandLine.SupersAction
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |