ClausesParser

interface ClausesParser

Types

Companion

common

object Companion

Functions

parseClauses

common

open fun parseClauses(input: String): List<Clause>

open fun parseClauses(input: String, operators: OperatorSet): List<Clause>

parseClausesLazily

common

open fun parseClausesLazily(input: String): Sequence<Clause>

abstract fun parseClausesLazily(input: String, operators: OperatorSet): Sequence<Clause>

parseTheory

common

open fun parseTheory(input: String): Theory

open fun parseTheory(input: String, operators: OperatorSet): Theory

Properties

defaultOperatorSet

common

abstract val defaultOperatorSet: OperatorSet

Inheritors

ClausesParserImpl