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

readClausesLazily

abstract fun readClausesLazily(inputStream: InputStream, operators: OperatorSet): Sequence<Clause>
Content copied to clipboard
abstract fun readClausesLazily(reader: Reader, operators: OperatorSet): Sequence<Clause>
Content copied to clipboard
open fun readClausesLazily(inputStream: InputStream): Sequence<Clause>
Content copied to clipboard
open fun readClausesLazily(reader: Reader): Sequence<Clause>
Content copied to clipboard