parser-theory/it.unibo.tuprolog.theory.parsing

Package it.unibo.tuprolog.theory.parsing

Types

interface ClausesParser

ClausesParserImpl

class ClausesParserImpl(val defaultOperatorSet: OperatorSet) : ClausesParser

interface ClausesReader

Functions

fun <ERROR CLASS>.parse(input: String): <ERROR CLASS>

fun <ERROR CLASS>.parse(input: String, operators: <ERROR CLASS>): <ERROR CLASS>

fun String.parseAsClauses(): List<<ERROR CLASS>>

fun String.parseAsClauses(operators: <ERROR CLASS>): List<<ERROR CLASS>>

parseAsClausesLazily

fun String.parseAsClausesLazily(): Sequence<<ERROR CLASS>>

fun String.parseAsClausesLazily(operators: <ERROR CLASS>): Sequence<<ERROR CLASS>>

fun String.parseAsTheory(): <ERROR CLASS>

fun String.parseAsTheory(operators: <ERROR CLASS>): <ERROR CLASS>