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 final int	TT_NEGATION	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 Details

TT_NEGATION

public static final int TT_NEGATION

TT_Negation

See Also:

• Constant Field Values

Constructor Details

AspFolTranslator

public AspFolTranslator()

Default-Ctor

Method Details

toFOL

public FolAtom toFOL(ASPAtom source)

Parameters:

source - source

Returns:

FolAtom toFOL

toASP

public ASPAtom toASP(FolAtom source)

Parameters:

source - source

Returns:

ASPAtom toASP

toASP

public ASPLiteral toASP(FolFormula source)

Parameters:

source - source

Returns:

ASPLiteral toASP

toFOL

public Negation toFOL(StrictNegation source)

Parameters:

source - source

Returns:

Negation toFOL

toASP

public StrictNegation toASP(Negation source)

Parameters:

source - source

Returns:

StrictNegation toASP

toFOL

public FolFormula toFOL(ASPLiteral source)

Parameters:

source - source

Returns:

FolFormula toFOL

toFOL

public Disjunction toFOL(ClassicalHead source)

Parameters:

source - source

Returns:

Disjunction toFOL

toASP

public ClassicalHead toASP(Disjunction source)

Parameters:

source - source

Returns:

ClassicalHead toASP

translateUsingMap

public SimpleLogicalFormula translateUsingMap(SimpleLogicalFormula source)

Overrides:

translateUsingMap in class Translator

Parameters:

source - source

Returns:

SimpleLogicalFormula translateUsingMap