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

ClausesParser

interface ClausesParser

Types

object Companion

Functions

open fun parseClauses(input: String): List<<ERROR CLASS>>

open fun parseClauses(input: String, operators: <ERROR CLASS>): List<<ERROR CLASS>>

parseClausesLazily

open fun parseClausesLazily(input: String): Sequence<<ERROR CLASS>>

abstract fun parseClausesLazily(input: String, operators: <ERROR CLASS>): Sequence<<ERROR CLASS>>

open fun parseTheory(input: String): <ERROR CLASS>

open fun parseTheory(input: String, operators: <ERROR CLASS>): <ERROR CLASS>

Properties

defaultOperatorSet

abstract val defaultOperatorSet: <ERROR CLASS>

Inheritors

ClausesParserImpl