treams.Lattice.__le__

Lattice.__le__(other)

Test if one lattice includes another.

Example

>>> Lattice(3) <= Lattice([1, 2, 3])
True

Parameters:

other (Lattice) – Lattice to compare with.

Returns:

bool