ClausesParserImpl

class ClausesParserImpl(defaultOperatorSet: OperatorSet) : ClausesParser
Content copied to clipboard

Functions

parseClauses
Link copied to clipboard
js
open fun parseClauses(input: String): List<Clause>
Content copied to clipboard
open fun parseClauses(input: String, operators: OperatorSet): List<Clause>
Content copied to clipboard
parseClausesLazily
Link copied to clipboard
js
open fun parseClausesLazily(input: String): Sequence<Clause>
Content copied to clipboard
open override fun parseClausesLazily(input: String, operators: OperatorSet): Sequence<Clause>
Content copied to clipboard
parseTheory
Link copied to clipboard
js
open fun parseTheory(input: String): Theory
Content copied to clipboard
open fun parseTheory(input: String, operators: OperatorSet): Theory
Content copied to clipboard

Properties

defaultOperatorSet
Link copied to clipboard
js
open override val defaultOperatorSet: OperatorSet
Content copied to clipboard