Fix visibility of private methods

SMTInterpol/src/de/uni_freiburg/informatik/ultimate/smtinterpol/theory/cclosure/CCTermConverter.java

@@ -54,13 +54,19 @@ public void walk(NonRecursive engine) {
 
 	}
 
+	/**
+	 * Create the class to convert CCTerm to SMT Term. Note that CCTerm.toSMTTerm() will do this work for you.
+	 *
+	 * @param theory
+	 *            The SMTLIB theory where the terms live. This must match the theory used to create these terms.
+	 */
 	public CCTermConverter(Theory theory) {
 		mTheory = theory;
 	}
 
 	/**
 	 * Convert a CCTerm to an SMT term. This is the only function you should call on this class.
-	 * 
+	 *
 	 * @param input
 	 *            the term to convert.
 	 * @return the converted term.
@@ -75,15 +81,15 @@ public Term convert(CCTerm input) {
 		return result;
 	}
 
-	public void walkCCTerm(CCTerm input, int numArgs, CCTerm fullTerm) {
+	private void walkCCTerm(CCTerm input, int numArgs, CCTerm fullTerm) {
 		if (input instanceof CCBaseTerm) {
 			walkBaseTerm((CCBaseTerm) input, numArgs, fullTerm);
 		} else {
 			walkAppTerm((CCAppTerm) input, numArgs, fullTerm);
 		}
 	}
 
-	public void walkAppTerm(CCAppTerm input, int numArgs, CCTerm fullTerm) {
+	private void walkAppTerm(CCAppTerm input, int numArgs, CCTerm fullTerm) {
 		if (input.mSmtTerm != null) {
 			assert numArgs == 0 && fullTerm == input;
 			mConverted.add(input.mSmtTerm);
@@ -93,7 +99,7 @@ public void walkAppTerm(CCAppTerm input, int numArgs, CCTerm fullTerm) {
 		enqueueWalker(new ConvertCC(input.getArg(), 0, input.getArg()));
 	}
 
-	public void walkBaseTerm(CCBaseTerm input, int numArgs, CCTerm fullTerm) {
+	private void walkBaseTerm(CCBaseTerm input, int numArgs, CCTerm fullTerm) {
 		assert input.mIsFunc == (numArgs > 0);
 		Term[] args = new Term[numArgs];
 		for (int i = 0; i < args.length; i++) {