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

Field Summary

Fields

Modifier and Type	Field and Description
private static java.lang.String	classical_negation
private static java.lang.String	contradiction

Constructor Summary

Constructors

Constructor and Description
LogicalSymbols()

Method Summary

Modifier and Type	Method and 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	EXISTSQUANTIFIER()
static java.lang.String	FORALLQUANTIFIER()
static java.lang.String	PARENTHESES_LEFT()
static java.lang.String	PARENTHESES_RIGHT()
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

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

Field Detail

classical_negation

private static java.lang.String classical_negation

contradiction

private static java.lang.String contradiction

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()

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()