aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic
Commit message (Collapse)AuthorAge
* PS with outgoing references to excluded objects are supported nowLibravatar OszkarSemerath2017-09-27
|
* outgoing dangling edges from a selected part of a partial model areLibravatar OszkarSemerath2017-08-27
| | | removed
* Primitive types added to the logic problem only if neededLibravatar OszkarSemerath2017-08-27
|
* null check before mapping value of a referenceLibravatar OszkarSemerath2017-08-17
|
* Mapping of primitive types in patternsLibravatar OszkarSemerath2017-08-16
|
* Type scope support for initial instance model mappingLibravatar OszkarSemerath2017-08-15
|
* Partial interpretation from initial instance modelLibravatar OszkarSemerath2017-08-15
|
* attributes and references that not included to a logic problem areLibravatar OszkarSemerath2017-08-02
| | | excluded from the partial model mapping.
* Changed naming convention in generated logic problems.Libravatar OszkarSemerath2017-07-12
| | | | | | | | | | An identifier usually separated by whitespaces into name sections, creating hierarchic names. By convention names with at most three sections are represented in the following way: "nameOfObject typeOfObject namespaceOfObject". For example, the name of a relation "vertices" representing a "reference" in class "Region" will be: "vertices reference Region"
* Support for generationg multiple difference models by VIATRA-SolverLibravatar OszkarSemerath2017-07-05
|
* Added generated Xtext artefactsLibravatar OszkarSemerath2017-06-10
|
* Migrating Additional projectsLibravatar OszkarSemerath2017-06-10