Class AspFolTranslator
- java.lang.Object
-
- net.sf.tweety.logics.translators.Translator
-
- net.sf.tweety.logics.translators.aspfol.AspFolTranslator
-
- Direct Known Subclasses:
AspNlpTranslator
public class AspFolTranslator extends Translator
This Translator can translate between FOL and ASP literals (without default negated literals).- Author:
- Tim Janus
-
-
Field Summary
Fields Modifier and Type Field Description static int
TT_NEGATION
-
Fields inherited from class net.sf.tweety.logics.translators.Translator
TT_ASSOC, TT_ATOM, TT_PREDICATE, TT_RULE
-
-
Constructor Summary
Constructors Constructor Description AspFolTranslator()
Default-Ctor
-
Method Summary
Modifier and Type Method Description protected java.util.Map<java.lang.Class<?>,Pair<java.lang.Integer,java.lang.Class<?>>>
createTranslateMap()
ASPHead
toASP(Disjunction source)
ASPAtom
toASP(FolAtom source)
ASPLiteral
toASP(FolFormula source)
StrictNegation
toASP(Negation source)
FolAtom
toFOL(ASPAtom source)
Disjunction
toFOL(ASPHead source)
FolFormula
toFOL(ASPLiteral source)
Negation
toFOL(StrictNegation source)
SimpleLogicalFormula
translateUsingMap(SimpleLogicalFormula source)
-
Methods inherited from class net.sf.tweety.logics.translators.Translator
createInstance, getTranslateInfo, translateAssociative, translateAtom, translatePredicate, translateRule
-
-
-
-
Field Detail
-
TT_NEGATION
public static final int TT_NEGATION
- See Also:
- Constant Field Values
-
-
Method Detail
-
toASP
public ASPLiteral toASP(FolFormula source)
-
toFOL
public Negation toFOL(StrictNegation source)
-
toASP
public StrictNegation toASP(Negation source)
-
toFOL
public FolFormula toFOL(ASPLiteral source)
-
toFOL
public Disjunction toFOL(ASPHead source)
-
toASP
public ASPHead toASP(Disjunction source)
-
translateUsingMap
public SimpleLogicalFormula translateUsingMap(SimpleLogicalFormula source)
- Overrides:
translateUsingMap
in classTranslator
-
createTranslateMap
protected java.util.Map<java.lang.Class<?>,Pair<java.lang.Integer,java.lang.Class<?>>> createTranslateMap()
- Specified by:
createTranslateMap
in classTranslator
-
-