parsing

Description

Basic functionality for parsing string representations of logical formulas. See FormulaParser for further information.

Classes

Base class to parse string formula specifiers in infix notation to merge operations.