aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers
diff options
context:
space:
mode:
authorLibravatar OszkarSemerath <oszkar.semerath@gmail.com>2018-03-24 22:16:37 -0400
committerLibravatar OszkarSemerath <oszkar.semerath@gmail.com>2018-03-24 22:16:37 -0400
commit4236f6735c91e8db3e4eb5641f5625f83024f434 (patch)
tree4daa916edd6d7f2e6d8908fe6582d166770193de /Solvers
parentexample projects added (diff)
downloadVIATRA-Generator-4236f6735c91e8db3e4eb5641f5625f83024f434.tar.gz
VIATRA-Generator-4236f6735c91e8db3e4eb5641f5625f83024f434.tar.zst
VIATRA-Generator-4236f6735c91e8db3e4eb5641f5625f83024f434.zip
Removed unused projects
Diffstat (limited to 'Solvers')
-rw-r--r--Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.reasoner/src/hu/bme/mit/inf/dslreasoner/smt/reasoner/Logic2Smt_TypeMapper_Horizontal.xtend63
-rw-r--r--Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/RepairGenerator.xtend18
-rw-r--r--Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/pom.xml38
-rw-r--r--Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/src/hu/bme/mit/inf/dslreasoner/visualisation/pi2graphviz/VisualiseAllModelInDirectory.xtend16
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 @@
1package hu.bme.mit.inf.dslreasoner.smt.reasoner
2
3import hu.bme.mit.inf.dslreasoner.smtLanguage.SMTInput
4import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem
5import hu.bme.mit.inf.dslreasoner.logic.model.builder.TypeScopes
6import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type
7import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement
8import hu.bme.mit.inf.dslreasoner.smtLanguage.SMTDocument
9import java.util.List
10import hu.bme.mit.inf.dslreasoner.smtLanguage.SmtLanguageFactory
11import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDefinition
12
13class Logic2Smt_TypeMapperTrace_Horizontal implements Logic2Smt_TypeMapperTrace{
14
15 override copy(SMTInput newModel) {
16 throw new UnsupportedOperationException("TODO: auto-generated method stub")
17 }
18}
19
20class 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 @@
1package hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.patterns
2
3import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem
4
5class 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 @@
1package hu.bme.mit.inf.dslreasoner.visualisation.pi2graphviz
2
3import java.io.File
4
5class 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
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-28 17:46:25 +0000