diff options
Diffstat (limited to 'Solvers/VIATRA-Solver')
3 files changed, 0 insertions, 72 deletions
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 | ||