Package org.tweetyproject.logics.commons
Class LogicalSymbols
java.lang.Object
org.tweetyproject.logics.commons.LogicalSymbols
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
-
Method Summary
Modifier and TypeMethodDescriptionstatic String
static String
static String
static String
static String
EQUALITY()
static String
static String
static String
static String
static String
static String
static String
static String
static String
static String
static void
static void
setContradictionSymbol(String sym)
static String
-
Constructor Details
-
LogicalSymbols
public LogicalSymbols()
-
-
Method Details
-
setClassicalNegationSymbol
-
setContradictionSymbol
-
CLASSICAL_NEGATION
-
DISJUNCTION
-
CONJUNCTION
-
FORALLQUANTIFIER
-
EXISTSQUANTIFIER
-
IMPLICATION
-
EQUIVALENCE
-
TAUTOLOGY
-
CONTRADICTION
-
PARENTHESES_LEFT
-
PARENTHESES_RIGHT
-
NECESSITY
-
POSSIBILITY
-
EQUALITY
-
INEQUALITY
-
EXCLUSIVEDISJUNCTION
-