| Commit message (Collapse) | Author | Age |
|
|
|
| |
from https://github.com/kris7t/VIATRA-Generator/blob/c0c5a1644cc221352b8b9b370eea6a87677ba948/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/neighbourhood/PartialInterpretation2NeighbourhoodRepresentation.xtend#L99-L138
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
| |
https://github.com/kris7t
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
| |
As handling primitive types requires more complex initialisation.
|
| |
|
| |
|
|
|
|
| |
(However, I might added several unnecessary dependencies to the
visualisation package.)
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
| |
It significantly improves the performance
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
|
|
| |
- All java library dependency: fixed to java 1.8
- Added Automatic-Module-Name to be compatible with java 1.9
- Added all sources explicitly to build.properties
- removed .util packages generated by previous versions of Viatra
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|