blob: 8c2d5dad2b4c51bb06cc8577b8ed094eca83d508 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
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
}
}
}
|
