public void update(boolean redundantManual, String startFeatureName) {
if (propagate) {
propagator.update(redundantManual, startFeatureName, new WorkMonitor());
}
}
/**
* Creates solutions to cover the given features.
*
* @param features The features that should be covered.
* @param selection true is the features should be selected, false otherwise.
*/
public List<List<String>> coverFeatures(
Collection<String> features, WorkMonitor monitor, boolean selection) throws TimeoutException {
return propagator.coverFeatures(features, selection, monitor);
}
/**
* Convenience method.
*
* @return the values of number(250)
* @see #number(long)
*/
public long number() {
return propagator.number(250, new WorkMonitor());
}
/**
* Counts the number of possible solutions.
*
* @return a positive value equal to the number of solutions (if the method terminated in
* time)</br> or a negative value (if a timeout occured) that indicates that there are more
* solutions than the absolute value
*/
public long number(long timeout) {
return propagator.number(timeout, new WorkMonitor());
}
public void leadToValidConfiguration(
List<SelectableFeature> featureList, int mode, WorkMonitor workMonitor) {
propagator.leadToValidConfiguration(featureList, mode, new WorkMonitor());
}
/**
* Ignores hidden features. Use this, when propgate is disabled (hidden features are not updated).
*/
public boolean isValidNoHidden() {
return propagator.isValidNoHidden(new WorkMonitor());
}
/**
* Checks that all manual and automatic selections are valid.<br>
* Abstract features will <b>not</b> be ignored.
*
* @return {@code true} if the current selection is a valid configuration
*/
public boolean isValid() {
return propagator.isValid(new WorkMonitor());
}
public LinkedList<List<String>> getSolutions(int max) throws TimeoutException {
return propagator.getSolutions(max, new WorkMonitor());
}
public boolean canBeValid() {
return propagator.canBeValid(new WorkMonitor());
}
