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 intTT_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 ASPHeadtoASP(Disjunction source)ASPAtomtoASP(FolAtom source)ASPLiteraltoASP(FolFormula source)StrictNegationtoASP(Negation source)FolAtomtoFOL(ASPAtom source)DisjunctiontoFOL(ASPHead source)FolFormulatoFOL(ASPLiteral source)NegationtoFOL(StrictNegation source)SimpleLogicalFormulatranslateUsingMap(SimpleLogicalFormula source)-
Methods inherited from class net.sf.tweety.logics.translators.Translator
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:
translateUsingMapin classTranslator
-
-