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, computeMidPoint
public FlowScope apply(FlowScope a, FlowScope b)
JoinOp.BinaryJoinOp
apply
in class JoinOp.BinaryJoinOp<FlowScope>
latticeA
and latticeB
.