ClausesReader

interface ClausesReader

Types

Companion

jvm

object Companion

Functions

readClauses

jvm

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

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

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

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

readClausesLazily

jvm

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

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

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

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

readTheory

jvm

open fun readTheory(inputStream: InputStream): Theory

open fun readTheory(reader: Reader): Theory

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

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

Properties

defaultOperatorSet

jvm

abstract val defaultOperatorSet: OperatorSet