public class AspFolTranslator extends Translator
Modifier and Type | Field and Description |
---|---|
static int |
TT_NEGATION |
TT_ASSOC, TT_ATOM, TT_PREDICATE, TT_RULE
Constructor and Description |
---|
AspFolTranslator()
Default-Ctor
|
Modifier and Type | Method and Description |
---|---|
protected java.util.Map<java.lang.Class<?>,Pair<java.lang.Integer,java.lang.Class<?>>> |
createTranslateMap() |
DLPHead |
toASP(Disjunction source) |
DLPAtom |
toASP(FOLAtom source) |
DLPElement |
toASP(FolFormula source) |
DLPNeg |
toASP(Negation source) |
FOLAtom |
toFOL(DLPAtom source) |
Disjunction |
toFOL(DLPHead source) |
FolFormula |
toFOL(DLPLiteral source) |
Negation |
toFOL(DLPNeg source) |
SimpleLogicalFormula |
translateUsingMap(SimpleLogicalFormula source) |
createInstance, getTranslateInfo, translateAssociative, translateAtom, translatePredicate, translateRule
public static final int TT_NEGATION
public DLPElement toASP(FolFormula source)
public FolFormula toFOL(DLPLiteral source)
public Disjunction toFOL(DLPHead source)
public DLPHead toASP(Disjunction source)
public SimpleLogicalFormula translateUsingMap(SimpleLogicalFormula source)
translateUsingMap
in class Translator
protected java.util.Map<java.lang.Class<?>,Pair<java.lang.Integer,java.lang.Class<?>>> createTranslateMap()
createTranslateMap
in class Translator