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

readTheory

open fun readTheory(inputStream: InputStream, operators: OperatorSet): Theory

Reads all clauses from inputStream into a theory using operators.

Throws

if reading or parsing fails

open fun readTheory(reader: Reader, operators: OperatorSet): Theory

Reads all clauses from reader into a theory using operators.

Throws

if reading or parsing fails

open fun readTheory(inputStream: InputStream): Theory
open fun readTheory(reader: Reader): Theory

Throws

if reading or parsing fails

Generated by Dokka
© 2026 Copyright