readClauses

open fun readClauses(inputStream: InputStream, operators: OperatorSet): List<Clause>
Content copied to clipboard
open fun readClauses(reader: Reader, operators: OperatorSet): List<Clause>
Content copied to clipboard
open fun readClauses(inputStream: InputStream): List<Clause>
Content copied to clipboard
open fun readClauses(reader: Reader): List<Clause>
Content copied to clipboard