interface JoinOp<L extends LatticeElement>
extends com.google.common.base.Function<java.util.List<L>,L>
Modifier and Type | Interface and Description |
---|---|
static class |
JoinOp.BinaryJoinOp<L extends LatticeElement>
An implementation of
JoinOp that makes it easy to join to
lattice elements at a time. |