chop-logic-core/lib/propositional/converters/extract-prop-variables.d.ts

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

import type { PropFormula, PropFormulaVariablesMap } from "../../models";
/**
 * Extracts all propositional variables from a given formula and returns them in a sorted map.
 *
 * @param formula - The propositional formula.
 * @returns A map of variables, sorted alphabetically.
 * @category Converters
 */
export declare function extractPropVariables(formula: PropFormula): PropFormulaVariablesMap;