aboutsummaryrefslogtreecommitdiffstats
path: root/Framework/hu.bme.mit.inf.dslreasoner.logic.model
Commit message (Collapse)AuthorAge
* When there is a definition to a declaration in the logic problem, theLibravatar OszkarSemerath2017-07-05
| | | | logic structure builder calls the definition when the interpretation of the declaration is requested.
* Multiple model with interpretationsLibravatar OszkarSemerath2017-07-02
|
* Migrating Additional projectsLibravatar OszkarSemerath2017-06-10