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, computeMidPointpublic MustBeReachingVariableDef.MustDef apply(MustBeReachingVariableDef.MustDef a, MustBeReachingVariableDef.MustDef b)
JoinOp.BinaryJoinOpapply in class JoinOp.BinaryJoinOp<MustBeReachingVariableDef.MustDef>latticeA and latticeB.