net.sf.tweety.logics.commons

Class LogicalSymbols

java.lang.Object

net.sf.tweety.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 and Description
LogicalSymbols()

Method Summary

Modifier and Type	Method and Description
static String	CLASSICAL_NEGATION()
static String	CONJUNCTION()
static String	CONTRADICTION()
static String	DISJUNCTION()
static String	EXISTSQUANTIFIER()
static String	FORALLQUANTIFIER()
static String	PARENTHESES_LEFT()
static String	PARENTHESES_RIGHT()
static void	setClassicalNegationSymbol(String sym)
static void	setContradictionSymbol(String sym)
static String	TAUTOLOGY()

Methods inherited from class java.lang.Object

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

Constructor Detail

LogicalSymbols

public LogicalSymbols()

Method Detail

setClassicalNegationSymbol

public static void setClassicalNegationSymbol(String sym)

setContradictionSymbol

public static void setContradictionSymbol(String sym)

CLASSICAL_NEGATION

public static String CLASSICAL_NEGATION()

DISJUNCTION

public static String DISJUNCTION()

CONJUNCTION

public static String CONJUNCTION()

FORALLQUANTIFIER

public static String FORALLQUANTIFIER()

EXISTSQUANTIFIER

public static String EXISTSQUANTIFIER()

TAUTOLOGY

public static String TAUTOLOGY()

CONTRADICTION

public static String CONTRADICTION()

PARENTHESES_LEFT

public static String PARENTHESES_LEFT()

PARENTHESES_RIGHT

public static String PARENTHESES_RIGHT()