@@ -122,10 +122,14 @@ public static boolean isUseSimplifier() { return getBoolean("prism.marlin.useSimplifier", "false"); } + public static boolean isDoClip() { + return getBoolean("prism.marlin.clip", "true"); + } + // debugging parameters public static boolean isDoStats() { return getBoolean("prism.marlin.doStats", "false"); }