parseRule

open fun parseRule(input: String, operators: OperatorSet): Rule

Parses input as a Rule using operators.

Throws

if parsing fails

if the parsed term is not a Rule


open fun parseRule(input: String): Rule

Throws

if parsing fails

if input does not denote a Rule