aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialInterpretation.aird
Commit message (Collapse)AuthorAge
* Fixing multiple true/false + bug preventing generation without PSLibravatar OszkarSemerath2018-06-25
|
* Fixing multiple "true" and "false" objectsLibravatar OszkarSemerath2018-06-20
|
* Updated partial model representationLibravatar OszkarSemerath2018-06-13
|
* Fixed nasty bug with creating root elementLibravatar OszkarSemerath2018-03-05
|
* neighbourhood calculated to fix rangeLibravatar OszkarSemerath2017-10-27
|
* Primitive types added to the logic problem only if neededLibravatar OszkarSemerath2017-08-27
|
* Added separate symbolic objects to all primitive objectsLibravatar OszkarSemerath2017-08-16
|
* Added primitive types to the model codeLibravatar OszkarSemerath2017-08-15
|
* Migrating Additional projectsLibravatar OszkarSemerath2017-06-10