parser-theory/it.unibo.tuprolog.theory.parsing/ClausesReader/readClausesLazily

readClausesLazily

abstract fun readClausesLazily(inputStream: InputStream, operators: OperatorSet): Sequence<Clause>

Returns clauses decoded lazily from inputStream using operators.

Throws

during iteration on failure

abstract fun readClausesLazily(reader: Reader, operators: OperatorSet): Sequence<Clause>

Returns clauses read lazily from reader using operators.

Throws

during iteration on failure

open fun readClausesLazily(inputStream: InputStream): Sequence<Clause>
open fun readClausesLazily(reader: Reader): Sequence<Clause>

Throws

during iteration on failure

Generated by Dokka
© 2026 Copyright