Chop Logic Core - v1.4.0
    Preparing search index...
    createSymbol: (char: string, position: number) => PropSymbol = createPropSymbol

    Type declaration

      • (char: string, position: number): PropSymbol
      • Creates a PropSymbol representing a propositional logic symbol.

        • If the character is a parenthesis, it is classified as GlyphType.Parenthesis.
        • If the character is a known logical glyph, it is classified as GlyphType.Operator.
        • If the character is a Latin letter, it is classified as GlyphType.Variable, and its view is the lowercase letter.
        • Throws an error if the character is unrecognized.

        Parameters

        • char: string

          A single character representing a logical symbol.

        • position: number

          The position of the symbol in the input expression.

        Returns PropSymbol

        A PropSymbol containing the atom, type, position, and view.

        If the character is not a recognized logical symbol or a Latin letter.