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()); }