Commit 3b43befb authored by sroussel's avatar sroussel

Corrected a bad initialization of attributes. This seems to fix the bug when...

Corrected a bad initialization of attributes. This seems to fix the bug when launching MAXSAT with the dashboard.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1728 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
parent 63801bd4
......@@ -55,12 +55,12 @@ public class Policy extends EncodingStrategyAdapter {
private final Binomial binomial = new Binomial();
private final Ladder ladder = new Ladder();
private EncodingStrategyAdapter atMostOneEncoding = ladder;
private EncodingStrategyAdapter atMostKEncoding = seq;
private EncodingStrategyAdapter exactlyOneEncoding = ladder;
private EncodingStrategyAdapter exactlyKEncoding = seq;
private EncodingStrategyAdapter atLeastOneEncoding = ladder;
private EncodingStrategyAdapter atLeastKEncoding = seq;
private EncodingStrategyAdapter atMostOneEncoding = null;
private EncodingStrategyAdapter atMostKEncoding = null;
private EncodingStrategyAdapter exactlyOneEncoding = null;
private EncodingStrategyAdapter exactlyKEncoding = null;
private EncodingStrategyAdapter atLeastOneEncoding = null;
private EncodingStrategyAdapter atLeastKEncoding = null;
private EncodingStrategyAdapter getAdapterFromEncodingName(
EncodingStrategy encodingName) {
......
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