Commit f2f65099 authored by leberre's avatar leberre
Browse files

MakesNegationDecorator class manage itself the new variables (internal state).

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1690 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
parent 367af60f
......@@ -31,6 +31,7 @@ public class NegationDecorator<T extends ISolver> extends
public NegationDecorator(T decorated) {
super(decorated);
internalState();
}
@Override
......
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