parseFact

open fun parseFact(input: String, operators: OperatorSet): Fact

Parses input as a Fact using operators.

Throws

if parsing fails

if the parsed term is not a Fact


open fun parseFact(input: String): Fact

Throws

if parsing fails

if input does not denote a Fact