Commit 22374e5e authored by Daniel Le Berre's avatar Daniel Le Berre

Added annotation on the method, not the type for ManyCore.

parent 22f5a2a4
Pipeline #8830 passed with stages
in 191 minutes and 40 seconds
......@@ -606,6 +606,8 @@ public class ManyCore<S extends ISolver> implements ISolver, OutcomeListener,
sharedUnitClauses.push(LiteralsUtils.toInternal(p));
}
@Override
@Feature(value = "unitclauseprovider", parent = "expert")
public synchronized void provideUnitClauses(UnitPropagationListener upl) {
for (int i = 0; i < sharedUnitClauses.size(); i++) {
upl.enqueue(sharedUnitClauses.get(i));
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment