aboutsummaryrefslogtreecommitdiffstats
path: root/Framework/hu.bme.mit.inf.dslreasoner.logic.model
Commit message (Collapse)AuthorAge
...
| * Modified LogicSolver to support the use of integer, string and realLibravatar Mayer Krisztián Gábor2017-08-08
| | | | | | attribute sets
* | Support for double and string attributesLibravatar OszkarSemerath2017-08-08
|/
* added String to the logic problem, and representations returns the setLibravatar OszkarSemerath2017-08-07
| | | of relevant primitive objects.
* 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