Package net.sf.tweety.logics.commons

Class LogicalSymbols

java.lang.Object

net.sf.tweety.logics.commons.LogicalSymbols

public class LogicalSymbols
extends java.lang.Object

This class provides some String constants for logical symbols and allows to modify them at runtime. This functionality is currently used to switch between different constants for classical negation and contradiction.

Author:

Matthias Thimm, Sebastian Homann

Constructor Summary

Constructors

Constructor	Description
LogicalSymbols()

Method Summary

Modifier and Type	Method	Description
static java.lang.String	CLASSICAL_NEGATION()
static java.lang.String	CONJUNCTION()
static java.lang.String	CONTRADICTION()
static java.lang.String	DISJUNCTION()
static java.lang.String	EQUALITY()
static java.lang.String	EQUIVALENCE()
static java.lang.String	EXCLUSIVEDISJUNCTION()
static java.lang.String	EXISTSQUANTIFIER()
static java.lang.String	FORALLQUANTIFIER()
static java.lang.String	IMPLICATION()
static java.lang.String	INEQUALITY()
static java.lang.String	NECESSITY()
static java.lang.String	PARENTHESES_LEFT()
static java.lang.String	PARENTHESES_RIGHT()
static java.lang.String	POSSIBILITY()
static void	setClassicalNegationSymbol(java.lang.String sym)
static void	setContradictionSymbol(java.lang.String sym)
static java.lang.String	TAUTOLOGY()

Methods inherited from class java.lang.Object

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

Constructor Detail

LogicalSymbols

public LogicalSymbols()

Method Detail

setClassicalNegationSymbol

public static void setClassicalNegationSymbol(java.lang.String sym)

setContradictionSymbol

public static void setContradictionSymbol(java.lang.String sym)

CLASSICAL_NEGATION

public static java.lang.String CLASSICAL_NEGATION()

DISJUNCTION

public static java.lang.String DISJUNCTION()

CONJUNCTION

public static java.lang.String CONJUNCTION()

FORALLQUANTIFIER

public static java.lang.String FORALLQUANTIFIER()

EXISTSQUANTIFIER

public static java.lang.String EXISTSQUANTIFIER()

IMPLICATION

public static java.lang.String IMPLICATION()

EQUIVALENCE

public static java.lang.String EQUIVALENCE()

TAUTOLOGY

public static java.lang.String TAUTOLOGY()

CONTRADICTION

public static java.lang.String CONTRADICTION()

PARENTHESES_LEFT

public static java.lang.String PARENTHESES_LEFT()

PARENTHESES_RIGHT

public static java.lang.String PARENTHESES_RIGHT()

NECESSITY

public static java.lang.String NECESSITY()

POSSIBILITY

public static java.lang.String POSSIBILITY()

EQUALITY

public static java.lang.String EQUALITY()

INEQUALITY

public static java.lang.String INEQUALITY()

EXCLUSIVEDISJUNCTION

public static java.lang.String EXCLUSIVEDISJUNCTION()