@Override public void computeUnionOfInterestingPropertiesFromSuccessors() { super.computeUnionOfInterestingPropertiesFromSuccessors(); // clear all local properties, as they are destroyed anyways getInterestingProperties().getLocalProperties().clear(); }
@Override public void computeInterestingPropertiesForInputs(CostEstimator estimator) { final InterestingProperties props = getInterestingProperties(); // if no other properties exist, add the pruned trivials back if (props.getGlobalProperties().isEmpty()) { props.addGlobalProperties(new RequestedGlobalProperties()); } props.addLocalProperties(new RequestedLocalProperties()); this.input1.setInterestingProperties(props.clone()); this.input2.setInterestingProperties(props.clone()); this.channelProps = props.getGlobalProperties(); }
@Override public void computeUnionOfInterestingPropertiesFromSuccessors() { super.computeUnionOfInterestingPropertiesFromSuccessors(); // clear all local properties, as they are destroyed anyways getInterestingProperties().getLocalProperties().clear(); }
@Override public void computeUnionOfInterestingPropertiesFromSuccessors() { super.computeUnionOfInterestingPropertiesFromSuccessors(); // clear all local properties, as they are destroyed anyways getInterestingProperties().getLocalProperties().clear(); }
@Override public void computeUnionOfInterestingPropertiesFromSuccessors() { super.computeUnionOfInterestingPropertiesFromSuccessors(); // clear all local properties, as they are destroyed anyways getInterestingProperties().getLocalProperties().clear(); }
@Override public void computeUnionOfInterestingPropertiesFromSuccessors() { super.computeUnionOfInterestingPropertiesFromSuccessors(); // clear all local properties, as they are destroyed anyways getInterestingProperties().getLocalProperties().clear(); }
@Override public void computeInterestingPropertiesForInputs(CostEstimator estimator) { final InterestingProperties props = getInterestingProperties(); // if no other properties exist, add the pruned trivials back if (props.getGlobalProperties().isEmpty()) { props.addGlobalProperties(new RequestedGlobalProperties()); } props.addLocalProperties(new RequestedLocalProperties()); this.input1.setInterestingProperties(props.clone()); this.input2.setInterestingProperties(props.clone()); this.channelProps = props.getGlobalProperties(); }
@Override public void computeInterestingPropertiesForInputs(CostEstimator estimator) { final InterestingProperties props = getInterestingProperties(); // if no other properties exist, add the pruned trivials back if (props.getGlobalProperties().isEmpty()) { props.addGlobalProperties(new RequestedGlobalProperties()); } props.addLocalProperties(new RequestedLocalProperties()); this.input1.setInterestingProperties(props.clone()); this.input2.setInterestingProperties(props.clone()); this.channelProps = props.getGlobalProperties(); }
@Override public void computeInterestingPropertiesForInputs(CostEstimator estimator) { final InterestingProperties props = getInterestingProperties(); // if no other properties exist, add the pruned trivials back if (props.getGlobalProperties().isEmpty()) { props.addGlobalProperties(new RequestedGlobalProperties()); } props.addLocalProperties(new RequestedLocalProperties()); this.input1.setInterestingProperties(props.clone()); this.input2.setInterestingProperties(props.clone()); this.channelProps = props.getGlobalProperties(); }
@Override public void computeInterestingPropertiesForInputs(CostEstimator estimator) { final InterestingProperties props = getInterestingProperties(); // if no other properties exist, add the pruned trivials back if (props.getGlobalProperties().isEmpty()) { props.addGlobalProperties(new RequestedGlobalProperties()); } props.addLocalProperties(new RequestedLocalProperties()); this.input1.setInterestingProperties(props.clone()); this.input2.setInterestingProperties(props.clone()); this.channelProps = props.getGlobalProperties(); }