diff options
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/neighbourhood/Descriptor.xtend')
1 files changed, 8 insertions, 0 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/neighbourhood/Descriptor.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/neighbourhood/Descriptor.xtend index c7c1ad77..e4bdb086 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/neighbourhood/Descriptor.xtend +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/neighbourhood/Descriptor.xtend | |||
| @@ -60,6 +60,10 @@ import org.eclipse.xtend2.lib.StringConcatenationClient | |||
| 60 | return this.dataHash.hashCode | 60 | return this.dataHash.hashCode |
| 61 | } | 61 | } |
| 62 | 62 | ||
| 63 | override equals(Object other) { | ||
| 64 | other.class == LocalNodeDescriptor && (other as AbstractNodeDescriptor).hashCode == hashCode | ||
| 65 | } | ||
| 66 | |||
| 63 | override protected prettyPrint() { | 67 | override protected prettyPrint() { |
| 64 | '''(«dataHash»)[«IF id !== null»id = "«id»"«IF types === null || !types.empty», «ENDIF»«ENDIF»«IF types === null»TYPES = null«ELSE»«FOR type : types SEPARATOR ", "»«type»«ENDFOR»«ENDIF»]''' | 68 | '''(«dataHash»)[«IF id !== null»id = "«id»"«IF types === null || !types.empty», «ENDIF»«ENDIF»«IF types === null»TYPES = null«ELSE»«FOR type : types SEPARATOR ", "»«type»«ENDFOR»«ENDIF»]''' |
| 65 | } | 69 | } |
| @@ -143,6 +147,10 @@ import org.eclipse.xtend2.lib.StringConcatenationClient | |||
| 143 | return this.dataHash.hashCode | 147 | return this.dataHash.hashCode |
| 144 | } | 148 | } |
| 145 | 149 | ||
| 150 | override equals(Object other) { | ||
| 151 | other.class == FurtherNodeDescriptor && (other as AbstractNodeDescriptor).hashCode == hashCode | ||
| 152 | } | ||
| 153 | |||
| 146 | override prettyPrint() { | 154 | override prettyPrint() { |
| 147 | ''' | 155 | ''' |
| 148 | («dataHash»)[ | 156 | («dataHash»)[ |