diff options
author | 2018-08-27 19:26:49 +0200 | |
---|---|---|
committer | 2018-08-27 19:26:49 +0200 | |
commit | ef6895fbecb0f9a8590152f3234f50826ed8d2a9 (patch) | |
tree | 988cff7658968ed21a7ef8b79583cb1b9b66c6bd /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/neighbourhood/Descriptor.xtend | |
parent | Application puts hyperlinks of the generated files to the console (diff) | |
download | VIATRA-Generator-ef6895fbecb0f9a8590152f3234f50826ed8d2a9.tar.gz VIATRA-Generator-ef6895fbecb0f9a8590152f3234f50826ed8d2a9.tar.zst VIATRA-Generator-ef6895fbecb0f9a8590152f3234f50826ed8d2a9.zip |
Add pattern descriptors
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, 11 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 41482b28..2e8f61a9 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 | |||
@@ -4,6 +4,7 @@ import java.util.HashMap | |||
4 | import java.util.Map | 4 | import java.util.Map |
5 | import java.util.Set | 5 | import java.util.Set |
6 | import org.eclipse.xtend.lib.annotations.Data | 6 | import org.eclipse.xtend.lib.annotations.Data |
7 | import java.util.List | ||
7 | 8 | ||
8 | @Data abstract class AbstractNodeDescriptor { | 9 | @Data abstract class AbstractNodeDescriptor { |
9 | long dataHash | 10 | long dataHash |
@@ -24,6 +25,7 @@ import org.eclipse.xtend.lib.annotations.Data | |||
24 | // } | 25 | // } |
25 | } | 26 | } |
26 | 27 | ||
28 | //TODO: Modify for patterns | ||
27 | @Data class LocalNodeDescriptor extends AbstractNodeDescriptor{ | 29 | @Data class LocalNodeDescriptor extends AbstractNodeDescriptor{ |
28 | Set<String> types | 30 | Set<String> types |
29 | String id; | 31 | String id; |
@@ -87,6 +89,14 @@ import org.eclipse.xtend.lib.annotations.Data | |||
87 | // } | 89 | // } |
88 | } | 90 | } |
89 | 91 | ||
92 | //TODO: PatternRelation | ||
93 | |||
94 | @Data class PatternRelation<NODESHAPE> { | ||
95 | String patternName | ||
96 | int param | ||
97 | List<NODESHAPE> parameters | ||
98 | } | ||
99 | |||
90 | @Data class IncomingRelation<FROM> { | 100 | @Data class IncomingRelation<FROM> { |
91 | FROM from | 101 | FROM from |
92 | String type | 102 | String type |
@@ -97,6 +107,7 @@ import org.eclipse.xtend.lib.annotations.Data | |||
97 | String type | 107 | String type |
98 | } | 108 | } |
99 | 109 | ||
110 | //TODO: Modify for hypergraphs | ||
100 | @Data class FurtherNodeDescriptor<NodeRep> extends AbstractNodeDescriptor{ | 111 | @Data class FurtherNodeDescriptor<NodeRep> extends AbstractNodeDescriptor{ |
101 | 112 | ||
102 | NodeRep previousRepresentation | 113 | NodeRep previousRepresentation |