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 Details

    • LogicalSymbols

      public LogicalSymbols()

  • Method Details

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

    • IMPLICATION

      public static String IMPLICATION()

    • EQUIVALENCE

      public static String EQUIVALENCE()

    • TAUTOLOGY

      public static String TAUTOLOGY()

    • CONTRADICTION

      public static String CONTRADICTION()

    • PARENTHESES_LEFT

      public static String PARENTHESES_LEFT()

    • PARENTHESES_RIGHT

      public static String PARENTHESES_RIGHT()

    • NECESSITY

      public static String NECESSITY()

    • POSSIBILITY

      public static String POSSIBILITY()

    • EQUALITY

      public static String EQUALITY()

    • INEQUALITY

      public static String INEQUALITY()

    • EXCLUSIVEDISJUNCTION

      public static String EXCLUSIVEDISJUNCTION()