Class AspFolTranslator
- java.lang.Object
-
- org.tweetyproject.logics.translators.Translator
-
- org.tweetyproject.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 org.tweetyproject.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 ClassicalHead
toASP(Disjunction source)
ASPAtom
toASP(FolAtom source)
ASPLiteral
toASP(FolFormula source)
StrictNegation
toASP(Negation source)
FolAtom
toFOL(ASPAtom source)
FolFormula
toFOL(ASPLiteral source)
Disjunction
toFOL(ClassicalHead source)
Negation
toFOL(StrictNegation source)
SimpleLogicalFormula
translateUsingMap(SimpleLogicalFormula source)
-
Methods inherited from class org.tweetyproject.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(ClassicalHead source)
-
toASP
public ClassicalHead toASP(Disjunction source)
-
translateUsingMap
public SimpleLogicalFormula translateUsingMap(SimpleLogicalFormula source)
- Overrides:
translateUsingMap
in classTranslator
-
-