From 4a33c0398c61d8d1b56a77517b635fd518dd8eb9 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Sat, 27 Jun 2015 22:56:41 +0000 Subject: [PATCH] Add some more (hidden) settings to explicit StateModelChecker inheritSettings(). git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10110 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/explicit/StateModelChecker.java | 21 +++++++++++++++------ 1 file changed, 15 insertions(+), 6 deletions(-) diff --git a/prism/src/explicit/StateModelChecker.java b/prism/src/explicit/StateModelChecker.java index 8db45bdd..bbb55f18 100644 --- a/prism/src/explicit/StateModelChecker.java +++ b/prism/src/explicit/StateModelChecker.java @@ -188,6 +188,15 @@ public class StateModelChecker extends PrismComponent { setLog(other.getLog()); setVerbosity(other.getVerbosity()); + setExportTarget(other.getExportTarget()); + setExportTargetFilename(other.getExportTargetFilename()); + setExportProductTrans(other.getExportProductTrans()); + setExportProductTransFilename(other.getExportProductTransFilename()); + setExportProductStates(other.getExportProductStates()); + setExportProductStatesFilename(other.getExportProductStatesFilename()); + setStoreVector(other.getStoreVector()); + setGenStrat(other.getGenStrat()); + setDoBisim(other.getDoBisim()); } /** @@ -208,32 +217,32 @@ public class StateModelChecker extends PrismComponent this.verbosity = verbosity; } - public void setExportTarget(boolean b) throws PrismException + public void setExportTarget(boolean b) { exportTarget = b; } - public void setExportTargetFilename(String s) throws PrismException + public void setExportTargetFilename(String s) { exportTargetFilename = s; } - public void setExportProductTrans(boolean b) throws PrismException + public void setExportProductTrans(boolean b) { exportProductTrans = b; } - public void setExportProductTransFilename(String s) throws PrismException + public void setExportProductTransFilename(String s) { exportProductTransFilename = s; } - public void setExportProductStates(boolean b) throws PrismException + public void setExportProductStates(boolean b) { exportProductStates = b; } - public void setExportProductStatesFilename(String s) throws PrismException + public void setExportProductStatesFilename(String s) { exportProductStatesFilename = s; }