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)
NLPProgram
NLPProgram. substitute(java.util.Map<? extends Term<?>,? extends Term<?>> map)
NLPProgram
NLPProgram. substitute(Term<?> t, Term<?> v)
-