diff options
author | Kristóf Marussy <kris7topher@gmail.com> | 2019-08-14 18:26:33 +0200 |
---|---|---|
committer | Kristóf Marussy <kris7topher@gmail.com> | 2019-08-14 18:26:33 +0200 |
commit | fc84d3fe670331bc89fb1e4c44104bc1fc811438 (patch) | |
tree | 466da8333151c51d2e17075600f9452ed35835da /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/NaryRelationLinkElementImpl.java | |
parent | Be more lenient with rounding IP solver results (diff) | |
download | VIATRA-Generator-fc84d3fe670331bc89fb1e4c44104bc1fc811438.tar.gz VIATRA-Generator-fc84d3fe670331bc89fb1e4c44104bc1fc811438.tar.zst VIATRA-Generator-fc84d3fe670331bc89fb1e4c44104bc1fc811438.zip |
Measurements WIP
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/NaryRelationLinkElementImpl.java')
1 files changed, 5 insertions, 1 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/NaryRelationLinkElementImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/NaryRelationLinkElementImpl.java index 749a03c5..c319a3f4 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/NaryRelationLinkElementImpl.java +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/NaryRelationLinkElementImpl.java | |||
@@ -83,6 +83,7 @@ public class NaryRelationLinkElementImpl extends MinimalEObjectImpl.Container im | |||
83 | * <!-- end-user-doc --> | 83 | * <!-- end-user-doc --> |
84 | * @generated | 84 | * @generated |
85 | */ | 85 | */ |
86 | @Override | ||
86 | public int getIndex() { | 87 | public int getIndex() { |
87 | return index; | 88 | return index; |
88 | } | 89 | } |
@@ -92,6 +93,7 @@ public class NaryRelationLinkElementImpl extends MinimalEObjectImpl.Container im | |||
92 | * <!-- end-user-doc --> | 93 | * <!-- end-user-doc --> |
93 | * @generated | 94 | * @generated |
94 | */ | 95 | */ |
96 | @Override | ||
95 | public void setIndex(int newIndex) { | 97 | public void setIndex(int newIndex) { |
96 | int oldIndex = index; | 98 | int oldIndex = index; |
97 | index = newIndex; | 99 | index = newIndex; |
@@ -104,6 +106,7 @@ public class NaryRelationLinkElementImpl extends MinimalEObjectImpl.Container im | |||
104 | * <!-- end-user-doc --> | 106 | * <!-- end-user-doc --> |
105 | * @generated | 107 | * @generated |
106 | */ | 108 | */ |
109 | @Override | ||
107 | public DefinedElement getParam() { | 110 | public DefinedElement getParam() { |
108 | if (param != null && param.eIsProxy()) { | 111 | if (param != null && param.eIsProxy()) { |
109 | InternalEObject oldParam = (InternalEObject)param; | 112 | InternalEObject oldParam = (InternalEObject)param; |
@@ -130,6 +133,7 @@ public class NaryRelationLinkElementImpl extends MinimalEObjectImpl.Container im | |||
130 | * <!-- end-user-doc --> | 133 | * <!-- end-user-doc --> |
131 | * @generated | 134 | * @generated |
132 | */ | 135 | */ |
136 | @Override | ||
133 | public void setParam(DefinedElement newParam) { | 137 | public void setParam(DefinedElement newParam) { |
134 | DefinedElement oldParam = param; | 138 | DefinedElement oldParam = param; |
135 | param = newParam; | 139 | param = newParam; |
@@ -215,7 +219,7 @@ public class NaryRelationLinkElementImpl extends MinimalEObjectImpl.Container im | |||
215 | public String toString() { | 219 | public String toString() { |
216 | if (eIsProxy()) return super.toString(); | 220 | if (eIsProxy()) return super.toString(); |
217 | 221 | ||
218 | StringBuffer result = new StringBuffer(super.toString()); | 222 | StringBuilder result = new StringBuilder(super.toString()); |
219 | result.append(" (index: "); | 223 | result.append(" (index: "); |
220 | result.append(index); | 224 | result.append(index); |
221 | result.append(')'); | 225 | result.append(')'); |