com.github.sybila.huctl.parser

Package com.github.sybila.huctl.parser

Defines the functions (and corresponding extension functions) for parsing HUCTLp formulas, direction restrictions and numeric expressions.

java.io.File
kotlin.String

readDirFormula	`fun readDirFormula(string: String): DirFormula` Read string as a HUCTLp direction restriction.
readExpression	`fun readExpression(string: String): Expression` Read string as a HUCTLp expression.
readFormula	`fun readFormula(string: String): Formula` Read string as a HUCTLp formula.
readHUCTLp	`fun readHUCTLp(string: String, onlyFlagged: Boolean = false): Map<String, Formula>` Read string as a HUCTLp specification file. `fun readHUCTLp(file: File, onlyFlagged: Boolean = false): Map<String, Formula>` Read file as a HUCTLp specification file.