theoryOf

open fun theoryOf(vararg clause: Clause): Theory

Content copied to clipboard

open fun theoryOf(clauses: Iterable<Clause>, vararg otherClauses: Iterable<Clause>): Theory

Content copied to clipboard

open fun theoryOf(clauses: Sequence<Clause>, vararg otherClauses: Sequence<Clause>): Theory

Content copied to clipboard