static class LinkedFlowScope.FlowScopeJoinOp extends JoinOp.BinaryJoinOp<FlowScope>
JoinOp.BinaryJoinOp<L extends LatticeElement>| Constructor and Description |
|---|
FlowScopeJoinOp() |
| Modifier and Type | Method and Description |
|---|---|
FlowScope |
apply(FlowScope a,
FlowScope b)
Creates a new lattice that will be the join of two input lattices.
|
apply, computeMidPointpublic FlowScope apply(FlowScope a, FlowScope b)
JoinOp.BinaryJoinOpapply in class JoinOp.BinaryJoinOp<FlowScope>latticeA and latticeB.