| 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 | 
|---|---|
NLPProgram | 
AspNlpTranslator.toNLP(Program program)  | 
| Modifier and Type | Method and Description | 
|---|---|
Program | 
AspNlpTranslator.toASP(NLPProgram program)
Translate the given NLP-program into an ASP-program. 
 | 
| Modifier and Type | Method and Description | 
|---|---|
NLPProgram | 
ClNLPTranslator.toNLP(ClBeliefSet conditionals)
Translate the given conditional belief set into a NLP-program. 
 | 
| Modifier and Type | Method and Description | 
|---|---|
ClBeliefSet | 
ClNLPTranslator.toCl(NLPProgram program)
Translate the given NLP-program into a conditional belief set. 
 | 
| Modifier and Type | Method and Description | 
|---|---|
NLPProgram | 
NLPProgram.exchange(Term<?> v,
        Term<?> t)  | 
NLPProgram | 
NLPProgram.substitute(java.util.Map<? extends Term<?>,? extends Term<?>> map)  | 
NLPProgram | 
NLPProgram.substitute(Term<?> t,
          Term<?> v)  |