aboutsummaryrefslogtreecommitdiffstats
path: root/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/.gitignore
blob: 70eab455b3ed5d61319d07c5a36dc90061e5624b (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
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
/.ContentInNotLiveMatch.java._trace
/.ContentInNotLiveMatcher.java._trace
/.DirectSupertypeMatch.java._trace
/.DirectSupertypeMatcher.java._trace
/.Ecore.java._trace
/.FileSystem.java._trace
/.LiveMatch.java._trace
/.LiveMatcher.java._trace
/.LoopInInheritenceMatch.java._trace
/.LoopInInheritenceMatcher.java._trace
/.NonSymmetricOppositeMatch.java._trace
/.NonSymmetricOppositeMatcher.java._trace
/.OppositeDifferentClassMatch.java._trace
/.OppositeDifferentClassMatcher.java._trace
/.OppositeMatch.java._trace
/.OppositeMatcher.java._trace
/.PatternContentMatch.java._trace
/.PatternContentMatcher.java._trace
/ContentInNotLiveMatch.java
/ContentInNotLiveMatcher.java
/DirectSupertypeMatch.java
/DirectSupertypeMatcher.java
/Ecore.java
/FileSystem.java
/LiveMatch.java
/LiveMatcher.java
/LoopInInheritenceMatch.java
/LoopInInheritenceMatcher.java
/NonSymmetricOppositeMatch.java
/NonSymmetricOppositeMatcher.java
/OppositeDifferentClassMatch.java
/OppositeDifferentClassMatcher.java
/OppositeMatch.java
/OppositeMatcher.java
/PatternContentMatch.java
/PatternContentMatcher.java
/.ContentInNotLive.java._trace
/.DirectSupertype.java._trace
/.Live.java._trace
/.LoopInInheritence.java._trace
/.NonSymmetricOpposite.java._trace
/.Opposite.java._trace
/.OppositeDifferentClass.java._trace
/.PatternContent.java._trace
/ContentInNotLive.java
/DirectSupertype.java
/Live.java
/LoopInInheritence.java
/NonSymmetricOpposite.java
/Opposite.java
/OppositeDifferentClass.java
/PatternContent.java
/.Dir.java._trace
/.RootIsNotDir.java._trace
/Dir.java
/RootIsNotDir.java
/.Unsat_loopInInheritance.java._trace
/.Subpackage.java._trace
/.Unsat_subpackage.java._trace
/.Unsat_subpackageOrSelf.java._trace
/.Unsat_topLevelPackageWithLoop.java._trace