Code style: reduce visibility of several methods that are not intended for broader usage.

In most cases, the arguments' types were not publicly visible.

Author: kfriedberger

src/org/sosy_lab/java_smt/delegate/debugging/DebuggingArrayFormulaManager.java

@@ -22,8 +22,7 @@ public class DebuggingArrayFormulaManager implements ArrayFormulaManager {
   private final ArrayFormulaManager delegate;
   private final DebuggingAssertions debugging;
 
-  public DebuggingArrayFormulaManager(
-      ArrayFormulaManager pDelegate, DebuggingAssertions pDebugging) {
+  DebuggingArrayFormulaManager(ArrayFormulaManager pDelegate, DebuggingAssertions pDebugging) {
     delegate = checkNotNull(pDelegate);
     debugging = pDebugging;
   }

src/org/sosy_lab/java_smt/delegate/debugging/DebuggingBitvectorFormulaManager.java

@@ -22,7 +22,7 @@ public class DebuggingBitvectorFormulaManager implements BitvectorFormulaManager
   private final BitvectorFormulaManager delegate;
   private final DebuggingAssertions debugging;
 
-  public DebuggingBitvectorFormulaManager(
+  DebuggingBitvectorFormulaManager(
       BitvectorFormulaManager pDelegate, DebuggingAssertions pDebugging) {
     delegate = checkNotNull(pDelegate);
     debugging = pDebugging;

src/org/sosy_lab/java_smt/delegate/debugging/DebuggingBooleanFormulaManager.java

@@ -25,8 +25,7 @@ public class DebuggingBooleanFormulaManager implements BooleanFormulaManager {
   private final BooleanFormulaManager delegate;
   private final DebuggingAssertions debugging;
 
-  public DebuggingBooleanFormulaManager(
-      BooleanFormulaManager pDelegate, DebuggingAssertions pDebugging) {
+  DebuggingBooleanFormulaManager(BooleanFormulaManager pDelegate, DebuggingAssertions pDebugging) {
     delegate = checkNotNull(pDelegate);
     debugging = pDebugging;
   }

src/org/sosy_lab/java_smt/delegate/debugging/DebuggingEnumerationFormulaManager.java

@@ -18,7 +18,7 @@ public class DebuggingEnumerationFormulaManager implements EnumerationFormulaMan
   private final EnumerationFormulaManager delegate;
   private final DebuggingAssertions debugging;
 
-  public DebuggingEnumerationFormulaManager(
+  DebuggingEnumerationFormulaManager(
       EnumerationFormulaManager pDelegate, DebuggingAssertions pDebugging) {
     delegate = pDelegate;
     debugging = pDebugging;

src/org/sosy_lab/java_smt/delegate/debugging/DebuggingFloatingPointFormulaManager.java

@@ -25,7 +25,7 @@ public class DebuggingFloatingPointFormulaManager implements FloatingPointFormul
   private final FloatingPointFormulaManager delegate;
   private final DebuggingAssertions debugging;
 
-  public DebuggingFloatingPointFormulaManager(
+  DebuggingFloatingPointFormulaManager(
       FloatingPointFormulaManager pDelegate, DebuggingAssertions pDebugging) {
     delegate = pDelegate;
     debugging = pDebugging;

src/org/sosy_lab/java_smt/delegate/debugging/DebuggingFormulaManager.java

@@ -43,7 +43,7 @@ public class DebuggingFormulaManager implements FormulaManager {
   private final FormulaManager delegate;
   private final DebuggingAssertions debugging;
 
-  public DebuggingFormulaManager(FormulaManager pDelegate, DebuggingAssertions pDebugging) {
+  DebuggingFormulaManager(FormulaManager pDelegate, DebuggingAssertions pDebugging) {
     delegate = checkNotNull(pDelegate);
     debugging = pDebugging;
   }

src/org/sosy_lab/java_smt/delegate/debugging/DebuggingIntegerFormulaManager.java

@@ -21,8 +21,7 @@ public class DebuggingIntegerFormulaManager
   private final IntegerFormulaManager delegate;
   private final DebuggingAssertions debugging;
 
-  public DebuggingIntegerFormulaManager(
-      IntegerFormulaManager pDelegate, DebuggingAssertions pDebugging) {
+  DebuggingIntegerFormulaManager(IntegerFormulaManager pDelegate, DebuggingAssertions pDebugging) {
     super(pDelegate, pDebugging);
     delegate = checkNotNull(pDelegate);
     debugging = pDebugging;

src/org/sosy_lab/java_smt/delegate/debugging/DebuggingInterpolatingProverEnvironment.java

@@ -21,7 +21,7 @@ public class DebuggingInterpolatingProverEnvironment<T> extends DebuggingBasicPr
   private final InterpolatingProverEnvironment<T> delegate;
   private final DebuggingAssertions debugging;
 
-  public DebuggingInterpolatingProverEnvironment(
+  DebuggingInterpolatingProverEnvironment(
       InterpolatingProverEnvironment<T> pDelegate, DebuggingAssertions pDebugging) {
     super(pDelegate, pDebugging);
     delegate = checkNotNull(pDelegate);

src/org/sosy_lab/java_smt/delegate/debugging/DebuggingModel.java

@@ -29,7 +29,7 @@ public class DebuggingModel implements Model {
   private final Model delegate;
   private final DebuggingAssertions debugging;
 
-  public DebuggingModel(Model pDelegate, DebuggingAssertions pDebugging) {
+  DebuggingModel(Model pDelegate, DebuggingAssertions pDebugging) {
     delegate = checkNotNull(pDelegate);
     debugging = pDebugging;
   }

src/org/sosy_lab/java_smt/delegate/debugging/DebuggingNumeralFormulaManager.java

@@ -27,7 +27,7 @@ public class DebuggingNumeralFormulaManager<
   private final NumeralFormulaManager<ParamFormulaType, ResultFormulaType> delegate;
   private final DebuggingAssertions debugging;
 
-  public DebuggingNumeralFormulaManager(
+  DebuggingNumeralFormulaManager(
       NumeralFormulaManager<ParamFormulaType, ResultFormulaType> pDelegate,
       DebuggingAssertions pDebugging) {
     delegate = checkNotNull(pDelegate);