Migrating Additional projects

1 files changed, 33 insertions, 0 deletions

diff --git a/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.reasoner/src/hu/bme/mit/inf/dslreasoner/smt/reasoner/Logic2SmtMapper_UnfoldingSupport.xtend b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.reasoner/src/hu/bme/mit/inf/dslreasoner/smt/reasoner/Logic2SmtMapper_UnfoldingSupport.xtend
new file mode 100644
index 00000000..8c2d5dad
--- /dev/null
+++ b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.reasoner/src/hu/bme/mit/inf/dslreasoner/smt/reasoner/Logic2SmtMapper_UnfoldingSupport.xtend
@@ -0,0 +1,33 @@
+package hu.bme.mit.inf.dslreasoner.smt.reasoner

+

+//import hu.bme.mit.inf.dslreasoner.smtLanguage.SmtLanguageFactory

+import java.util.ArrayList

+import java.util.List

+

+class Logic2SmtMapper_UnfoldingSupport {

+        //val extension SmtLanguageFactory factory = SmtLanguageFactory.eINSTANCE

+        

+        def List<List<TypeConstraint>> getPermutations(List<List<TypeConstraint>> lists) {

+                if(lists.size == 1) {

+                        val elements = lists.head

+                        val result = new ArrayList(elements.size)

+                        for(element: elements){

+                                result.add(#[element.copy])

+                        }

+                        return result

+                } else {

+                        val permuteThis = lists.head

+                        val withThat = getPermutations(lists.tail.toList)

+                        val result = new ArrayList(permuteThis.size*withThat.size)

+                        for(h:permuteThis) {

+                                for(t:withThat) {

+                                        val l = new ArrayList(withThat.size+1)

+                                        l+=h.copy

+                                        l.addAll(t.map[copy])

+                                        result.add(l)

+                                }

+                        }

+                        return result

+                }

+        }

+}
\ No newline at end of file