HL formula parser.
HL formula parser.It parses the standard input and returns parsed the formula in the global variable
theFormula
. It the requires that the following global variables are properly initialized before its execution:If an error occurs during the parsing the output variable is set to
kripkeStruct
propSymTable
nominalTable
modalityTable
wvarTable
NULL
. The formula is expressed according to grammar inhl-formula.bnf