private static class MustBeReachingVariableDef.MustDefJoin extends JoinOp.BinaryJoinOp<MustBeReachingVariableDef.MustDef>
JoinOp.BinaryJoinOp<L extends LatticeElement>
Modifier | Constructor and Description |
---|---|
private |
MustDefJoin() |
Modifier and Type | Method and Description |
---|---|
MustBeReachingVariableDef.MustDef |
apply(MustBeReachingVariableDef.MustDef a,
MustBeReachingVariableDef.MustDef b)
Creates a new lattice that will be the join of two input lattices.
|
apply, computeMidPoint
public MustBeReachingVariableDef.MustDef apply(MustBeReachingVariableDef.MustDef a, MustBeReachingVariableDef.MustDef b)
JoinOp.BinaryJoinOp
apply
in class JoinOp.BinaryJoinOp<MustBeReachingVariableDef.MustDef>
latticeA
and latticeB
.