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