Uses of Class
net.sf.tweety.lp.nlp.syntax.NLPProgram

Packages that use NLPProgram

Package	Description
net.sf.tweety.logics.translators.aspnlp
net.sf.tweety.logics.translators.clnlp
net.sf.tweety.lp.nlp.syntax

Uses of NLPProgram in net.sf.tweety.logics.translators.aspnlp

Methods in net.sf.tweety.logics.translators.aspnlp that return NLPProgram

Modifier and Type	Method	Description
NLPProgram	AspNlpTranslator.toNLP(Program program)

Methods in net.sf.tweety.logics.translators.aspnlp with parameters of type NLPProgram

Modifier and Type	Method	Description
Program	AspNlpTranslator.toASP(NLPProgram program)	Translate the given NLP-program into an ASP-program.

Uses of NLPProgram in net.sf.tweety.logics.translators.clnlp

Methods in net.sf.tweety.logics.translators.clnlp that return NLPProgram

Modifier and Type	Method	Description
NLPProgram	ClNLPTranslator.toNLP(ClBeliefSet conditionals)	Translate the given conditional belief set into a NLP-program.

Methods in net.sf.tweety.logics.translators.clnlp with parameters of type NLPProgram

Modifier and Type	Method	Description
ClBeliefSet	ClNLPTranslator.toCl(NLPProgram program)	Translate the given NLP-program into a conditional belief set.

Uses of NLPProgram in net.sf.tweety.lp.nlp.syntax

Methods in net.sf.tweety.lp.nlp.syntax that return NLPProgram

Modifier and Type	Method	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)