Commit e81cf02e authored by sroussel's avatar sroussel
Browse files

Added a getMsses() method to AllMuses in order to get the MSS computed in the first phase

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1688 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
parent ab11e6e4
......@@ -253,4 +253,9 @@ public class AllMUSes {
css.externalState();
return mssList;
}
public List<IVecInt> getMssList() {
return mssList;
}
}
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