it.unimi.dsi.lama4j

Class AbstractDistributiveLattice

java.lang.Object

it.unimi.dsi.lama4j.AbstractLattice

it.unimi.dsi.lama4j.AbstractDistributiveLattice

All Implemented Interfaces:

Lattice

Direct Known Subclasses:

Boolean, Chain, IntervalAntichains, Parts, Sum, Trivial

public abstract class AbstractDistributiveLattice
extends AbstractLattice

An abstract extension of AbstractLattice that returns true upon calls to Lattice.isDistributive().

Field Summary

Fields inherited from interface it.unimi.dsi.lama4j.Lattice

RING, UTF8

Constructor Summary

Constructors

Constructor and Description
AbstractDistributiveLattice()

Method Summary

Modifier and Type	Method and Description
boolean	isDistributive() Return true if this lattice is distributive.

Methods inherited from class it.unimi.dsi.lama4j.AbstractLattice

comp, coveringRelation, elements, ensureElementsInLattice, ensureElementsInLattice, ensureElementsInLattice, leq, pscomp, psdiff, symdiff, valueOfZeroOrOne

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface it.unimi.dsi.lama4j.Lattice

generators, join, meet, one, valueOf, zero

Constructor Detail

AbstractDistributiveLattice

public AbstractDistributiveLattice()

Method Detail

isDistributive

public boolean isDistributive()

Description copied from interface: Lattice

Return true if this lattice is distributive.

Specified by:

isDistributive in interface Lattice

Overrides:

isDistributive in class AbstractLattice

Returns:

true if this lattice is distributive.