Package org.tweetyproject.logics.translators.aspfol

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

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

TT_NEGATION

public static final int TT_NEGATION

See Also:

Constant Field Values

Constructor Detail

AspFolTranslator

public AspFolTranslator()

Default-Ctor

Method Detail

toFOL

public FolAtom toFOL(ASPAtom source)

toASP

public ASPAtom toASP(FolAtom source)

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 class Translator