Package | Description |
---|---|
net.sf.tweety.logics.translators.aspnlp | |
net.sf.tweety.logics.translators.clnlp | |
net.sf.tweety.lp.nlp.syntax |
Modifier and Type | Method and Description |
---|---|
(package private) NLPRule |
AspNlpTranslator.toNLP(Rule rule)
Translates the given ASP rule to a NLP-rule.
|
Modifier and Type | Method and Description |
---|---|
Program |
AspNlpTranslator.toASP(NLPRule rule)
Translates the given NLP-rule into an ASP Program.
|
Modifier and Type | Method and Description |
---|---|
(package private) NLPRule |
ClNLPTranslator.toNLP(Conditional cond)
Translates the given conditional to a NLP-rule.
|
Modifier and Type | Method and Description |
---|---|
Conditional |
ClNLPTranslator.toCl(NLPRule rule)
Translates the given NLP-rule into a conditional.
|
Modifier and Type | Method and Description |
---|---|
NLPRule |
NLPRule.clone() |
NLPRule |
NLPRule.substitute(Term<?> v,
Term<?> t) |
Constructor and Description |
---|
NLPRule(NLPRule other) |