Function extractPropVariables

extractPropVariables(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.
- Defined in propositional/converters/extract-prop-variables.ts:11