public class AspNlpTranslator extends AspFolTranslator
TT_NEGATION
TT_ASSOC, TT_ATOM, TT_PREDICATE, TT_RULE
Constructor and Description |
---|
AspNlpTranslator() |
Modifier and Type | Method and Description |
---|---|
private void |
bodiesFromDisjunction(Disjunction source,
java.util.List<java.util.List<DLPElement>> bodies)
Helper method:
|
private void |
bodiesFromFormula(FolFormula source,
java.util.List<java.util.List<DLPElement>> bodies)
Helper method: Generates a list of possible bodies for the given FOL-Formula.
|
protected java.util.Map<java.lang.Class<?>,Pair<java.lang.Integer,java.lang.Class<?>>> |
createTranslateMap() |
private java.util.List<DLPHead> |
headsFromConjunction(Conjunction c) |
Program |
toASP(NLPProgram program)
Translate the given NLP-program into an ASP-program.
|
Program |
toASP(NLPRule rule)
Translates the given NLP-rule into an ASP Program.
|
NLPProgram |
toNLP(Program program) |
(package private) NLPRule |
toNLP(Rule rule)
Translates the given ASP rule to a NLP-rule.
|
toASP, toASP, toASP, toASP, toFOL, toFOL, toFOL, toFOL, translateUsingMap
createInstance, getTranslateInfo, translateAssociative, translateAtom, translatePredicate, translateRule
NLPRule toNLP(Rule rule)
rule
- The ASP rule that is going to be translated.public NLPProgram toNLP(Program program)
public Program toASP(NLPRule rule)
rule
- public Program toASP(NLPProgram program)
program
- The NLP-program that is translatedprivate void bodiesFromFormula(FolFormula source, java.util.List<java.util.List<DLPElement>> bodies)
source
- The FOL formula that is used to generate the bodiesbodies
- A list of bodies which is used as input and output parameter.private void bodiesFromDisjunction(Disjunction source, java.util.List<java.util.List<DLPElement>> bodies)
source
- bodies
- private java.util.List<DLPHead> headsFromConjunction(Conjunction c)
protected java.util.Map<java.lang.Class<?>,Pair<java.lang.Integer,java.lang.Class<?>>> createTranslateMap()
createTranslateMap
in class AspFolTranslator