diff options
author | OszkarSemerath <semerath@mit.bme.hu> | 2019-06-01 21:57:35 -0400 |
---|---|---|
committer | OszkarSemerath <semerath@mit.bme.hu> | 2019-06-01 21:57:35 -0400 |
commit | c1d468f71e0199ee7b2e421bd45258b4bdb5deb0 (patch) | |
tree | 60f47b84912995a7640b777cd32294ff7bdbf8b2 /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialInterpretation.ecore | |
parent | Inverse references works if opposite reference is pruned away. (diff) | |
download | VIATRA-Generator-c1d468f71e0199ee7b2e421bd45258b4bdb5deb0.tar.gz VIATRA-Generator-c1d468f71e0199ee7b2e421bd45258b4bdb5deb0.tar.zst VIATRA-Generator-c1d468f71e0199ee7b2e421bd45258b4bdb5deb0.zip |
Default state coder range set to Width, as it should be
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialInterpretation.ecore')
0 files changed, 0 insertions, 0 deletions