parser-core/it.unibo.tuprolog.core.parsing/TermReader/readTerms

readTerms

abstract fun readTerms(reader: Reader, operators: OperatorSet): Sequence<Term>
Content copied to clipboard
open fun readTerms(reader: Reader): Sequence<Term>
Content copied to clipboard
abstract fun readTerms(inputStream: InputStream, operators: OperatorSet): Sequence<Term>
Content copied to clipboard
open fun readTerms(inputStream: InputStream): Sequence<Term>
Content copied to clipboard
open fun readTerms(string: String, operators: OperatorSet): Sequence<Term>
Content copied to clipboard
open fun readTerms(string: String): Sequence<Term>
Content copied to clipboard