JDDVars: deprecate addVars() and refAll(), instead use copy() or copyVarsFrom()

Methods addVars and refAll are not used anymore on trunk. Using the copy methods
improves debugging of the reference counting.



git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11818 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/jdd/JDDVars.java

@@ -84,7 +84,11 @@ public class JDDVars implements Iterable<JDDNode>
 	/**
 	 * Appends the variables of another JDDVars container to this container.
 	 * Does not increase the refcount of the JDDNodes!
+	 * <br>
+	 * This method is deprecated, better use copy() or copyVarsFrom() instead.
+	 * These simplify variable reference count debugging.
 	 */
+	@Deprecated
 	public void addVars(JDDVars ddv)
 	{
 		vars.addAll(ddv.vars);
@@ -207,7 +211,12 @@ public class JDDVars implements Iterable<JDDNode>
 
 	/**
 	 * Increases the refcount of all contained JDDNodes.
+	 * <br>
+	 * This method is deprecated, please use copy() and
+	 * copyVarsFrom() instead.
+	 * This simplifies reference counting debugging.
 	 */
+	@Deprecated
 	public void refAll()
 	{
 		int i;