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