diff options
author | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2020-06-14 19:38:40 -0400 |
---|---|---|
committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2020-06-14 19:38:40 -0400 |
commit | 3997c2408f192e22f809cd96faa5bc552530289d (patch) | |
tree | 6d9134700977b29a5d67206c1e3f587d468e34fa /Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/GraphPatternDeclaration.java | |
parent | remove Alloy solver copy (diff) | |
download | VIATRA-Generator-Vampire-New.tar.gz VIATRA-Generator-Vampire-New.tar.zst VIATRA-Generator-Vampire-New.zip |
This branch is ready to be merged into masterVampire-New
Diffstat (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/GraphPatternDeclaration.java')
-rw-r--r-- | Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/GraphPatternDeclaration.java | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/GraphPatternDeclaration.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/GraphPatternDeclaration.java index be0b962d..a218994a 100644 --- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/GraphPatternDeclaration.java +++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/GraphPatternDeclaration.java | |||
@@ -1,5 +1,5 @@ | |||
1 | /** | 1 | /** |
2 | * generated by Xtext 2.12.0 | 2 | * generated by Xtext 2.21.0 |
3 | */ | 3 | */ |
4 | package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration; | 4 | package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration; |
5 | 5 | ||
@@ -25,10 +25,6 @@ public interface GraphPatternDeclaration extends Declaration | |||
25 | /** | 25 | /** |
26 | * Returns the value of the '<em><b>Specification</b></em>' containment reference. | 26 | * Returns the value of the '<em><b>Specification</b></em>' containment reference. |
27 | * <!-- begin-user-doc --> | 27 | * <!-- begin-user-doc --> |
28 | * <p> | ||
29 | * If the meaning of the '<em>Specification</em>' containment reference isn't clear, | ||
30 | * there really should be more of a description here... | ||
31 | * </p> | ||
32 | * <!-- end-user-doc --> | 28 | * <!-- end-user-doc --> |
33 | * @return the value of the '<em>Specification</em>' containment reference. | 29 | * @return the value of the '<em>Specification</em>' containment reference. |
34 | * @see #setSpecification(PatternSpecification) | 30 | * @see #setSpecification(PatternSpecification) |