diff options
| author |  OszkarSemerath <oszka@SEMERATH-LAPTOP> | 2017-07-12 15:40:33 +0200 |
|---|---|---|
| committer | OszkarSemerath <oszka@SEMERATH-LAPTOP> | 2017-07-12 15:40:33 +0200 |
| commit | b4927437a3487ecc61c48d1351d18b7a38c5b154 (patch) | |
| tree | 3f1e6c25c50a71efb0de6131b0d94c5163759dcc /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/.settings | |
| parent | Rearranged the solver configuration into different subsections (diff) | |
| download | VIATRA-Generator-b4927437a3487ecc61c48d1351d18b7a38c5b154.tar.gz VIATRA-Generator-b4927437a3487ecc61c48d1351d18b7a38c5b154.tar.zst VIATRA-Generator-b4927437a3487ecc61c48d1351d18b7a38c5b154.zip | |
Graphviz based visualisation for the concretizations of partial models.
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/.settings')
2 files changed, 6 insertions, 0 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/.settings/org.eclipse.jdt.core.prefs b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/.settings/org.eclipse.jdt.core.prefs new file mode 100644 index 00000000..fd9afef6 --- /dev/null +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/.settings/org.eclipse.jdt.core.prefs | |||
| @@ -0,0 +1,2 @@ | |||
| 1 | eclipse.preferences.version=1 | ||
| 2 | org.eclipse.jdt.core.compiler.problem.forbiddenReference=warning | ||
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/.settings/org.eclipse.m2e.core.prefs b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/.settings/org.eclipse.m2e.core.prefs new file mode 100644 index 00000000..14b697b7 --- /dev/null +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/.settings/org.eclipse.m2e.core.prefs | |||
| @@ -0,0 +1,4 @@ | |||
| 1 | activeProfiles= | ||
| 2 | eclipse.preferences.version=1 | ||
| 3 | resolveWorkspaceProjects=true | ||
| 4 | version=1 | ||