Uses of Class
org.tweetyproject.lp.nlp.syntax.NLPProgram
Package
Description
-
Uses of NLPProgram in org.tweetyproject.logics.translators.aspnlp
Modifier and TypeMethodDescriptionAspNlpTranslator.toASP(NLPProgram program)
Translate the given NLP-program into an ASP-program. -
Uses of NLPProgram in org.tweetyproject.logics.translators.clnlp
Modifier and TypeMethodDescriptionClNLPTranslator.toNLP(ClBeliefSet conditionals)
Translate the given conditional belief set into a NLP-program.Modifier and TypeMethodDescriptionClNLPTranslator.toCl(NLPProgram program)
Translate the given NLP-program into a conditional belief set. -
Uses of NLPProgram in org.tweetyproject.lp.nlp.syntax
Modifier and TypeMethodDescriptionNLPProgram.substitute(Map<? extends Term<?>,? extends Term<?>> map)
NLPProgram.substitute(Term<?> t, Term<?> v)