diff options
| author |  OszkarSemerath <oszka@SEMERATH-LAPTOP> | 2017-07-12 15:35:45 +0200 |
|---|---|---|
| committer | OszkarSemerath <oszka@SEMERATH-LAPTOP> | 2017-07-12 15:35:45 +0200 |
| commit | ae596d22260beead480e9936a2ec391fe3cb7727 (patch) | |
| tree | 3f677496f977e6308fc5d72f6e7eb490fdd3e20b /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/META-INF | |
| parent | Adding visualisation support for partial interpretations. (diff) | |
| download | VIATRA-Generator-ae596d22260beead480e9936a2ec391fe3cb7727.tar.gz VIATRA-Generator-ae596d22260beead480e9936a2ec391fe3cb7727.tar.zst VIATRA-Generator-ae596d22260beead480e9936a2ec391fe3cb7727.zip | |
Rearranged the solver configuration into different subsections
DiversityDescriptor
* Describes the required diversity between the solutions.
* Null means that the solutions have to have different state codes
only.
InternalConsistencyCheckerConfiguration
* A logic solver that able to check the consistency of an intermediate
solution.
* Null means that no solver is called.
DebugConfiguration
* Configuration for debugging support.
SearchSpaceConstraint
* Configuration for cutting search space.
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/META-INF')
| -rw-r--r-- | Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/META-INF/MANIFEST.MF | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/META-INF/MANIFEST.MF b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/META-INF/MANIFEST.MF index 0e0940bd..13a297f2 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/META-INF/MANIFEST.MF +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/META-INF/MANIFEST.MF | |||
| @@ -17,6 +17,7 @@ Require-Bundle: hu.bme.mit.inf.dslreasoner.ecore2logic;bundle-version="1.0.0", | |||
| 17 | org.eclipse.viatra.query.runtime.matchers;bundle-version="1.5.0", | 17 | org.eclipse.viatra.query.runtime.matchers;bundle-version="1.5.0", |
| 18 | org.eclipse.viatra.query.runtime;bundle-version="1.5.0", | 18 | org.eclipse.viatra.query.runtime;bundle-version="1.5.0", |
| 19 | org.eclipse.viatra.dse;bundle-version="0.15.0", | 19 | org.eclipse.viatra.dse;bundle-version="0.15.0", |
| 20 | org.eclipse.emf.ecore.edit;bundle-version="2.9.0" | 20 | org.eclipse.emf.ecore.edit;bundle-version="2.9.0", |
| 21 | org.eclipse.viatra.query.runtime.base.itc;bundle-version="1.7.0" | ||
| 21 | Bundle-RequiredExecutionEnvironment: JavaSE-1.8 | 22 | Bundle-RequiredExecutionEnvironment: JavaSE-1.8 |
| 22 | Import-Package: org.apache.log4j | 23 | Import-Package: org.apache.log4j |