Commit a9dd9488 authored by Jonathan Shahen's avatar Jonathan Shahen

reorganization of Global

parent 0fa2871a
......@@ -9,10 +9,10 @@ import java.util.*;
import java.util.logging.Logger;
import mohawk.collections.RoleDepTree;
import mohawk.global.nusmv.NuSMV;
import mohawk.global.pieces.mohawk.*;
import mohawk.global.results.ExecutionResult;
import mohawk.math.CalculateDiameter;
import mohawk.nusmv.NuSMV;
import mohawk.output.WriteNuSMV;
import mohawk.output.WriteRBACSpec;
import mohawk.rbac.RBACInstance;
......
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