diff options
author | OszkarSemerath <oszkar.semerath@gmail.com> | 2018-03-24 22:16:37 -0400 |
---|---|---|
committer | OszkarSemerath <oszkar.semerath@gmail.com> | 2018-03-24 22:16:37 -0400 |
commit | 4236f6735c91e8db3e4eb5641f5625f83024f434 (patch) | |
tree | 4daa916edd6d7f2e6d8908fe6582d166770193de /Solvers | |
parent | example projects added (diff) | |
download | VIATRA-Generator-4236f6735c91e8db3e4eb5641f5625f83024f434.tar.gz VIATRA-Generator-4236f6735c91e8db3e4eb5641f5625f83024f434.tar.zst VIATRA-Generator-4236f6735c91e8db3e4eb5641f5625f83024f434.zip |
Removed unused projects
Diffstat (limited to 'Solvers')
4 files changed, 0 insertions, 135 deletions
diff --git a/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.reasoner/src/hu/bme/mit/inf/dslreasoner/smt/reasoner/Logic2Smt_TypeMapper_Horizontal.xtend b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.reasoner/src/hu/bme/mit/inf/dslreasoner/smt/reasoner/Logic2Smt_TypeMapper_Horizontal.xtend deleted file mode 100644 index a5abbb44..00000000 --- a/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.reasoner/src/hu/bme/mit/inf/dslreasoner/smt/reasoner/Logic2Smt_TypeMapper_Horizontal.xtend +++ /dev/null | |||
@@ -1,63 +0,0 @@ | |||
1 | package hu.bme.mit.inf.dslreasoner.smt.reasoner | ||
2 | |||
3 | import hu.bme.mit.inf.dslreasoner.smtLanguage.SMTInput | ||
4 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem | ||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.TypeScopes | ||
6 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type | ||
7 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement | ||
8 | import hu.bme.mit.inf.dslreasoner.smtLanguage.SMTDocument | ||
9 | import java.util.List | ||
10 | import hu.bme.mit.inf.dslreasoner.smtLanguage.SmtLanguageFactory | ||
11 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDefinition | ||
12 | |||
13 | class Logic2Smt_TypeMapperTrace_Horizontal implements Logic2Smt_TypeMapperTrace{ | ||
14 | |||
15 | override copy(SMTInput newModel) { | ||
16 | throw new UnsupportedOperationException("TODO: auto-generated method stub") | ||
17 | } | ||
18 | } | ||
19 | |||
20 | class Logic2Smt_TypeMapper_Horizontal implements Logic2Smt_TypeMapper { | ||
21 | val extension SmtLanguageFactory factory = SmtLanguageFactory.eINSTANCE | ||
22 | |||
23 | private def toID(List<String> names) {names.join("!") } | ||
24 | |||
25 | override transformTypes(SMTInput document, LogicProblem problem, Logic2SmtMapperTrace trace, TypeScopes scopes) { | ||
26 | val typeTrace = new Logic2Smt_TypeMapperTrace_Horizontal | ||
27 | trace.typeMapperTrace = typeTrace | ||
28 | |||
29 | // mapping of known elements | ||
30 | |||
31 | } | ||
32 | |||
33 | private def Logic2Smt_TypeMapperTrace_Horizontal getTypeTrace(Logic2SmtMapperTrace trace) { | ||
34 | val typeTrace = trace.typeMapperTrace | ||
35 | if(typeTrace instanceof Logic2Smt_TypeMapperTrace_Horizontal) { | ||
36 | return typeTrace | ||
37 | } else { | ||
38 | throw new IllegalArgumentException('''Unknown trace type: «typeTrace.class.name»''') | ||
39 | } | ||
40 | } | ||
41 | |||
42 | private def boolean hasDefinedSupertype(Type type) { | ||
43 | if(type instanceof TypeDefinition) { | ||
44 | return true | ||
45 | } else { | ||
46 | if(type.supertypes.empty) return false | ||
47 | else return type.supertypes.exists[it.hasDefinedSupertype] | ||
48 | } | ||
49 | } | ||
50 | |||
51 | override transformTypeReference(Type type, Logic2SmtMapperTrace trace) { | ||
52 | throw new UnsupportedOperationException("TODO: auto-generated method stub") | ||
53 | } | ||
54 | |||
55 | override transformSymbolicReference(DefinedElement referred, Logic2SmtMapperTrace trace) { | ||
56 | throw new UnsupportedOperationException("TODO: auto-generated method stub") | ||
57 | } | ||
58 | |||
59 | override getTypeInterpretation(LogicProblem problem, SMTDocument document, SmtModelInterpretation interpretation, Logic2SmtMapperTrace trace) { | ||
60 | throw new UnsupportedOperationException("TODO: auto-generated method stub") | ||
61 | } | ||
62 | |||
63 | } \ No newline at end of file | ||
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/RepairGenerator.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/RepairGenerator.xtend deleted file mode 100644 index 30fe5878..00000000 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/RepairGenerator.xtend +++ /dev/null | |||
@@ -1,18 +0,0 @@ | |||
1 | package hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.patterns | ||
2 | |||
3 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem | ||
4 | |||
5 | class RepairGenerator { | ||
6 | val PatternGenerator base; | ||
7 | new(PatternGenerator base) { | ||
8 | this.base = base | ||
9 | } | ||
10 | |||
11 | def generateRepairUnfinishedMultiplicityPatterns(LogicProblem problem) { | ||
12 | //val refinements = base.relationRefinementGenerator.getRelationRefinements(problem) | ||
13 | //val unfinisedLowerMultiplicities = base.get | ||
14 | } | ||
15 | def getRepairUnfinishedMultiplicityPatterns() { | ||
16 | |||
17 | } | ||
18 | } \ No newline at end of file | ||
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/pom.xml b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/pom.xml deleted file mode 100644 index c2ae50df..00000000 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/pom.xml +++ /dev/null | |||
@@ -1,38 +0,0 @@ | |||
1 | <project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" | ||
2 | xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd"> | ||
3 | <modelVersion>4.0.0</modelVersion> | ||
4 | <groupId>hu.bme.mit.inf.dslreasoner.visualisation</groupId> | ||
5 | <artifactId>hu.bme.mit.inf.dslreasoner.visualisation</artifactId> | ||
6 | <version>0.0.1-SNAPSHOT</version> | ||
7 | <dependencies> | ||
8 | <dependency> | ||
9 | <groupId>guru.nidi</groupId> | ||
10 | <artifactId>graphviz-java</artifactId> | ||
11 | <version>0.2.1</version> | ||
12 | <exclusions> | ||
13 | <exclusion> | ||
14 | <groupId>com.eclipsesource.j2v8</groupId> | ||
15 | <artifactId>j2v8_macosx_x86_64</artifactId> | ||
16 | </exclusion> | ||
17 | <exclusion> | ||
18 | <groupId>com.eclipsesource.j2v8</groupId> | ||
19 | <artifactId>j2v8_linux_x86_64</artifactId> | ||
20 | </exclusion> | ||
21 | <exclusion> | ||
22 | <groupId>com.eclipsesource.j2v8</groupId> | ||
23 | <artifactId>j2v8_win32_x86</artifactId> | ||
24 | </exclusion> | ||
25 | </exclusions> | ||
26 | </dependency> | ||
27 | <!-- <dependency> --> | ||
28 | <!-- <groupId>com.eclipsesource.j2v8</groupId> --> | ||
29 | <!-- <artifactId>j2v8_win32_x86_64</artifactId> --> | ||
30 | <!-- <version>4.6.0</version> --> | ||
31 | <!-- </dependency> --> | ||
32 | <dependency> | ||
33 | <groupId>org.slf4j</groupId> | ||
34 | <artifactId>slf4j-nop</artifactId> | ||
35 | <version>1.7.25</version> | ||
36 | </dependency> | ||
37 | </dependencies> | ||
38 | </project> \ No newline at end of file | ||
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/src/hu/bme/mit/inf/dslreasoner/visualisation/pi2graphviz/VisualiseAllModelInDirectory.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/src/hu/bme/mit/inf/dslreasoner/visualisation/pi2graphviz/VisualiseAllModelInDirectory.xtend deleted file mode 100644 index b6028530..00000000 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/src/hu/bme/mit/inf/dslreasoner/visualisation/pi2graphviz/VisualiseAllModelInDirectory.xtend +++ /dev/null | |||
@@ -1,16 +0,0 @@ | |||
1 | package hu.bme.mit.inf.dslreasoner.visualisation.pi2graphviz | ||
2 | |||
3 | import java.io.File | ||
4 | |||
5 | class VisualiseAllModelInDirectory { | ||
6 | def static void main(String[] args) { | ||
7 | |||
8 | } | ||
9 | |||
10 | def static visualiseModel(String folderName) { | ||
11 | val file = new File(folderName+"/"+"solution1.partialinterpretation") | ||
12 | val png = new File(folderName+"/"+"solution1.png") | ||
13 | val gml = new File(folderName+"/"+"solution1.gml") | ||
14 | |||
15 | } | ||
16 | } \ No newline at end of file | ||