it.unibo.tuprolog.theory.parsing

package it.unibo.tuprolog.theory.parsing

Classes

Name Description
interface ClausesParser: Any
class ClausesParserImpl: ClausesParser, Any
interface ClausesReader: Any

Methods

clausesParserWithOperators

actual fun clausesParserWithOperators(operators: OperatorSet): ClausesParser

Parameters

Name Description
operators: OperatorSet

ReturnValue

Name Description
ClausesParser

parseAsTheory

fun String.parseAsTheory(operators: OperatorSet): Theory

Receiver

Name Description
String

Parameters

Name Description
operators: OperatorSet

ReturnValue

Name Description
Theory

parseAsTheory

fun String.parseAsTheory(): Theory

Receiver

Name Description
String

ReturnValue

Name Description
Theory

parseAsClauses

fun String.parseAsClauses(operators: OperatorSet): List<Clause>

Receiver

Name Description
String

Parameters

Name Description
operators: OperatorSet

ReturnValue

Name Description
List<Clause>

parseAsClauses

fun String.parseAsClauses(): List<Clause>

Receiver

Name Description
String

ReturnValue

Name Description
List<Clause>

parseAsClausesLazily

fun String.parseAsClausesLazily(operators: OperatorSet): Sequence<Clause>

Receiver

Name Description
String

Parameters

Name Description
operators: OperatorSet

ReturnValue

Name Description
Sequence<Clause>

parseAsClausesLazily

fun String.parseAsClausesLazily(): Sequence<Clause>

Receiver

Name Description
String

ReturnValue

Name Description
Sequence<Clause>