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

ClausesReader

interface ClausesReader

Types

object Companion

Functions

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

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>

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

abstract val defaultOperatorSet: OperatorSet