TermReaderImpl

class TermReaderImpl(val scope: Scope, val defaultOperatorSet: OperatorSet) : TermReader

Constructors

fun TermReaderImpl(scope: Scope, defaultOperatorSet: OperatorSet)

open fun readTerm(inputStream: InputStream): Term?

open fun readTerm(reader: Reader): Term?

open override fun readTerm(inputStream: InputStream, operators: OperatorSet): Term?

open override fun readTerm(reader: Reader, operators: OperatorSet): Term?

open fun readTerms(inputStream: InputStream): Sequence<Term>

open fun readTerms(reader: Reader): Sequence<Term>

open fun readTerms(string: String): Sequence<Term>

open fun readTerms(string: String, operators: OperatorSet): Sequence<Term>

open override fun readTerms(inputStream: InputStream, operators: OperatorSet): Sequence<Term>

open override fun readTerms(reader: Reader, operators: OperatorSet): Sequence<Term>

open override val defaultOperatorSet: OperatorSet

open override val scope: Scope