FreeDistributiveLatticeCongruence
class FreeDistributiveLatticeCongruence<A>(congruence: List<FreeDistributiveLattice.LessThanOrEqualTo<A>>) : LatticeCongruence<FreeDistributiveLattice<A>>
Constructors
Link copied to clipboard
fun <A> FreeDistributiveLatticeCongruence(congruence: List<FreeDistributiveLattice.LessThanOrEqualTo<A>>)
Types
Functions
Link copied to clipboard
open override fun equals(first: FreeDistributiveLattice<A>, second: FreeDistributiveLattice<A>): Boolean
Link copied to clipboard
open override fun lessThanOrEqualTo(first: FreeDistributiveLattice<A>, second: FreeDistributiveLattice<A>): Boolean
Link copied to clipboard
operator fun plus(other: FreeDistributiveLatticeCongruence<A>): FreeDistributiveLatticeCongruence<A>
Return a new congruence that has the congruence relation of this and other.