1 files changed, 27 insertions, 15 deletions
diff --git a/src/api/java/cvc5/Op.java b/src/api/java/cvc5/Op.java
index 98915c1d1..6819946b6 100644
--- a/src/api/java/cvc5/Op.java
+++ b/src/api/java/cvc5/Op.java
@@ -15,20 +15,23 @@
 
 package cvc5;
 
-public class Op extends AbstractPointer {
+public class Op extends AbstractPointer
+{
   // region construction and destruction
-  Op(Solver solver, long pointer) {
+  Op(Solver solver, long pointer)
+  {
     super(solver, pointer);
   }
 
   protected static native void deletePointer(long pointer);
 
-  public long getPointer() {
+  public long getPointer()
+  {
     return pointer;
   }
 
-  @Override
-  public void finalize() {
+  @Override public void finalize()
+  {
     deletePointer(pointer);
   }
 
@@ -41,8 +44,8 @@ public class Op extends AbstractPointer {
    * @param t the operator to compare to for equality
    * @return true if the operators are equal
    */
-  @Override
-  public boolean equals(Object t) {
+  @Override public boolean equals(Object t)
+  {
     if (this == t)
       return true;
     if (t == null || getClass() != t.getClass())
@@ -55,11 +58,15 @@ public class Op extends AbstractPointer {
   /**
    * @return the kind of this operator
    */
-  Kind getKind() {
-    try {
+  Kind getKind()
+  {
+    try
+    {
       int value = getKind(pointer);
       return Kind.fromInt(value);
-    } catch (CVC5ApiException e) {
+    }
+    catch (CVC5ApiException e)
+    {
       e.printStackTrace();
       throw new RuntimeException(e.getMessage());
     }
@@ -70,7 +77,8 @@ public class Op extends AbstractPointer {
   /**
    * @return true if this operator is a null term
    */
-  public boolean isNull() {
+  public boolean isNull()
+  {
     return isNull(pointer);
   }
 
@@ -79,7 +87,8 @@ public class Op extends AbstractPointer {
   /**
    * @return true iff this operator is indexed
    */
-  public boolean isIndexed() {
+  public boolean isIndexed()
+  {
     return isIndexed(pointer);
   }
 
@@ -88,7 +97,8 @@ public class Op extends AbstractPointer {
   /**
    * @return the number of indices of this op
    */
-  public int getNumIndices() {
+  public int getNumIndices()
+  {
     return getNumIndices(pointer);
   }
 
@@ -100,7 +110,8 @@ public class Op extends AbstractPointer {
    *
    * @return the indices used to create this Op
    */
-  public int[] getIntegerIndices() {
+  public int[] getIntegerIndices()
+  {
     return getIntegerIndices(pointer);
   }
 
@@ -112,7 +123,8 @@ public class Op extends AbstractPointer {
    *
    * @return the indices used to create this Op
    */
-  public String[] getStringIndices() {
+  public String[] getStringIndices()
+  {
     return getStringIndices(pointer);
   }