fun readHUCTLp(string: String, onlyFlagged: Boolean = false): Map<String, Formula>
Read string as a HUCTLp specification file.
This assumes the string adheres to the HUCTLp file format (including references, includes, etc.).
Use onlyFlagged to filter out formulas not marked with ":?".
fun readHUCTLp(file: File, onlyFlagged: Boolean = false): Map<String, Formula>
Read file as a HUCTLp specification file.
This assumes the string adheres to the HUCTLp file format (including references, includes, etc.).
Use onlyFlagged to filter out formulas not marked with ":?".