fix some namings in sync

solutions/RSync/src/main/scala/ttc2019/CompleteTTCProcess.scala

@@ -39,6 +39,7 @@ object CompleteTTCProcess extends App {
     ctts = new CreateTruthTableSync()
     if (sync) {
       SynchronizationCompartment.changeConstructionRule(TTandBDTandBDDSyncConstruction)
+      SynchronizationCompartment.addSynchronizationRule(new SyncHeadNamesSync)
       SynchronizationCompartment.addSynchronizationRule(new SyncPortNamesSync)
       SynchronizationCompartment.addSynchronizationRule(new SyncChangesTruthTableSync)
       SynchronizationCompartment.addSynchronizationRule(new SyncChangesCellSync)

solutions/RSync/src/main/scala/ttc2019/worksync/SyncChangesTruthTableSync.scala

@@ -519,22 +519,6 @@ class SyncChangesTruthTableSync() extends ISyncCompartment {
         }
       }
     }*/
-
-    /**
-     * Change the names of TruthTable and BDDs.
-     */
-    def changeName(): Unit = {
-      if (!doSync) {
-        doSync = true;
-        var name: String = +this getName ();
-        getSyncer().foreach { a =>
-          if (!a.equals(this)) {
-            (+a).setName(name);
-          }
-        }
-        doSync = false;
-      }
-    }
   }
 
 }
\ No newline at end of file

solutions/RSync/src/main/scala/ttc2019/worksync/SyncHeadNamesSync.scala

@@ -40,7 +40,7 @@ class SyncHeadNamesSync() extends ISyncCompartment {
 
     def getOuterCompartment(): ISyncCompartment = SyncHeadNamesSync.this
 
-    def changeName(): Unit = {
+    def syncSetName(): Unit = {
       if (!doSync) {
         doSync = true;
         var name: String = +this getName();

solutions/RSync/src/main/scala/ttc2019/worksync/SyncInputPortNamesSync.scala

@@ -40,7 +40,7 @@ class SyncInputPortNamesSync() extends ISyncCompartment {
 
     def getOuterCompartment(): ISyncCompartment = SyncInputPortNamesSync.this
 
-    def changeName(): Unit = {
+    def syncSetName(): Unit = {
       if (!doSync) {
         doSync = true;
         var name: String = +this getName();

solutions/RSync/src/main/scala/ttc2019/worksync/SyncOutputPortNamesSync.scala

@@ -40,7 +40,7 @@ class SyncOutputPortNamesSync() extends ISyncCompartment {
 
     def getOuterCompartment(): ISyncCompartment = SyncOutputPortNamesSync.this
 
-    def changeName(): Unit = {
+    def syncSetName(): Unit = {
       if (!doSync) {
         doSync = true;
         var name: String = +this getName();

solutions/RSync/src/main/scala/ttc2019/worksync/SyncPortNamesSync.scala

@@ -40,7 +40,7 @@ class SyncPortNamesSync extends ISyncCompartment {
 
     def getOuterCompartment(): ISyncCompartment = SyncPortNamesSync.this
 
-    def changeName(): Unit = {
+    def syncSetName(): Unit = {
       if (!doSync) {
         doSync = true;
         var name: String = +this getName();