Default

Properties

open override fun copy(unificator: Unificator): TheoryFactory

Returns a factory equivalent to this one, but using the given unificator as its default.

Creates an empty MutableTheory using this factory's unificator.

Creates an empty MutableTheory using the given unificator.

open override fun emptyTheory(): Theory

Creates an empty Theory using this factory's unificator.

open override fun emptyTheory(unificator: Unificator): Theory

Creates an empty Theory using the given unificator.

open override fun mutableTheoryOf(vararg clauses: Clause): MutableTheory

Creates a MutableTheory containing the given clauses, using this factory's unificator.

open override fun mutableTheoryOf(unificator: Unificator, vararg clauses: Clause): MutableTheory

Creates a MutableTheory containing the given clauses, using the given unificator.

open override fun theoryOf(clauses: Iterable<Clause>): Theory

open override fun theoryOf(clauses: Sequence<Clause>): Theory

open override fun theoryOf(vararg clauses: Clause): Theory

Creates a Theory containing the given clauses, using this factory's unificator.

open override fun theoryOf(unificator: Unificator, vararg clauses: Clause): Theory

open override fun theoryOf(clauses: Iterable<Clause>, unificator: Unificator): Theory

open override fun theoryOf(clauses: Sequence<Clause>, unificator: Unificator): Theory

Creates a Theory containing the given clauses, using the given unificator.