Yentl Van Tendeloo
|
a9b0b84b48
Added constraints on AL, but commented it out for performance reasons
|
9 gadi atpakaļ |
Yentl Van Tendeloo
|
ff09192280
Use of Natural instead of Integer for MMCL and PN
|
9 gadi atpakaļ |
Yentl Van Tendeloo
|
21f63a3b38
Add simple constraint for integers in the metamodel
|
9 gadi atpakaļ |
Yentl Van Tendeloo
|
13982c2b4a
Fixed type of Integer in metamodels.alc
|
9 gadi atpakaļ |
Yentl Van Tendeloo
|
9ef0ee26b0
Added new MMCL in metamodels.alc
|
9 gadi atpakaļ |
Yentl Van Tendeloo
|
55d9041be1
Fixed bug in allInstances
|
9 gadi atpakaļ |
Yentl Van Tendeloo
|
08b59ddb4e
Fixed tests; made library more consistent in its use of names instead of IDs
|
9 gadi atpakaļ |
Yentl Van Tendeloo
|
bf15fa45ed
Fixed some parts of the code: at least now some violations are detected
|
9 gadi atpakaļ |
Yentl Van Tendeloo
|
39a631b595
Short path if the model is empty: don't read out all edges just to create cardinality dictionary
|
9 gadi atpakaļ |
Yentl Van Tendeloo
|
fe6b7764d2
Faster checking of cardinalities
|
9 gadi atpakaļ |
Yentl Van Tendeloo
|
59c32127b9
Added commented version of the nicer multiplicity and cardinality code
|
9 gadi atpakaļ |
Yentl Van Tendeloo
|
2c73fede31
Added association cardinalities to the MMCL
|
9 gadi atpakaļ |
Yentl Van Tendeloo
|
659e45ca8f
Added attribute lower and upper multiplicity to the Classes, which is
|
9 gadi atpakaļ |
Yentl Van Tendeloo
|
e6d458bcef
Nicer name for MMCL links
|
9 gadi atpakaļ |
Yentl Van Tendeloo
|
d2c7996d95
Fixed import error
|
9 gadi atpakaļ |
Yentl Van Tendeloo
|
999db1d366
Updated metamodel in metamodels.alc
|
9 gadi atpakaļ |
Yentl Van Tendeloo
|
d4fa453534
Split of metamodel generation from the pn_interface (though is still invoked)
|
9 gadi atpakaļ |