TermReaderImpl

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

Constructors

Link copied to clipboard
fun TermReaderImpl(scope: Scope, defaultOperatorSet: OperatorSet)

Functions

Link copied to clipboard
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?
Link copied to clipboard
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>

Properties

Link copied to clipboard
open override val defaultOperatorSet: OperatorSet
Link copied to clipboard
open override val scope: Scope