ClausesReader

interface ClausesReader: Any

Fields

Name Description
abstract defaultOperatorSet: OperatorSet

Methods

readTheory

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

Parameters

Name Description
inputStream: InputStream
operators: OperatorSet

ReturnValue

Name Description
Theory

readTheory

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

Parameters

Name Description
reader: Reader
operators: OperatorSet

ReturnValue

Name Description
Theory

readTheory

open fun readTheory(inputStream: InputStream): Theory

Parameters

Name Description
inputStream: InputStream

ReturnValue

Name Description
Theory

readTheory

open fun readTheory(reader: Reader): Theory

Parameters

Name Description
reader: Reader

ReturnValue

Name Description
Theory

readClausesLazily

abstract fun readClausesLazily(inputStream: InputStream, operators: OperatorSet): Sequence<Clause>

Parameters

Name Description
inputStream: InputStream
operators: OperatorSet

ReturnValue

Name Description
Sequence<Clause>

readClausesLazily

abstract fun readClausesLazily(reader: Reader, operators: OperatorSet): Sequence<Clause>

Parameters

Name Description
reader: Reader
operators: OperatorSet

ReturnValue

Name Description
Sequence<Clause>

readClausesLazily

open fun readClausesLazily(inputStream: InputStream): Sequence<Clause>

Parameters

Name Description
inputStream: InputStream

ReturnValue

Name Description
Sequence<Clause>

readClausesLazily

open fun readClausesLazily(reader: Reader): Sequence<Clause>

Parameters

Name Description
reader: Reader

ReturnValue

Name Description
Sequence<Clause>

readClauses

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

Parameters

Name Description
inputStream: InputStream
operators: OperatorSet

ReturnValue

Name Description
List<Clause>

readClauses

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

Parameters

Name Description
reader: Reader
operators: OperatorSet

ReturnValue

Name Description
List<Clause>

readClauses

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

Parameters

Name Description
inputStream: InputStream

ReturnValue

Name Description
List<Clause>

readClauses

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

Parameters

Name Description
reader: Reader

ReturnValue

Name Description
List<Clause>

CompanionObject

ClausesReader

interface ClausesReader: Any

Fields

Name Description
val withNoOperator: ClausesReader
val withStandardOperators: ClausesReader
val withDefaultOperators: ClausesReader

Methods

withOperators

fun withOperators(operators: OperatorSet): ClausesReader

Parameters

Name Description
operators: OperatorSet

ReturnValue

Name Description
ClausesReader

withOperators

fun withOperators(vararg operators: Operator): ClausesReader

Parameters

Name Description
vararg operators: Operator

ReturnValue

Name Description
ClausesReader