VIATRA-Generator
VIATRA-Generator copied to clipboard
viatra
An efficient graph solver for generating well-formed models
Hello, my team is trying to install this repo in the Eclipse IDE. However, we encounter problems and would like to ask for help.  The first question is about...
After years of implementation, I am very happy to finally be able to say that the Vampire-New branch is ready to be merged into master. In the current state of...
Translate the types in the metamodel as "type" fof formulas and use these formulas rom the output.
Currently, for the [neighbourhoodLattice2GraphShape transformation](https://github.com/viatra/VIATRA-Generator/blob/RealisticMetrics/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/neighbourhood/Neighbourhood2ShapeGraph.xtend), the hashcode calculation is buggy. It throws a stack overflow error whenever it needs to be calculated (ex. for [GraphNodeDescriptorGND](https://github.com/viatra/VIATRA-Generator/blob/RealisticMetrics/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/neighbourhood/GraphShape.xtend) objects, when we want to...
Consider a case where typeA is a supertype of typeB. In the type scope, we state that the minimum (note that this is not a problem for maximum) number of...
Particularly, specify initial instance model handling while maintaining handling of enums.