Variable getVariables`Readonly`

getVariables: (formula: PropFormula) => PropFormulaVariablesMap = extractPropVariables

Type declaration

- (formula: PropFormula): PropFormulaVariablesMap
- Extracts all propositional variables from a given formula and returns them in a sorted map.
  Parameters
  - formula: PropFormula
    The propositional formula.
  Returns PropFormulaVariablesMap
  A map of variables, sorted alphabetically.