net.sf.tweety.logics.fol.syntax.tptp.fof

Class TptpFofLogicalSymbols

java.lang.Object

net.sf.tweety.logics.commons.LogicalSymbols

net.sf.tweety.logics.fol.syntax.tptp.fof.TptpFofLogicalSymbols

public class TptpFofLogicalSymbols
extends net.sf.tweety.logics.commons.LogicalSymbols

This class alters the standard logic symbols to be used with the TPTP-Format, which uses symbols different from those used in LogicalSymbols. Currently only the "fof" formulae syntax is implemented.

Author:

Bastian Wolf

Constructor Summary

Constructors

Constructor and Description
TptpFofLogicalSymbols()

Method Summary

Modifier and Type	Method and Description
static String	CONJUNCTION()
static String	DISJUNCTION()
static String	EXISTSQUANTIFIER()
static String	FORALLQUANTIFIER()
static String	GENTZEN_ARROW_RIGHT()
static String	PARENTHESES_LEFT()
static String	PARENTHESES_RIGHT()
static String	TPTP_NEGATION()

Methods inherited from class net.sf.tweety.logics.commons.LogicalSymbols

CLASSICAL_NEGATION, CONTRADICTION, setClassicalNegationSymbol, setContradictionSymbol, TAUTOLOGY

Methods inherited from class java.lang.Object

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

Constructor Detail

TptpFofLogicalSymbols

public TptpFofLogicalSymbols()

Method Detail

TPTP_NEGATION

public static String TPTP_NEGATION()

DISJUNCTION

public static String DISJUNCTION()

CONJUNCTION

public static String CONJUNCTION()

FORALLQUANTIFIER

public static String FORALLQUANTIFIER()

EXISTSQUANTIFIER

public static String EXISTSQUANTIFIER()

GENTZEN_ARROW_RIGHT

public static String GENTZEN_ARROW_RIGHT()

PARENTHESES_LEFT

public static String PARENTHESES_LEFT()

PARENTHESES_RIGHT

public static String PARENTHESES_RIGHT()