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