From 12edd80b2f5bdfd30b5b228c4f6e5ef7ded2b50f Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Tue, 3 Jun 2014 14:45:22 +0000 Subject: [PATCH] Add clear() to the StateVector interface git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8407 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/explicit/StateValues.java | 6 ++---- prism/src/prism/StateValuesDV.java | 3 +-- prism/src/prism/StateValuesMTBDD.java | 3 +-- prism/src/prism/StateValuesVoid.java | 1 + prism/src/prism/StateVector.java | 5 +++++ 5 files changed, 10 insertions(+), 8 deletions(-) diff --git a/prism/src/explicit/StateValues.java b/prism/src/explicit/StateValues.java index fc49fc33..2006ee3d 100644 --- a/prism/src/explicit/StateValues.java +++ b/prism/src/explicit/StateValues.java @@ -1263,12 +1263,10 @@ public class StateValues implements StateVector // ... - /** - * Clear the vector, i.e. free any used memory. - * (Well, actually, just set pointer to null and wait for later garbage collection.) - */ + @Override public void clear() { + // Actually, just set pointers to null and wait for later garbage collection. valuesI = null; valuesD = null; valuesB = null; diff --git a/prism/src/prism/StateValuesDV.java b/prism/src/prism/StateValuesDV.java index 87c075b0..93a0ce1f 100644 --- a/prism/src/prism/StateValuesDV.java +++ b/prism/src/prism/StateValuesDV.java @@ -215,8 +215,7 @@ public class StateValuesDV implements StateValues values.maxMTBDD(vec2, vars, odd); } - // clear (free memory) - + @Override public void clear() { values.clear(); diff --git a/prism/src/prism/StateValuesMTBDD.java b/prism/src/prism/StateValuesMTBDD.java index 9fe9fe1c..33a5f9df 100644 --- a/prism/src/prism/StateValuesMTBDD.java +++ b/prism/src/prism/StateValuesMTBDD.java @@ -237,8 +237,7 @@ public class StateValuesMTBDD implements StateValues values = JDD.Apply(JDD.MAX, values, vec2); } - // clear - + @Override public void clear() { JDD.Deref(values); diff --git a/prism/src/prism/StateValuesVoid.java b/prism/src/prism/StateValuesVoid.java index a9ebe9da..29758ba3 100644 --- a/prism/src/prism/StateValuesVoid.java +++ b/prism/src/prism/StateValuesVoid.java @@ -117,6 +117,7 @@ public class StateValuesVoid implements StateValues throw new UnsupportedOperationException(); } + @Override public void clear() { // Do nothing diff --git a/prism/src/prism/StateVector.java b/prism/src/prism/StateVector.java index 30386584..4fd212ba 100644 --- a/prism/src/prism/StateVector.java +++ b/prism/src/prism/StateVector.java @@ -40,4 +40,9 @@ public interface StateVector * Get the value of the ith element of the vector, as an Object. */ public Object getValue(int i); + + /** + * Clear the vector, i.e. free any used memory. + */ + public void clear(); }