Uses of Class
org.tweetyproject.lp.nlp.syntax.NLPProgram

Packages that use NLPProgram

Package	Description
org.tweetyproject.logics.translators.aspnlp
org.tweetyproject.logics.translators.clnlp
org.tweetyproject.lp.nlp.syntax

Uses of NLPProgram in org.tweetyproject.logics.translators.aspnlp

Methods in org.tweetyproject.logics.translators.aspnlp that return NLPProgram

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

Methods in org.tweetyproject.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 org.tweetyproject.logics.translators.clnlp

Methods in org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.lp.nlp.syntax

Methods in org.tweetyproject.lp.nlp.syntax that return NLPProgram

Modifier and Type	Method	Description
NLPProgram	NLPProgram.exchange(Term<?> v, Term<?> t)	Exchanges two terms in all rules of the nested logic program.
NLPProgram	NLPProgram.substitute(Map<? extends Term<?>,? extends Term<?>> map)	Substitutes multiple terms in all rules of the nested logic program according to the provided map.
NLPProgram	NLPProgram.substitute(Term<?> t, Term<?> v)	Substitutes a term in all rules of the nested logic program.