TermReader

interface TermReader

Types

Link copied to clipboard
object Companion

Functions

Link copied to clipboard
open fun readTerm(inputStream: InputStream): Term?
open fun readTerm(reader: Reader): Term?
abstract fun readTerm(inputStream: InputStream, operators: OperatorSet): Term?
abstract 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>
abstract fun readTerms(inputStream: InputStream, operators: OperatorSet): Sequence<Term>
abstract fun readTerms(reader: Reader, operators: OperatorSet): Sequence<Term>
open fun readTerms(string: String, operators: OperatorSet): Sequence<Term>

Properties

Link copied to clipboard
abstract val defaultOperatorSet: OperatorSet
Link copied to clipboard
abstract val scope: Scope

Inheritors

Link copied to clipboard