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

parse

fun Term.Companion.parse(input: String, operators: OperatorSet): Term

Parses input as a term using operators.

Throws

if parsing fails

fun Term.Companion.parse(input: String): Term

Parses input as a term using default operators.

Throws

if parsing fails

fun Struct.Companion.parse(input: String, operators: OperatorSet): Struct

Parses input as a structure using operators.

Throws

if parsing or type checking fails

fun Struct.Companion.parse(input: String): Struct

Parses input as a structure.

Throws

if parsing or type checking fails

fun Constant.Companion.parse(input: String, operators: OperatorSet): Constant

Parses input as a constant using operators.

Throws

if parsing or type checking fails

fun Constant.Companion.parse(input: String): Constant

Parses input as a constant.

Throws

if parsing or type checking fails

fun Var.Companion.parse(input: String, operators: OperatorSet): Var

Parses input as a variable using operators.

Throws

if parsing or type checking fails

fun Var.Companion.parse(input: String): Var

Parses input as a variable.

Throws

if parsing or type checking fails

fun Atom.Companion.parse(input: String, operators: OperatorSet): Atom

Parses input as an atom using operators.

Throws

if parsing or type checking fails

fun Atom.Companion.parse(input: String): Atom

Parses input as an atom.

Throws

if parsing or type checking fails

fun Numeric.Companion.parse(input: String, operators: OperatorSet): Numeric

Parses input as a numeric term using operators.

Throws

if parsing or type checking fails

fun Numeric.Companion.parse(input: String): Numeric

Parses input as a numeric term.

Throws

if parsing or type checking fails

fun Integer.Companion.parse(input: String, operators: OperatorSet): Integer

Parses input as an integer using operators.

Throws

if parsing or type checking fails

fun Integer.Companion.parse(input: String): Integer

Parses input as an integer.

Throws

if parsing or type checking fails

fun Real.Companion.parse(input: String, operators: OperatorSet): Real

Parses input as a real using operators.

Throws

if parsing or type checking fails

fun Real.Companion.parse(input: String): Real

Parses input as a real.

Throws

if parsing or type checking fails

fun Clause.Companion.parse(input: String, operators: OperatorSet): Clause

Parses input as a clause using operators.

Throws

if parsing or type checking fails

fun Clause.Companion.parse(input: String): Clause

Parses input as a clause.

Throws

if parsing or type checking fails

fun Rule.Companion.parse(input: String, operators: OperatorSet): Rule

Parses input as a rule using operators.

Throws

if parsing or type checking fails

fun Rule.Companion.parse(input: String): Rule

Parses input as a rule.

Throws

if parsing or type checking fails

fun Fact.Companion.parse(input: String, operators: OperatorSet): Fact

Parses input as a fact using operators.

Throws

if parsing or type checking fails

fun Fact.Companion.parse(input: String): Fact

Parses input as a fact.

Throws

if parsing or type checking fails

fun Directive.Companion.parse(input: String, operators: OperatorSet): Directive

Parses input as a directive using operators.

Throws

if parsing or type checking fails

fun Directive.Companion.parse(input: String): Directive

Parses input as a directive.

Throws

if parsing or type checking fails

Generated by Dokka
© 2026 Copyright