parseVar

open fun parseVar(input: String, operators: OperatorSet): Var

Parses input as a Var using operators.

Throws

if parsing fails

if the parsed term is not a Var


open fun parseVar(input: String): Var

Throws

if parsing fails

if input does not denote a Var