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
Parameters
Name | Description |
---|---|
inputStream: InputStream
|
|
operators: OperatorSet
|
ReturnValue
Name | Description |
---|---|
Sequence
|
readClausesLazily
abstract fun readClausesLazily(reader: Reader, operators: OperatorSet): Sequence
Parameters
Name | Description |
---|---|
reader: Reader
|
|
operators: OperatorSet
|
ReturnValue
Name | Description |
---|---|
Sequence
|
readClausesLazily
open fun readClausesLazily(inputStream: InputStream): Sequence
Parameters
Name | Description |
---|---|
inputStream: InputStream
|
ReturnValue
Name | Description |
---|---|
Sequence
|
readClausesLazily
open fun readClausesLazily(reader: Reader): Sequence
Parameters
Name | Description |
---|---|
reader: Reader
|
ReturnValue
Name | Description |
---|---|
Sequence
|
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>
|
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
|