Package org.tweetyproject.logics.commons

Class LogicalSymbols

java.lang.Object

org.tweetyproject.logics.commons.LogicalSymbols

public class LogicalSymbols
extends 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 String	CLASSICAL_NEGATION()	Returns the symbol for classical negation.
static String	CONJUNCTION()	Returns the symbol for conjunction.
static String	CONTRADICTION()	Returns the symbol for contradiction.
static String	DISJUNCTION()	Returns the symbol for disjunction.
static String	EQUALITY()	Returns the symbol for equality.
static String	EQUIVALENCE()	Returns the symbol for equivalence.
static String	EXCLUSIVEDISJUNCTION()	Returns the symbol for exclusive disjunction.
static String	EXISTSQUANTIFIER()	Returns the symbol for the existential quantifier.
static String	FORALLQUANTIFIER()	Returns the symbol for the universal quantifier.
static String	IMPLICATION()	Returns the symbol for implication.
static String	INEQUALITY()	Returns the symbol for inequality.
static String	NECESSITY()	Returns the symbol for necessity.
static String	PARENTHESES_LEFT()	Returns the symbol for the left parenthesis.
static String	PARENTHESES_RIGHT()	Returns the symbol for the right parenthesis.
static String	POSSIBILITY()	Returns the symbol for possibility.
static void	setClassicalNegationSymbol(String sym)	Sets the symbol for classical negation.
static void	setContradictionSymbol(String sym)	Sets the symbol for contradiction.
static String	TAUTOLOGY()	Returns the symbol for tautology.

Methods inherited from class java.lang.Object

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

Constructor Details

LogicalSymbols

public LogicalSymbols()

Method Details

setClassicalNegationSymbol

public static void setClassicalNegationSymbol(String sym)

Sets the symbol for classical negation.

Parameters:

sym - the new symbol to use for classical negation.

setContradictionSymbol

public static void setContradictionSymbol(String sym)

Sets the symbol for contradiction.

Parameters:

sym - the new symbol to use for contradiction.

CLASSICAL_NEGATION

public static String CLASSICAL_NEGATION()

Returns the symbol for classical negation.

Returns:

the symbol for classical negation.

DISJUNCTION

public static String DISJUNCTION()

Returns the symbol for disjunction.

Returns:

the symbol for disjunction

CONJUNCTION

public static String CONJUNCTION()

Returns the symbol for conjunction.

Returns:

the symbol for conjunction

FORALLQUANTIFIER

public static String FORALLQUANTIFIER()

Returns the symbol for the universal quantifier.

Returns:

the symbol for the universal quantifier, which is "forall".

EXISTSQUANTIFIER

public static String EXISTSQUANTIFIER()

Returns the symbol for the existential quantifier.

Returns:

the symbol for the existential quantifier, which is "exists".

IMPLICATION

public static String IMPLICATION()

Returns the symbol for implication.

Returns:

the symbol for implication

EQUIVALENCE

public static String EQUIVALENCE()

Returns the symbol for equivalence.

Returns:

the symbol for equivalence,

TAUTOLOGY

public static String TAUTOLOGY()

Returns the symbol for tautology.

Returns:

the symbol for tautology, which is "+".

CONTRADICTION

public static String CONTRADICTION()

Returns the symbol for contradiction.

Returns:

the symbol for contradiction.

PARENTHESES_LEFT

public static String PARENTHESES_LEFT()

Returns the symbol for the left parenthesis.

Returns:

the symbol for the left parenthesis, which is "(".

PARENTHESES_RIGHT

public static String PARENTHESES_RIGHT()

Returns the symbol for the right parenthesis.

Returns:

the symbol for the right parenthesis, which is ")".

NECESSITY

public static String NECESSITY()

Returns the symbol for necessity.

Returns:

the symbol for necessity, which is "[]".

POSSIBILITY

public static String POSSIBILITY()

Returns the symbol for possibility.

Returns:

the symbol for possibility

EQUALITY

public static String EQUALITY()

Returns the symbol for equality.

Returns:

the symbol for equality, which is "==".

INEQUALITY

public static String INEQUALITY()

Returns the symbol for inequality.

Returns:

the symbol for inequality, which is "/==".

EXCLUSIVEDISJUNCTION

public static String EXCLUSIVEDISJUNCTION()

Returns the symbol for exclusive disjunction.

Returns:

the symbol for exclusive disjunction, which is "^^".