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

readClauses

open fun readClauses(inputStream: InputStream, operators: OperatorSet): List<Clause>

Reads all clauses eagerly from inputStream using operators.

Throws

on failure

open fun readClauses(reader: Reader, operators: OperatorSet): List<Clause>

Reads all clauses eagerly from reader using operators.

Throws

on failure

open fun readClauses(inputStream: InputStream): List<Clause>
open fun readClauses(reader: Reader): List<Clause>

Throws

on failure

Generated by Dokka
© 2026 Copyright