parseConstant

open fun parseConstant(input: String, operators: OperatorSet): Constant

Parses input as a Constant using operators.

Throws

if parsing fails

if the parsed term is not a Constant


open fun parseConstant(input: String): Constant

Throws

if parsing fails