|
http://www.sosy-lab.org/~dbeyer/CrocoPat/release_1.2/example |
||||||
|
name
|
type | size | date | description | ||
| | | AllExamples.zip | zip | 466.4 KB | 25-06-03 | |
| | | ClassesInCycles.pat | pat | 235 B | 18-06-03 | |
| | | Composite.pat | pat | 324 B | 18-06-03 | |
| | | Cycles.pat | pat | 2.2 KB | 24-06-03 | |
| | | Eclipse202-Relations.rsf | rsf | 3.3 MB | 18-06-03 | |
| | | InhDegenerate.pat | pat | 157 B | 18-06-03 | |
| | | JHotDraw52-Relations.rsf | rsf | 39.5 KB | 18-06-03 | |
| | | Logic.pat | pat | 928 B | 19-06-03 | |
| | | SimilarClassesEX.pat | pat | 554 B | 18-06-03 | |
| | | SimilarClassesFA.pat | pat | 578 B | 18-06-03 | |
| | | SimilarClassesSort.pat | pat | 526 B | 19-06-03 | |
| | | SubclassKnowledge.pat | pat | 229 B | 18-06-03 | |