ClausesParserImpl

class ClausesParserImpl(val defaultOperatorSet: OperatorSet) : ClausesParser

Constructors

fun ClausesParserImpl(defaultOperatorSet: OperatorSet)

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

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

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

open fun parseTheory(input: String): Theory

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

open override val defaultOperatorSet: OperatorSet