| 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) |