chop-logic-core/lib/tokenizer/tokenize-string.d.ts

Core classes, methods and functions for calculating logical formulas and constructing proofs within the Chop Logic project.

/**
 * Tokenizes an input string into an array of known logical glyphs and variable names.
 *
 * - Recognizes logical glyphs defined in {@link Glyph}.
 * - Groups consecutive English letters into variables.
 * - Ignores spaces in the input.
 * - Throws an error if the input contains unsupported characters.
 *
 * @param input - The logical expression as a string.
 * @returns An array of tokens (glyphs and variables).
 * @throws {Error} If the input contains unsupported characters.
 */
export declare function tokenizeString(input: string): string[];