diff options
author | 2017-07-12 15:22:58 +0200 | |
---|---|---|
committer | 2017-07-12 15:29:58 +0200 | |
commit | 64bd54b9b61a2e20d5db6b1eb60b99331bed0a2f (patch) | |
tree | e545ee5c2dd669218ab0b217845940cfdcea8838 /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu | |
parent | Added progress and basic statstic report to the yakindu model (diff) | |
download | VIATRA-Generator-64bd54b9b61a2e20d5db6b1eb60b99331bed0a2f.tar.gz VIATRA-Generator-64bd54b9b61a2e20d5db6b1eb60b99331bed0a2f.tar.zst VIATRA-Generator-64bd54b9b61a2e20d5db6b1eb60b99331bed0a2f.zip |
Changed naming convention in generated logic problems.
An identifier usually separated by whitespaces into name sections,
creating hierarchic names. By convention names with at most three
sections are represented in the following way:
"nameOfObject typeOfObject namespaceOfObject".
For example, the name of a relation "vertices" representing a
"reference" in class "Region" will be:
"vertices reference Region"
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu')
0 files changed, 0 insertions, 0 deletions