TermReaderImpl

class TermReaderImpl: TermReader, Any

Fields

Name Description
val defaultOperatorSet: OperatorSet

Constructors

<init>

constructor(defaultOperatorSet: OperatorSet)

Parameters

Name Description
defaultOperatorSet: OperatorSet

Methods

readTerm

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

Parameters

Name Description
reader: Reader
operators: OperatorSet

ReturnValue

Name Description
Term?

readTerm

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

Parameters

Name Description
inputStream: InputStream
operators: OperatorSet

ReturnValue

Name Description
Term?

readTerms

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

Parameters

Name Description
reader: Reader
operators: OperatorSet

ReturnValue

Name Description
Sequence<Term>

readTerms

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

Parameters

Name Description
inputStream: InputStream
operators: OperatorSet

ReturnValue

Name Description
Sequence<Term>