propositional/lib/syntax/token.d.ts

Propositional logic symbolic computation library

export declare enum TokenType {
    PAREN_L = 0,
    PAREN_R = 1,
    NOT = 2,
    AND = 3,
    OR = 4,
    XOR = 5,
    IF = 6,
    IFF = 7,
    CONSTANT = 8,
    VARIABLE = 9
}
export declare class Token {
    type: TokenType;
    lexeme: string;
    constructor(type: TokenType, lexeme: string);
}