chop-logic-core/lib/propositional/builders/create-operator.d.ts

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

import { Operator } from "../../enums";
import type { PropSymbol } from "../../models";
/**
 * Converts a given `PropSymbol` into its corresponding logical operator.
 *
 * - If the symbol represents a known logical operator glyph, returns the matching `Operator` enum.
 * - If the symbol represents a variable, returns `Operator.Var`.
 * - Throws an error if the symbol is neither a recognized operator nor a variable.
 *
 * @param symbol - The `PropSymbol` to be converted into an `Operator`.
 * @returns The corresponding `Operator` enum value.
 * @throws {Error} If the symbol is not recognized as an operator or a variable.
 * @category Builders
 */
export declare function createOperator(symbol: PropSymbol): Operator;