apollo-backend/eu.yeger.apollo.fol.parser/parseFormula

parseFormula

fun parseFormula(formula: String, language: Language = English): ParserResult(source)

Attempts to parse a formula.

Return

The ParserResult.

Author

Jan Müller

Parameters

formula

The source String.

language

The Language used for translating error messages.