parseAtom

open fun parseAtom(input: String, operators: OperatorSet): Atom

Parses input as an Atom using operators.

Throws

if parsing fails

if the parsed term is not an Atom


open fun parseAtom(input: String): Atom

Throws

if parsing fails

if input does not denote an Atom