Commit 7c56ac35 authored by Jonathan Shahen's avatar Jonathan Shahen

Moved NuSMVMode to the Global repo

parent 2e9892ff
/**
*
*/
package mohawk.collections;
/**
* @author kjayaram
*
*/
public enum NuSMVMode {
SMC, // Symbolic model checking
BMC // Bounded modelchecking
}
......@@ -26,7 +26,7 @@ package mohawk.refine;
import java.io.File;
import java.util.logging.Logger;
import mohawk.collections.NuSMVMode;
import mohawk.global.pieces.mohawk.NuSMVMode;
import mohawk.rbac.RBACInstance;
import mohawk.rbac.RBACSpecReader;
......
......@@ -8,7 +8,6 @@ import java.io.IOException;
import java.util.*;
import java.util.logging.Logger;
import mohawk.collections.NuSMVMode;
import mohawk.collections.RoleDepTree;
import mohawk.global.pieces.mohawk.*;
import mohawk.global.results.ExecutionResult;
......
......@@ -7,7 +7,7 @@ import java.util.concurrent.*;
import java.util.logging.Level;
import java.util.logging.Logger;
import mohawk.collections.NuSMVMode;
import mohawk.global.pieces.mohawk.NuSMVMode;
import mohawk.global.results.*;
import mohawk.global.timing.MohawkTiming;
import mohawk.helper.SMVSpecHelper;
......
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