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

readTheory

open fun readTheory(inputStream: InputStream, operators: OperatorSet): Theory
Content copied to clipboard
open fun readTheory(reader: Reader, operators: OperatorSet): Theory
Content copied to clipboard
open fun readTheory(inputStream: InputStream): Theory
Content copied to clipboard
open fun readTheory(reader: Reader): Theory
Content copied to clipboard