public interface Languages
Modifier and Type | Field and Description |
---|---|
static LanguageIdentifier |
FIPA_SL
FIPA
fipa-sl content language |
static LanguageIdentifier |
FIPA_SL0
FIPA
fipa-sl0 (minimal subset) content language |
static LanguageIdentifier |
FIPA_SL1
FIPA
fipa-sl1 (propositional form) content language |
static LanguageIdentifier |
FIPA_SL2
FIPA
fipa-sl2 (decidability restrictions) content language |
static final LanguageIdentifier FIPA_SL
fipa-sl
content languagestatic final LanguageIdentifier FIPA_SL0
fipa-sl0
(minimal subset) content languagestatic final LanguageIdentifier FIPA_SL1
fipa-sl1
(propositional form) content languagestatic final LanguageIdentifier FIPA_SL2
fipa-sl2
(decidability restrictions) content languageCopyright © Aimpulse Intelligent Systems GmbH
All rights reserved.