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 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 "^^".