tfl-js/dist/types/parser/parser.d.ts

A TypeScript library for parsing and evaluating propositional logic formulas

import { Formula } from "../types/formula";
export declare class TFLParser {
    private pos;
    private tokens;
    private static readonly PRECEDENCE;
    parse(input: string): Formula;
    private parseFormula;
    private parsePrefix;
    private parseInfix;
    private getInfixPrecedence;
    private isRightAssociative;
    private isNegation;
    private isAnd;
    private isOr;
    private isIf;
    private isIff;
}
//# sourceMappingURL=parser.d.ts.map