parser-core/it.unibo.tuprolog.core.parsing/parseAsDirective

parseAsDirective

fun String.parseAsDirective(operators: OperatorSet): Directive

Parses this string as a directive using operators.

Throws

if parsing or type checking fails

fun String.parseAsDirective(): Directive

Parses this string as a directive.

Throws

if parsing or type checking fails