Skip to content
Snippets Groups Projects
Verified Commit 2da4c35a authored by Rico Bergmann's avatar Rico Bergmann
Browse files
parents 5d0f5e63 399d28bb
Branches
No related tags found
No related merge requests found
......@@ -12,7 +12,7 @@
The relational RAG solutions use Gradle as build tool. Thus there are no extra prerequisites.
However, in order to run the rSync solutions, the following tools are necessary:
However, in order to run the RSYNC solutions, the following tools are necessary:
* Scala (optional, will be downloaded automatically via SBT if not present)
* [SBT](https://www.scala-sbt.org/) 1.x
......
Source diff could not be displayed: it is too large. Options to address this: view the blob.
This diff is collapsed.
Source diff could not be displayed: it is too large. Options to address this: view the blob.
......@@ -8,7 +8,7 @@ import scala.reflect.io.File
*/
object MainApp extends App {
val Initialize = "Initialize"
val Initialize = "Initialization"
val Load = "Load"
val Run = "Run"
......
......@@ -67,7 +67,6 @@ object BddSyncIntegration extends IIntegrationCompartment {
//find next inputport for subtree
truthTable.getPorts().filter(p => p.isInstanceOf[sync.tt.InputPort] && !finishPorts.contains(p)).foreach(ttip => {
val newCells = ttip.getCells().filter(c => rows.contains(c.getOwner()))
//println("Looking Port: " + ttip.getName() + " S: " + newCells.size)
if (newCells.size >= max) {
var setTrue: Set[Set[String]] = Set.empty
var setFalse: Set[Set[String]] = Set.empty
......@@ -95,11 +94,9 @@ object BddSyncIntegration extends IIntegrationCompartment {
portTT = ttip
max = newCells.size
}
//println("############################## " + newCells.size + " || T: " + p1 + " F: " + p2)
}
})
//println("Used Port: " + portTT)
var portBDD: sync.bddg.InputPort = null
val oppo: PlayerSync = +portTT getRelatedClassFromName ("InputPort")
if (oppo != null) {
......
......@@ -85,7 +85,6 @@ object BddSyncIntegrationWithoutOrder extends IIntegrationCompartment {
})
}
//println("Used Port: " + portTT)
var portBDD: sync.bddg.InputPort = null
val oppo: PlayerSync = +portTT getRelatedClassFromName ("InputPort")
if (oppo != null) {
......
......@@ -45,7 +45,6 @@ object BdtAndBddSyncIntegration extends IIntegrationCompartment {
}
def finalEditFunction(): Unit = {
println("FINISH FUNCTION")
var ttNode: sync.tt.TruthTable = null
createdBdds.foreach(bddNode => {
......@@ -60,8 +59,7 @@ object BdtAndBddSyncIntegration extends IIntegrationCompartment {
connectTargetElementWithSourceElementes(tree, rows.asInstanceOf[Set[PlayerSync]])
})
printManager()
println("END FINISH FUNCTION")
//printManager()
}
def createOutputLookSubtree(bdd: sync.bddg.BDD, truthTable: sync.tt.TruthTable, rows: Set[sync.tt.Row], finishPorts: Set[sync.tt.Port]): sync.bddg.Tree = {
......@@ -74,7 +72,6 @@ object BdtAndBddSyncIntegration extends IIntegrationCompartment {
//find next inputport for subtree
truthTable.getPorts().filter(p => p.isInstanceOf[sync.tt.InputPort] && !finishPorts.contains(p)).foreach(ttip => {
val newCells = ttip.getCells().filter(c => rows.contains(c.getOwner()))
println("Looking Port: " + ttip.getName() + " S: " + newCells.size)
if (newCells.size >= max) {
var setTrue: Set[Set[String]] = Set.empty
var setFalse: Set[Set[String]] = Set.empty
......@@ -102,11 +99,9 @@ object BdtAndBddSyncIntegration extends IIntegrationCompartment {
portTT = ttip
max = newCells.size
}
println("############################## " + newCells.size + " || T: " + p1 + " F: " + p2)
}
})
println("Used Port: " + portTT)
var portBDD: sync.bddg.InputPort = null
val oppo: PlayerSync = +portTT getRelatedClassFromName ("InputPort")
if (oppo != null) {
......@@ -120,7 +115,6 @@ object BdtAndBddSyncIntegration extends IIntegrationCompartment {
val rowsOne = cellis.filter(_.getValue()).map(_.getOwner())
val rowsZero = cellis.filter(!_.getValue()).map(_.getOwner())
println("Rows (1) " + rowsOne.size + " (2) " + rowsZero.size)
var treeZero: sync.bddg.Tree = null
var treeOne: sync.bddg.Tree = null
......@@ -193,8 +187,6 @@ object BdtAndBddSyncIntegration extends IIntegrationCompartment {
class OutputPortConstruct() extends IIntegrator {
def integrate(comp: PlayerSync): PlayerSync = {
println("OutputPort Integration " + comp);
//Step 1: Get construction values
val name: String = +this getName ()
......@@ -214,8 +206,6 @@ object BdtAndBddSyncIntegration extends IIntegrationCompartment {
class InputPortConstruct() extends IIntegrator {
def integrate(comp: PlayerSync): PlayerSync = {
println("InputPort Integration " + comp);
//Step 1: Get construction values
val name: String = +this getName ()
......@@ -235,8 +225,6 @@ object BdtAndBddSyncIntegration extends IIntegrationCompartment {
class TruthTableConstruct() extends IIntegrator {
def integrate(comp: PlayerSync): PlayerSync = {
println("TruthTable Integration " + comp);
//Step 1: Get construction values
val name: String = +this getName ()
val ports: Set[sync.tt.Port] = +this getPorts ()
......
......@@ -58,7 +58,6 @@ object BdtSyncIntegration extends IIntegrationCompartment {
truthTable.getPorts().filter(p => p.isInstanceOf[sync.tt.InputPort] && !finishPorts.contains(p)).foreach(ttip => {
val newCells = ttip.getCells().filter(c => rows.contains(c.getOwner()))
//println("Looking Port: " + ttip.getName() + " S: " + newCells.size)
if (newCells.size >= max) {
var setTrue: Set[Set[String]] = Set.empty
var setFalse: Set[Set[String]] = Set.empty
......@@ -86,11 +85,9 @@ object BdtSyncIntegration extends IIntegrationCompartment {
portTT = ttip
max = newCells.size
}
//println("############################## " + newCells.size + " || T: " + p1 + " F: " + p2)
}
})
//println("Used Port: " + portTT)
var portBDD: sync.bdd.InputPort = null
val oppo: PlayerSync = +portTT getRelatedClassFromName ("InputPort")
if (oppo != null) {
......
......@@ -80,12 +80,10 @@ object BdtSyncIntegrationWithoutOrder extends IIntegrationCompartment {
numberFalse = setFalse.size
cellis = newCells
portTT = ttip
println("in row")
break
})
}
println("Used Port: " + portTT)
var portBDD: sync.bdd.InputPort = null
val oppo: PlayerSync = +portTT getRelatedClassFromName ("InputPort")
if (oppo != null) {
......@@ -98,7 +96,6 @@ object BdtSyncIntegrationWithoutOrder extends IIntegrationCompartment {
val rowsOne = cellis.filter(_.getValue()).map(_.getOwner())
val rowsZero = cellis.filter(!_.getValue()).map(_.getOwner())
//println("Rows (1) " + rowsOne.size + " (2) " + rowsZero.size)
var treeZero: sync.bdd.Tree = null
var treeOne: sync.bdd.Tree = null
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment