aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic
Commit message (Collapse)AuthorAge
* 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