propositional/lib/syntax/token.js

Propositional logic symbolic computation library

"use strict";
Object.defineProperty(exports, "__esModule", { value: true });
exports.Token = exports.TokenType = void 0;
var TokenType;
(function (TokenType) {
    // parentheses
    TokenType[TokenType["PAREN_L"] = 0] = "PAREN_L";
    TokenType[TokenType["PAREN_R"] = 1] = "PAREN_R";
    // logical operators
    TokenType[TokenType["NOT"] = 2] = "NOT";
    TokenType[TokenType["AND"] = 3] = "AND";
    TokenType[TokenType["OR"] = 4] = "OR";
    TokenType[TokenType["XOR"] = 5] = "XOR";
    TokenType[TokenType["IF"] = 6] = "IF";
    TokenType[TokenType["IFF"] = 7] = "IFF";
    // constants
    TokenType[TokenType["CONSTANT"] = 8] = "CONSTANT";
    // logical variables
    TokenType[TokenType["VARIABLE"] = 9] = "VARIABLE";
})(TokenType || (exports.TokenType = TokenType = {}));
class Token {
    type;
    lexeme;
    constructor(type, lexeme) {
        this.type = type;
        this.lexeme = lexeme;
    }
    ;
}
exports.Token = Token;