protected void |
FlowSensitiveConstantPropagator.BetterConstantPropagator.copy(FlowSensitiveConstantPropagator.ConstantState source,
FlowSensitiveConstantPropagator.ConstantState dest) |
protected void |
FlowSensitiveConstantPropagator.BetterConstantPropagator.copyFreshToExisting(FlowSensitiveConstantPropagator.ConstantState in,
FlowSensitiveConstantPropagator.ConstantState dest) |
void |
FlowSensitiveConstantPropagator.ConstantState.copyTo(FlowSensitiveConstantPropagator.ConstantState dest) |
protected void |
FlowSensitiveConstantPropagator.BetterConstantPropagator.flowThrough(FlowSensitiveConstantPropagator.ConstantState in,
Unit d,
FlowSensitiveConstantPropagator.ConstantState out) |
void |
FlowSensitiveConstantPropagator.ConstantState.merge(FlowSensitiveConstantPropagator.ConstantState in1,
FlowSensitiveConstantPropagator.ConstantState in2) |
protected void |
FlowSensitiveConstantPropagator.BetterConstantPropagator.merge(FlowSensitiveConstantPropagator.ConstantState in1,
FlowSensitiveConstantPropagator.ConstantState in2,
FlowSensitiveConstantPropagator.ConstantState out) |
void |
FlowSensitiveConstantPropagator.ConstantState.mergeInto(FlowSensitiveConstantPropagator.ConstantState in) |
protected void |
FlowSensitiveConstantPropagator.BetterConstantPropagator.mergeInto(Unit succNode,
FlowSensitiveConstantPropagator.ConstantState inout,
FlowSensitiveConstantPropagator.ConstantState in) |