 tpinna
|
e73a0b67dd
adapted code so that multiple nacs are allowed
|
10 роки тому |
|
tpinna
|
4c19930e20
adapted code so that multiple nacs are allowed
|
10 роки тому |
|
tpinna
|
2ec7789bcf
combined lhs and nac to create set of final matches
|
10 роки тому |
|
tpinna
|
e1562ca6bd
added semantic constraints in matching
|
10 роки тому |
|
tpinna
|
6894ab8b5f
fixed a name in transformation model
|
10 роки тому |
|
tpinna
|
d90f6ba06c
manually tested is_connected method
|
10 роки тому |
|
tpinna
|
6e75ff10d4
fixed example petrinetmodel
|
10 роки тому |
|
tpinna
|
237b140168
fixed example petrinetmodel
|
10 роки тому |
|
tpinna
|
051548a6d4
Nothin works: checking what changed
|
10 роки тому |
|
tpinna
|
96585f5949
Nothin works: checking what changed
|
10 роки тому |
|
tpinna
|
d7f722f53d
structural matching seems to work now for patterns larger then one node
|
10 роки тому |
|
tpinna
|
9f32073784
fixed returning matches to were they belong
|
10 роки тому |
|
tpinna
|
659bee3408
fixed some runtime errors
|
10 роки тому |
|
tpinna
|
8f817dc623
fixed some syntax errors
|
10 роки тому |
|
tpinna
|
9c7e526e5f
added feasability checks
|
10 роки тому |
|
tpinna
|
4ba8075db0
fixed algorithmic error
|
10 роки тому |
|
tpinna
|
fcdd9ff3bb
finished (untested) new state creation: added new V-list creation
|
10 роки тому |
|
tpinna
|
9bbef33e49
further updates to searchstate copy
|
10 роки тому |
|
tpinna
|
9d88d8f0d6
updated current match in new state creation
|
10 роки тому |
|
tpinna
|
9e3879115b
introducing the vf2 match algorithm (not finished), working on new searchstate creation
|
10 роки тому |
|
tpinna
|
b03bd125e4
better elementselection in hostgraph
|
10 роки тому |
|
tpinna
|
018b20de0e
updated printNode method with metatype info and if edge destination metatype info (usefull for testing if an element is related to attribute or not)
|
10 роки тому |
|
tpinna
|
06643106e8
added testpetrinet
|
10 роки тому |
|
tpinna
|
25104f8fe2
started vf2 by implementing searchstate object
|
10 роки тому |
|
tpinna
|
0c6a04bc20
updated attributelist so that inherited attributes are now found
|
10 роки тому |
|
tpinna
|
2c03cc76dd
fixed broken conformance test by reinstating old semantincs of find_attribute_type and creating new function that returns the type in a string format
|
10 роки тому |
|
tpinna
|
a9f2d19b15
updated log output (improved printnode and introduced indents
|
10 роки тому |
|
tpinna
|
de8429ba55
ported old code
|
10 роки тому |
|
tpinna
|
291e6a05c8
added conformance check
|
10 роки тому |
|
tpinna
|
774eaa76c3
transfered metamodel from old syntax to new syntax
|
10 роки тому |
