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 Details
- TT_NEGATION
  
  public static final int TT_NEGATION
  
  See Also:
  
  Constant Field Values
Constructor Details
- AspFolTranslator
  
  public AspFolTranslator()
  
  Default-Ctor
Method Details
- 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