Package net.sf.tweety.logics.translators.aspfol

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 int	TT_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
protected Map<Class<?>,net.sf.tweety.commons.util.Pair<Integer,Class<?>>>	createTranslateMap()
net.sf.tweety.lp.asp.syntax.ASPHead	toASP(net.sf.tweety.logics.fol.syntax.Disjunction source)
net.sf.tweety.lp.asp.syntax.ASPAtom	toASP(net.sf.tweety.logics.fol.syntax.FolAtom source)
net.sf.tweety.lp.asp.syntax.ASPLiteral	toASP(net.sf.tweety.logics.fol.syntax.FolFormula source)
net.sf.tweety.lp.asp.syntax.StrictNegation	toASP(net.sf.tweety.logics.fol.syntax.Negation source)
net.sf.tweety.logics.fol.syntax.FolAtom	toFOL(net.sf.tweety.lp.asp.syntax.ASPAtom source)
net.sf.tweety.logics.fol.syntax.Disjunction	toFOL(net.sf.tweety.lp.asp.syntax.ASPHead source)
net.sf.tweety.logics.fol.syntax.FolFormula	toFOL(net.sf.tweety.lp.asp.syntax.ASPLiteral source)
net.sf.tweety.logics.fol.syntax.Negation	toFOL(net.sf.tweety.lp.asp.syntax.StrictNegation source)
net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula	translateUsingMap(net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula source)

Methods inherited from class net.sf.tweety.logics.translators.Translator

createInstance, getTranslateInfo, translateAssociative, translateAtom, translatePredicate, translateRule

Methods inherited from class java.lang.Object

clone, equals, finalize, 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 net.sf.tweety.logics.fol.syntax.FolAtom toFOL(net.sf.tweety.lp.asp.syntax.ASPAtom source)

toASP

public net.sf.tweety.lp.asp.syntax.ASPAtom toASP(net.sf.tweety.logics.fol.syntax.FolAtom source)

toASP

public net.sf.tweety.lp.asp.syntax.ASPLiteral toASP(net.sf.tweety.logics.fol.syntax.FolFormula source)

toFOL

public net.sf.tweety.logics.fol.syntax.Negation toFOL(net.sf.tweety.lp.asp.syntax.StrictNegation source)

toASP

public net.sf.tweety.lp.asp.syntax.StrictNegation toASP(net.sf.tweety.logics.fol.syntax.Negation source)

toFOL

public net.sf.tweety.logics.fol.syntax.FolFormula toFOL(net.sf.tweety.lp.asp.syntax.ASPLiteral source)

toFOL

public net.sf.tweety.logics.fol.syntax.Disjunction toFOL(net.sf.tweety.lp.asp.syntax.ASPHead source)

toASP

public net.sf.tweety.lp.asp.syntax.ASPHead toASP(net.sf.tweety.logics.fol.syntax.Disjunction source)

translateUsingMap

public net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula translateUsingMap(net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula source)

Overrides:

translateUsingMap in class Translator

createTranslateMap

protected Map<Class<?>,net.sf.tweety.commons.util.Pair<Integer,Class<?>>> createTranslateMap()

Specified by:

createTranslateMap in class Translator